Exemple 3
Étiquette 0CIB, permanente. À citer comme [Bourbaki, Tag 0CIB].
Commutative Algebra, chapter VI, § 4. Hauteur d’une valuation
Soient G un groupe totalement ordonné et H un sous-groupe isolé de G. Si l’on désigne par et les hauteurs des groupes totalement ordonnés H et G/H, on a
puisque l’ensemble des sous-groupes isolés de G est totalement ordonné par inclusion. En particulier, si G est le produit lexicographique de deux groupes totalement ordonnés H et H', on a
(cf. no 2, Exemple 2); ainsi le produit lexicographique est de hauteur 2.
Par contre la hauteur de , ordonné par plongement dans (cf. § 3, no 4, fin de l’Exemple 6) est égale à 1 (cf. prop. 8 ci-dessous).
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.