Bourbaki

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 G={0}G = \{0\} is 0. (2) The groups Z\mathbf{Z} and R\mathbf{R} are of height 1. (3) Let GG be a totally ordered group and HH an isolated subgroup of GG. If h(H)h(H) and h(G/H)h(G/H) denote the heights of the totally ordered groups HH and G/HG/H, then

h(G)=h(H)+h(G/H), h(G) = h(H) + h(G/H),
since the set of isolated subgroups of GG is totally ordered by inclusion. In particular, if GG is the lexicographic product of two totally ordered groups HH and H′H', then
h(G)=h(H)+h(H′) h(G) = h(H) + h(H')
(cf. no. 2, Example 2); thus the lexicographic product Z×Z\mathbf{Z} \times \mathbf{Z} is of height 2.

On the other hand the height of Z×Z\mathbf{Z} \times \mathbf{Z} ordered by embedding in R\mathbf{R} (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.

Cites

Transcribed from the printed volume. Not translated.