Exercise 24, § 3
Commutative Algebra, III, 252
Bourbaki marks this one as harder than the rest.
A ring (commutative or not) , not reduced to 0, is called a principal ideal ring if it has no divisors of zero and every left or right ideal of is monogenic. Such a ring is left and right Noetherian.
\* Exercises 22 to 25 were communicated to us by P. Gabriel.
(a) Show that, for every element of , is an -module of finite length. (Observe that, if a decreasing sequence of ideals of contains , then for all and consider the right ideals .)
(b) Show that every submodule of a (left or right) free -module is free (same argument as in Algebra, Chapter VII, § 3, Theorem 1).
(c) In every -module , the set of elements of which are not free is a submodule of called the torsion submodule of (use Chapter II, §2, Exercise 14 (a)); is called a torsion module if ; is called torsion-free if .
(d) Show that every finitely generated torsion-free -module is free (use Chapter II, § 2, Exercise 23 (b)).
(e) Show that every finitely generated -module is the direct sum of a free module and a torsion module.
(f) Let be a two-sided ideal of . Show that there exists an element and an automorphism of such that and for all . (If is a generator of the left ideal , there exists an endomorphism of such that for all ; show that, if is a generator of the right ideal , is invertible, using Algebra, Chapter VIIT, § 2, Exercise 8 (b).)
Solution
No solution has been written yet.