Bourbaki

Exercise 8, § 2

Algebra, VII, p. 56

Let AA be a principal ideal domain, let π\pi be an irreducible element of AA and let MM be a π\pi-primary module. Then an element xx of MM is said to have height nn if x∈πnMx \in \pi^n M and x∉πn+1Mx \notin \pi^{n+1} M. If x∈πnMx \in \pi^n M for all n≥1n \geq 1 then xx is said to have infinite height.

u) Show that MM is divisible if and only if all its elements have infinite height (Ex. 3).

b) Let xx be an element of MM of height nn, such that πx=0\pi x = 0; show that if x=πnyx = \pi^n y then the cyclic submodule AyAy of MM is a direct factor of MM (notice that AyAy is a pure submodule, and apply Ex. 7, d)).

c) Show that a nondivisible nn-primary module MM always contains at least one cyclic nonzero direct factor (if x∈Mx \in M has finite height, and there exist integers mm such that πmx≠0\pi^m x \neq 0 has infinite height, then lets be the least such integer ; write πsx=πy\pi^s x = \pi y, where yy has height strictly greater than πs−1x\pi^{s-1} x, and apply b) to y−πs−1xy - \pi^{s-1} x). Deduce that any indecomposable nn-primary module is either cyclic or isomorphic to a module UτU_\tau (Ex. 3).

d) Show that if every pure submodule of the nn-primary module MM is a direct factor in MM, then MM is a direct sum of a divisible module PP and a π\pi-primary module QQ with nonzero annihilator. (Reduce to the case where MM contains no nonzero divisible submodule, and argue by contradiction. Use b) to show that there would exist an infinite sequence (xi)(x_i) of elements of height 1 in MM such that : 1) the annihilator of xkx_k is AπnkA \pi^{n_k}, where the sequence (ni)(n_i) of integers is strictly increasing ; and 2) the sum of the AxkAx_k is direct, and the sum of any finite number of these submodules is a direct factor in MM. Then show that the submodule NN of MM generated by the elements xi−πnk−1nkxk−1x_i - \pi^{n_k-1} n_k x_{k-1}, is pure, but not a direct factor of MM, arguing as in Ex. 7, e)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.