Example (1)
Tag 04U1, permanent. Cite it as [Bourbaki, Tag 04U1].
Commutative Algebra, chapter VI, § 4. The height of a valuation
Let and be two ordered groups; let be given the lexicographic order (i.e. "" is equivalent to ""). The second factor of is then, as is seen immediately, an isolated subgroup of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.