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
-
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.
Referenced By
List of abstract algebra topics | List of group theory topics | List of mathematical topics (M-O)
|
