Bourbaki

Exercise 22, § 2

Commutative Algebra, IV, 295

Bourbaki marks this one as harder than the rest.

Let E be an A-module and F a submodule of E. (a) Let p be a prime ideal of A and aa an element of A such that a∉pa \notin p and Q=F:(a)Q = F : (a) is p-primary in E. Show that F=Q∩(F+aE)F = Q \cap (F + aE). (b) Suppose that there exist b∈Ab \in A and x∈Ex \in E such that bnx∉Fb^n x \notin F for all n>0n > 0. Show that, if there exists an integer n>0n > 0 such that F:bn+1=F:bnF : b^{n+1} = F : b^n, then F=(F+Abnx)∩(F:(bn))F = (F + Ab^n x) \cap (F : (b^n)). (c) Suppose that F is irreducible with respect to E (Algebra, Chapter II, § 2, Exercise 16) and consider the three following properties: (α)(\alpha) F is primary in E. (β)(\beta) For every prime ideal p of A, the saturation of F with respect to p in E is of the form F:(a)F : (a) for some a∉pa \notin p. (γ)(\gamma) For all b∈Ab \in A, the sequence (F:(bn))n≥1(F : (b^n))_{n \geq 1} is stationary. Show that each of conditions (β)(\beta), (γ)(\gamma) implies (a)(a) (use (a) and (b) and Exercise 18 (a)). If E is finitely generated, the three conditions (a)(a), (β)(\beta) and (γ)(\gamma) are equivalent (cf. Exercise 20 (b) and 20 (c)). (d) Let K be a field, A the ring K[X,Y]K[X, Y] and m the maximal ideal AX+AYAX + AY of A; show that the ideal m2m^2 is primary but not irreducible. (e) Let A be a not necessarily commutative ring and E a left Noetherian A-module. Show that every submodule F of E is the intersection of a finite family of irreducible submodules in E (consider a submodule of E which is maximal among those which are not finite intersections of irreducible submodules). (f) Deduce from (e) and (c) a new proof of Theorem 1 of no. 2.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.