Exemple 2
Étiquette 0CJ5, permanente. À citer comme [Bourbaki, Tag 0CJ5].
Commutative Algebra, chapter VII, § 4. Modules sur les anneaux noethériens intégralement clos
Prenons . Pour qu’un idéal fractionnaire de soit un réseau réflexif, il faut et il suffit qu’il soit un idéal divisoriel, en vertu du critère b) du th. 2 et du § 1, n° 4, prop. 5 et 7.
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.