Bourbaki

Exercise 12, § 2

Commutative Algebra, IV, 292

Bourbaki marks this one as harder than the rest.

Let AA be a ring, MM an AA-module and NN a submodule of MM. (a) For Ass⁡f(M/N)\operatorname{Ass}_f(M/N) (§ 1, Exercise 17) to be reduced to a single element pp, it is necessary and sufficient that N≠MN \neq M and that, for all a∈Aa \in A, the homothety with ratio aa on M/NM/N be injective or almost nilpotent; then p=rM(N)p = r_M(N) (Exercise 11) and we also say that NN is primay (or pp-*primay*) in MM. For every submodule M′M' of MM such that N⊂M′N \subset M' and N≠M′N \neq M', NN is then pp-primary in M′M'. (b) If rM(N)r_M(N) is a maximal ideal of AA, show that NN is primary in MM. In particular, every ideal qq of AA which is only contained in a single prime ideal mm (necessarily maximal) is mm-primary. (c) Let AA be an integral domain and xx an element of AA such that p=Axp = Ax is prime; then, for every integer n≥1n \geq 1, AxnAx^n is pp-primary. Show that this result does not extend to the case where A is not an integral domain (take A=B/bA = B/b, where B=K[X,Y]B = K[X, Y] (K being a field), b=BX2+BXYb = BX^2 + BXY).

(d) If A is an absolutely flat ring (Chapter I, § 2, Exercise 17), the primary ideals of A are identical with the prime ideals of A.

(e) Give an example of a Z-module M such that {0} is p-primary (for a prime number pp) but that for no a≠0a \neq 0 in Z\mathbf{Z} is the homothety aMa_M nilpotent (cf. Chapter II, § 2, Exercise 3).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.