## Encyclopedia > Monoid ring

Article Content

# Monoid ring

In abstract algebra, a monoid ring refers to a procedure which constructs a new ring from a given ring and a monoid.

Let R be a ring and G be a monoid. We can look at all the functions φ : G -> R such that the set {g: φ(g) ≠ 0} is finite. We can define addition of such functions to be element-wise additions. We can define multiplication by (φ * ψ)(g) = Σkl=gφ(k)ψ(l). The set of all these functions, together with these two operations, forms a ring, the monoid ring of R over G; it is denoted by R[G]. If G is a group, then it is called the group ring of R over G.

The ring R can be embedded into the ring R[G] via the ring homomorphism T: R->R[G] defined by

T(r)(1G) = r, T(r)(g) = 0 for g ≠ 1G.

where 1G denotes the identity element in G.

There is also a canonical homomorphism going the other way; the augmentation is the map ηR:R[G] -> R defined by

$\sum_{g\in G} r_g g \rightarrow \sum_{g\in G} r_g$

The kernel of this homomorphism is called the augmentation ideal and is denoted by JR(G). It is a free R-module generated by the elements 1 - g, for g in G.

### Examples

Given a ring and the monoid of the non-negative integers, N, we obtain the ring of polynomials over that ring.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia
 Search over one million articles, find something about almost anything!

Featured Article
 1904 ... Schmidt[?], tenor (+ 1942) March 7 - Reinhard Heydrich, Nazi official March 20 - B. F. Skinner, behavioral psychologist (+ 1990) March 23 - Joan Crawford, ...