Exemple 3
Étiquette 0CIX, permanente. À citer comme [Bourbaki, Tag 0CIX].
Commutative Algebra, chapter VII, § 4. Modules sur les anneaux noethériens intégralement clos
Si est un anneau principal, tout réseau de est un -module de type fini (puisque est noethérien) et sans torsion, donc est un -module libre (Alg., chap. VII, § 4, n° 3, cor. 2 du th. 2).
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.