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 ≤ yx and xU implies yU. 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)