Exercice 8, § 5
Algèbre, III, p. 186
Bourbaki marks this one as harder than the rest.
Soient un anneau intègre, son corps des fractions; pour tout -module , on désigne par son sous-module de torsion (II, p. 115). a) Montrer que pour que l’algèbre soit sans diviseur de zéro, il faut et il suffit que le -module soit sans torsion (observer que est isomorphe à et utiliser l’exerc. 5 de III, p. 185). b) Soit un homomorphisme injectif de -modules. Montrer que ; si est sans torsion, on a (cf. II, p. 118, prop. 27). c) Donner un exemple de -module sans torsion tel que ne soit pas réduit à 0 (II, p. 197, exerc. 31).
Solution
Aucune solution n’a encore été écrite.