Department of Mathematics, IISc, Bangalore, Prof. Dr. D. P . Patil MA 526 Commutative Algebra / Jan–April 2018
MA 526 Commutative Algebra / Jan–April 2018
(MSc and Ph. D. Programmes)
Mobile : 07975952079 E-mails : patil@iisc.ac.in Lectures : Tuesday and Friday ; 15:30–17:00 Venue: Maths Building Midterm : Final Examination : Evaluation Weightage : Quizes : 20% MidTerm : 30% Final Examination : 50%
1 . N o e t h e r ’s N o r m a l i z a t i o n L e m m a / H i l b e r t ’s N u l l s t e l l e n s a t z 1.1 Prove the following partial generalization of Noether’s normalization lemma : Let A ⊆ R be an extension of integral domains such that R is an A-algebra of finite type. Then there exist an element f ∈ A, f = 0, and elements z1,...,zm ∈ R such that z1,...,zm are algebraically independent over A and Rf is finite over Af [z1,...,zm]. 1.2 Let R := A[X1,...,Xn], n ≥ 1, be the polynomial algebra over an integral domain A. Then there exists a maximal ideal M ∈ Spm R with M∩A = 0 if and only if Q(A) = Af for some f = 0 in A. (Hint : If Q(A) = Af
then (fX1 −1,X2,...,Xn) is such a maximal ideal. Conversely, if M is such a maximal ideal then by the Exercise 1.1, there exists an element f ∈ A, f = 0, and elements z1,...,zm in the field L := R/M such that z1,...,zm are algebraically independent over A and L is finite over Af [z1,...,zm]. Therefore Af [z1,...,zm] is also a field which means m = 0 and Af = Q(A). — For example, in a principal ideal domain A, there exists an element f ∈ A, f = 0, with Q(A) = Af if and only if A has only a finite number of prime ideals.)
1.3 Let A be a principal ideal domain with infinitely many prime ideals. Then for every maximal ideal M ∈ SpmA[X1,...,Xn] the ideal m := M ∩ A is maximal in A and A[X1,...,Xn]/M is finite over A/m. In particular, for every maximal ideal M in Z[X1,...,Xn], the residue class field Z[X1,...,Xn]/M is finite. In
- ther words, a field of characteristic zero is never a Z-algebra of finite type. (Remark / Hint : — If a field K is
finite type over Z, then K is finite. If CharK = 0, then show that Q is finite type over Z-algebra.)
1.4 (a) A finite commutative reduced C-algebra = 0 is isomorphic to a product algebra Cn, n ∈ N, where n is determined uniquely by the isomorphism type of the algebra. Every such a C-algebra is cyclic. (b) A finite commutative R-algebra = 0 is isomorphic to a product algebra Rm ×Cn, m,n ∈ N,where the natural numbers m,n are determined uniquely by the isomorphism type of the algebra. Every such R-algebra is cyclic. 1.5 Let K be a field. If the unit group K× of K is finitely generated, then K is finite. (One can generalise this
result to commutative rings which has only finitely many maximal ideals. — Such rings are called s e m i l o c a l. See “Bemerkungen über die Einheitengruppen semilokaler Ringe”, Math. Phys. Semesterberichte 17, 168-181(1970).)
1.6 Let K be a field which is not algebraically closed. (a) For every m ∈ N+, there exists a non-constant polynomial fm ∈ K[X1,...,Xm] whose zero-set in Km is singleton {0 = (0,...,0)}, i.e. VK( f) = {(0,...,0)}. (Hint : Induction on m. For m ≥ 2, put fm+1 =
f2( fm,Xm+1).)
(b) Every K-algebraic set V ⊆ Kn ,n ≥ 1, is a hypersurface in Kn, i.e. it is the zero-set of a single polynomial, in sympols : V = VK( f) with f ∈ K[X1,...,Xn]. (Hint : Use (a).) 1.7 ( G e n e r a l i s a t i o n o f H N S 1 ) Let K be an arbitrary field, S be the set of all polynomials in K[X1,...,Xn] that have no zeros in Kn, i.e. S := { f ∈ K[X1,...,Xn] | VK(f ) = / 0} and let a be an ideal in K[X1,...,Xn]. If S∩a = / 0, then VK(a) = /
- 0. (Hint : Use the Exercise 1.6.)
1.8 ( H N S 4 ) Let K be an algebraically closed field. Then the map Kn → Spm K[X1,...,Xn], a → ma = X1 − a1,...,Xn − an is bijective. Moreover, for any ideal a ∈ I(K[X1,...,Xn], a ∈ VK(a) if and only if a ⊆ ma. 1.9 Let E |K be an arbitrary field extension and a K[X1,...,Xn] be a non-unit ideal. Then the extended ideal aE[X1,...,Xn] E[X1,...,Xn] is also a non-unit ideal. (Hint : Apply HNS1 to the field extension E |K,
where E denote an algebraic closure of E.)
1.10 Prove the equivalence of HNS4 and HNS1. (Hint : Use the above Exercise.)
Below one can see some Supplements / Test-Exercises to the results proved in the class.
- D. P. Patil/IISc