Formal Definition
Given a group G and a field F, the elements of its representation ring RF(G) are the formal differences of isomorphism classes of finite dimensional linear F-representations of G. For the ring structure, addition is given by the direct sum of representations, and multiplication by their tensor product over F. When F is omitted from the notation, as in R(G), then F is implicitly taken to be the field of complex numbers.
Read more about this topic: Representation Ring
Famous quotes containing the words formal and/or definition:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)