Exercise 8, § 5
Algebra, III, 630
Bourbaki marks this one as harder than the rest.
Let A be an integral domain and K its field of fractions; for every A-module M, let denote its torsion module (II, § 7, no. 10).
(a) Show that for the algebra to have no divisors of zero, it is necessary and sufficient that the A-module be torsion-free (observe that is isomorphic to and use Exercise 5).
(b) Let be an injective A-module homomorphism. Show that ; if is torsion-free, then (cf. II, § 7, no. 10, Proposition 27).
(c) Give an example of a torsion-free A-module M such that is non-zero (II, § 7, Exercise 31).
Solution
No solution has been written yet.