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

<math>\sum_{g\in G} r_g g \rightarrow \sum_{g\in G} r_g </math>

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
Museums in England

... Museum[?] Historic Warships[?], Birkenhead Lady Lever Art Gallery[?] Liverpool Museum[?] Merseyside Maritime Museum[?] Museum of Liverpool Life[?] Tat ...

 
 
 
This page was created in 25.8 ms