Valuation Group
Let
be a valuated field. The valuation group
is defined to be the set
with the group operation being multiplication. It is a
Subgroup
of the
Positive
Real Numbers
, under multiplication.
© 1996-9
Eric W. Weisstein
1999-05-26