Value Group
The units D* of D comprise a group under multiplication, which is a subgroup of the units F* of F, the nonzero elements of F. These are both abelian groups, and we can define the quotient group V = F*/D*, which is the value group of D. Hence, we have a group homomorphism ν from F* to the value group V. It is customary to write the group operation in V as +.
We can turn V into a totally ordered group by declaring the residue classes of elements of D as "positive". More precisely, V is totally ordered by defining if and only if where and are equivalence classes in V.
Read more about this topic: Valuation Ring
Famous quotes containing the word group:
“No group and no government can properly prescribe precisely what should constitute the body of knowledge with which true education is concerned.”
—Franklin D. Roosevelt (1882–1945)
“Just as a person who is always asserting that he is too good-natured is the very one from whom to expect, on some occasion, the coldest and most unconcerned cruelty, so when any group sees itself as the bearer of civilization this very belief will betray it into behaving barbarously at the first opportunity.”
—Simone Weil (1910–1943)