Remarque 2

Étiquette 0DIO, permanente. À citer comme [Bourbaki, Tag 0DIO].

Algebra, chapter VII, § 4. MODULES DE TYPE FINI SUR UN ANNEAU PRINCIPAL

Le contenu $c_L(x)$ est l’annulateur du module de torsion de $L/Ax$ .

Soient L un module libre sur un anneau principal A et M un sous-module de L ; d’après VII, p. 4, lemme 1, la famille des idéaux $c_L(x),\ x \in M$ , possède un élément maximal ; si $M \neq \{0\}$ , un tel élément maximal est non nul.

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.