Talk:Valuation ring
From Wikipedia, the free encyclopedia
- If V is a totally ordered group, a subgroup U of G is called an isolated subgroup of G if 0 ≤ y ≤ x and x ∈ U implies y ∈ U. The cardinality of the set of isolated subgroups of V is the height of V. If V is the trivial group, corresponding to the trivial valuation resulting from taking a field as a valuation ring, then V is of height zero.
Something is off with the counting, because the trivial group has one isolated subgroup, not zero. AxelBoldt 23:55, 10 May 2006 (UTC)