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.
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.
Weisstein, Eric W. "Valuation Group." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/ValuationGroup.html