Semigroup ring
   HOME

TheInfoList



OR:

In abstract algebra, a monoid ring is a
ring Ring may refer to: * Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry * To make a sound with a bell, and the sound made by a bell :(hence) to initiate a telephone connection Arts, entertainment and media Film and ...
constructed from a ring and a monoid, just as a group ring is constructed from a ring and a group.


Definition

Let ''R'' be a ring and let ''G'' be a monoid. The monoid ring or monoid algebra of ''G'' over ''R'', denoted ''R'' 'G''or ''RG'', is the set of formal sums \sum_ r_g g, where r_g \in R for each g \in G and ''r''''g'' = 0 for all but finitely many ''g'', equipped with coefficient-wise addition, and the multiplication in which the elements of ''R'' commute with the elements of ''G''. More formally, ''R'' 'G''is the set of functions such that is finite, equipped with addition of functions, and with multiplication defined by : (\phi \psi)(g) = \sum_ \phi(k) \psi(\ell). If ''G'' is a group, then ''R'' 'G''is also called the group ring of ''G'' over ''R''.


Universal property

Given ''R'' and ''G'', there is a ring homomorphism sending each ''r'' to ''r''1 (where 1 is the identity element of ''G''), and a monoid homomorphism (where the latter is viewed as a monoid under multiplication) sending each ''g'' to 1''g'' (where 1 is the multiplicative identity of ''R''). We have that α(''r'') commutes with β(''g'') for all ''r'' in ''R'' and ''g'' in ''G''. The universal property of the monoid ring states that given a ring ''S'', a ring homomorphism , and a monoid homomorphism to the multiplicative monoid of ''S'', such that α'(''r'') commutes with β'(''g'') for all ''r'' in ''R'' and ''g'' in ''G'', there is a unique ring homomorphism such that composing α and β with γ produces α' and β '.


Augmentation

The augmentation is the ring homomorphism defined by : \eta\left(\sum_ r_g g\right) = \sum_ r_g. The kernel of ''η'' is called the augmentation ideal. It is a
free Free may refer to: Concept * Freedom, having the ability to do something, without having to obey anyone/anything * Freethought, a position that beliefs should be formed only on the basis of logic, reason, and empiricism * Emancipate, to procur ...
''R''-
module Module, modular and modularity may refer to the concept of modularity. They may also refer to: Computing and engineering * Modular design, the engineering discipline of designing complex devices using separately designed sub-components * Modul ...
with basis consisting of 1 – ''g'' for all ''g'' in ''G'' not equal to 1.


Examples

Given a ring ''R'' and the (additive) monoid of natural numbers N (or viewed multiplicatively), we obtain the ring ''R''[] =: ''R''[''x''] of polynomials over ''R''. The monoid N''n'' (with the addition) gives the polynomial ring with ''n'' variables: ''R''[N''n''] =: ''R''[''X''1, ..., ''X''''n''].


Generalization

If ''G'' is a semigroup, the same construction yields a semigroup ring ''R'' 'G''


See also

* Free algebra * Puiseux series


References

*{{cite book , first = Serge , last = Lang , authorlink=Serge Lang , title = Algebra , publisher = Springer-Verlag , location = New York , year = 2002 , edition = Rev. 3rd , series = Graduate Texts in Mathematics , volume=211 , isbn=0-387-95385-X


Further reading

*R.Gilmer.
Commutative semigroup rings
'. University of Chicago Press, Chicago–London, 1984 Ring theory