Definition 2
Tag 04U7, permanent. Cite it as [Bourbaki, Tag 04U7].
Commutative Algebra, chapter VI, § 4. The height of a valuation
Let G be a totally ordered group. If the number of isolated subgroups of G distinct from G is finite and equal to n, G is said to be of height n. If this number is infinite, G is said to be of infinite height.
Examples (1) The height of the group is 0. (2) The groups and are of height 1. (3) Let be a totally ordered group and an isolated subgroup of . If and denote the heights of the totally ordered groups and , then
On the other hand the height of ordered by embedding in (cf. § 3, no. 4, end of Example 6) is equal to 1 (cf. Proposition 8 below).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.