Bourbaki

Example (1)

Tag 04U1, permanent. Cite it as [Bourbaki, Tag 04U1].

Commutative Algebra, chapter VI, § 4. The height of a valuation

Let AA and BB be two ordered groups; let A×BA \times B be given the lexicographic order (i.e. "(a,b)≤(a′,b′)(a, b) \leq (a', b')" is equivalent to "(a<a′) or (a=a′ and b≤b′)(a < a') \text{ or } (a = a' \text{ and } b \leq b')"). The second factor BB of A×BA \times B is then, as is seen immediately, an isolated subgroup of A×BA \times B.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.