Remarque 2
Étiquette 0CJF, permanente. À citer comme [Bourbaki, Tag 0CJF].
Commutative Algebra, chapter VII, § 4. Modules sur les anneaux noethériens intégralement clos
On peut montrer que sur un anneau de Dedekind, un module projectif qui n’est pas de type fini est nécessairement libre (exerc. 21) et que tout sous-module d’un module projectif est projectif (exerc. 20).
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.