Definition
Let R be a ring and G be a monoid. Consider all the functions φ : G → R such that the set {g: φ(g) ≠ 0} is finite. Let all such functions be element-wise addable. We can define multiplication by (φ * ψ)(g) = Σkl=gφ(k)ψ(l). The set of all such functions φ, together with these two operations, forms a ring, the monoid ring of G over R denoted R. If G is a group, then R denotes the group ring of G over R.
Less rigorously but more simply, an element of R is a polynomial in G over R, hence the notation. We multiply elements as polynomials, taking the product in G of the "indeterminates" and gathering terms:
where risj is the R-product and gihj is the G-product.
The ring R can be embedded in the ring R via the ring homomorphism T : R → R defined by
- T(r)(1G) = r, T(r)(g) = 0 for g ≠ 1G.
where 1G is the identity element of G.
There also exists a canonical homomorphism going the other way, called the augmentation. It is the map ηR:R → R, defined by
The kernel of this homomorphism, the augmentation ideal, is denoted by JR(G). It is a free R-module generated by the elements 1 - g, for g in G.
Read more about this topic: Monoid Ring
Famous quotes containing the word definition:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth mans fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“Im beginning to think that the proper definition of Man is an animal that writes letters.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)
“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)