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 manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.”
—Franz Grillparzer (1791–1872)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)