COMMUTATIVE ALGEBRA

PROBLEM SET -1
Last Date : October 1, 2014
Marks : 200
All answers need justication. No marks will be given without justication.
(1) Let M be an A module. Show that M is an A/(ann(M)-module.
(2) Prove Nakayamas lemma by induction on number of generators of M.
(3) Let A = k[x, y] and B = A
p
where P = (x). Let I = (x
2
, xy) A. Show that I
ec
= I.
(4) Let A be a ring and S a multiplicative set in A. Show that
(a) A
S
/IA
S

= (A/I)
S
where S is the image in A/I
(b) All ideals in A
S
are of the form IA
S
where I is an ideal in A.
(c) All prime ideals in A
S
are of the form pA
S
where p is a prime ideal in A which does
not intersect S.
(5) Let A = k[t
2
, t
3
]

= k[x, y]/(x
3
y
2
) = k[x, y]. Let M = k[y/x]. Then A is a subring of M
and M is generated by 1, y/x as an A-module. Let : M M be given by (1) = y/x.
Then show that there is an equation satised by .
(6) Describe all the prime ideals in (a) Z (b) C[X] (c) Z[X] (d) R[X].
(7) Let A be the ring of continuous real valued functions on [0, 1]. Dene (f +g)(x) := f(x) +
g(x) and fg(x) := f(x)g(x).
(a) Show that A is a ring with identity.
(b) What are the units in A?
(c) If m is a maximal ideal of R, then show there exists an x
0
[0, 1], such that m = {f
R : f(x
0
) = 0}.
(d) Show that A is not Noetherian
(8) Let A be a ring in which all prime ideals are nitely generated.
(a) Show that if S is the collection of all ideal that are not nitely generated, then it has
a maximal element say I and that I is Noetherian.
(b) Let I be as in (a). Show that:
(i) Show that if x A I, then both I, x and I : x are both nitely generated.
(ii) If J is an nitely generated deal in I such that (I, x) = (J, x), then I = J+x(I : x)
(iii) I is a prime ideal.
(iv) Show that every ideal is nitely generated.
1
2 PROBLEM SET -1
(c) Let A be a Noetherian ring. If f : A A is a surjective homomorphism, then show
that A is an isomorphism. [Consider ker(f
n
)]
(d) Let A be a ring. Show that A
n
= A
m
if and only if m = n.
(9) Which of the following Z-modules are at. (i) Z/nZ (ii) Q/Z (iii) Z Q.
(10) Show that Z
Z
R

= C as rings.
(11) Let A be a subring of B. Show that A[x]/I B

= B[x]/IB[x] as B-algebras.
(12) Let A = Z[], where
2
= 1. Decompose Spec(A) into irreducible components.
(13) Let A = K[X, Y ] and I = (X
2
+ Y
2
1, Y 1). Compute I(V (I)).
(14) Decompose V (x
2
+y
2
1, x
2
z
2
1) C[x, y, z] into irreducible components. Find I(V )
(15) Let A = K[X, Y, Z]]. I = (XY, XZ, Y Z).
(a) Describe V (I) (A).
(b) Can I be generated by two elements?