Definitions/Theorems/Propositions Flashcards
What is an affine algebraic variety?
Let K be a field and I be an ideal of K.
V(I) = {(a1,a2,…an) ∈ K^n | f(a1,a2,….,an) = 0, for all f ∈ I}
What does I mean? where f1,…fm ∈ K where K is a field
I is an ideal of K and is generated by f1,….,fm
K is a field and let f1,…fm ∈ K[x1,…,xn] and I is an ideal of K generated by f1,….,fm. This implies what?
V(I) = {(a1,..,an) ∈ K^n | fsubi(a1,…,an) = 0 for all i ∈ [1,m]}
What is a Noetherian Ring?
- All ideals are finitely generated
- There exists N such that In = IN for an increasing set of ideals I1 ⊆ I2 ⊆ ….. ⊆ In ⊆ I(n+1) ⊆ …. where n is greater than or equal to N
What is Hilberts Basis Theorem?
If K is a field, then the polynomial ring K[x1, x2, . . . , xn] is Noetherian for any n ≥ 0.
How can the union of aav’s be written?
Let W1 = (I1), W2 = V(I2), . . . , Wk = V(Ik) be affine
algebraic varieties in K^n. Then
W1 ∪ W2 ∪ . . . ∪ Wk = V(I1 ∩ I2 ∩ . . . ∩ Ik) = V(I1I2 . . . Ik)
This is also an aav
How can the intersection of aav’s be written?
Wi = V(Ii) be aav’s in K^n. Then ∩ Wi = V(sum (Ii))
This is also an aav
If W1 = V(I1) ⊆ K^m, W2 = V(I2) ⊆ K^n, what does this imply?
W1 x W2 ⊆ K^m x K^n ∼= K^(n+m)
What is an affine subspace?
Let K be a field, and let V be a vector space over K. U ⊆ V is an affine subspace of V iff U = ∅ or U = u0 + W = {u0 + w | w ∈ W}, where u0 ∈ U and W is a linear subspace of V .
If U = u0+W is a non-empty affine subspace in a vector space V, what does this imply?
U = u + W for any u ∈ U, in other words, u0 can be chosen to be an arbitrary element of U, but W is uniquely determined by U
What is the dimension of an affine space?
The dimension of an affine space U = u0 + W is defined to be dim W. (Sometimes it is convenient to define dim ∅ = −1.)
Let K be a field. What is K^n considered to be?
K^n, considered as an affine subspace of itself is called an n-dimensional affine space over K, and is denoted by A^n(K) or A^n if the field is understood.
Let V1, V2 be vector spaces. What is an affine map
A function Φ : V1 → V2 which can be written in the form
Φ(x) = T(x) + b, where T : V1 → V2 is a linear transformation and b ∈ V2.
Let V1, V2 be vector spaces and let Φ : V1 → V2 be an
affine map. What is the image of Φ(U1)
For any affine subspace U1 ⊆ V1, the image Φ(U1) is also an affine subspace
of V2.
Let V1, V2 be vector spaces and let Φ : V1 → V2 be an
affine map. What is the preimage Φ−1
(U2) ?
For any affine subspace U2 ⊆ V2, the preimage Φ−1
(U2) is also an affine
subspace of V1.