Monoid ring

Monoid ring

In abstract algebra, a monoid ring is a new ring constructed from some other ring and a monoid.

Definition

Let R be a ring and G be a monoid. Consider all the functions φ  : GR 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[G]. If G is a group, then R[G] denotes the group ring of G over R.

Less rigorously but more simply, an element of R[G] 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:

 \Sigma_i r_i g_i \cdot (\Sigma_j s_j h_j) = \Sigma_{i,j} r_i s_j (g_i h_j),

where risj is the R-product and gihj is the G-product.

The ring R can be embedded in the ring R[G] via the ring homomorphism T : RR[G] 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[G] → R ,defined by

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


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.

Examples

Given a ring R and the (additive) monoid of the natural numbers N (or {xn} viewed multiplicatively), we obtain the ring R[{xn}] =: R[x] of polynomials over R. The Monoid Nn (with the addition) gives the polynomial ring with n variables: R[Nn] =: R[X1, ..., Xn].

References

  • Lang, Serge (2002). Algebra. Graduate Texts in Mathematics 211 ((Rev. 3rd ed.) ed.). New York: Springer. ISBN 0-387-95385-X. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Monoid — This article is about the mathematical concept. For the alien creatures in the Doctor Who adventure, see The Ark (Doctor Who). Coherence law for monoid unit In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a… …   Wikipedia

  • Monoid (category theory) — In category theory, a monoid (or monoid object) (M,μ,η) in a monoidal category is an object M together with two morphisms called multiplication, and called unit, such that the diagrams and …   Wikipedia

  • Glossary of ring theory — Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. Contents 1 Definition of a ring 2 Types of… …   Wikipedia

  • Ring theory — In abstract algebra, ring theory is the study of rings algebraic structures in which addition and multiplication are defined and have similar properties to those familiar from the integers. Ring theory studies the structure of rings, their… …   Wikipedia

  • Polynomial ring — In mathematics, especially in the field of abstract algebra, a polynomial ring is a ring formed from the set of polynomials in one or more variables with coefficients in another ring. Polynomial rings have influenced much of mathematics, from the …   Wikipedia

  • Group ring — This page discusses the algebraic group ring of a discrete group; for the case of a topological group see group algebra, and for a general group see Group Hopf algebra. In algebra, a group ring is a free module and at the same time a ring,… …   Wikipedia

  • Kommutativer Ring — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

  • Unitärer Ring — Ring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von additive Abelsche Gruppe multiplikative Halbgruppe …   Deutsch Wikipedia

  • Refinement monoid — In mathematics, a refinement monoid is a commutative monoid M such that for any elements a0, a1, b0, b1 of M such that a0+a1=b0+b1, there are elements c00, c01, c10, c11 of M such that a0=c00+c01, a1=c10+c11, b0=c00+c10, and b1=c01+c11. A… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”