Monoid ring

Last updated June 12, 2024

In abstract algebra, a monoid ring is a ring 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 _{g\in G}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 free R-module on the set G, endowed with R-linear multiplication defined on the base elements by g·h := gh, where the left-hand side is understood as the multiplication in R[G] and the right-hand side is understood in G.

Alternatively, one can identify the element $g\in R[G]$ with the function e_g that maps g to 1 and every other element of G to 0. This way, R[G] is identified with the set of functions φ: G → R such that {g : φ(g) ≠ 0} is finite. equipped with addition of functions, and with multiplication defined by

(\phi \psi )(g)=\sum _{k\ell =g}\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 α: R → R[G] sending each r to r1 (where 1 is the identity element of G), and a monoid homomorphism β: G → R[G] (where the latter is viewed as a monoid under multiplication) sending each g to 1g (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 α': R → S, and a monoid homomorphism β': G → S 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 γ: R[G] → S such that composing α and β with γ produces α' and β '.

Augmentation

The augmentation is the ring homomorphism η: R[G] → R defined by

\eta \left(\sum _{g\in G}r_{g}g\right)=\sum _{g\in G}r_{g}.

The kernel of η is called the augmentation ideal. It is a free R-module 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 {xⁿ} viewed multiplicatively), we obtain the ring R[{xⁿ}] =: R[x] of polynomials over R. The monoid Nⁿ (with the addition) gives the polynomial ring with n variables: R[Nⁿ] =: R[X₁, ..., X_n].

Generalization

If G is a semigroup, the same construction yields a semigroup ringR[G].

Related Research Articles

In mathematics, an associative algebraA over a commutative ring K is a ring A together with a ring homomorphism from K into the center of A. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a module or vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices over a commutative ring K, with the usual matrix multiplication.

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type. The word homomorphism comes from the Ancient Greek language: ὁμός meaning "same" and μορφή meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being $0$ .

In mathematical physics and mathematics, the Pauli matrices are a set of three $2 \times 2$ complex matrices that are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems, such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups $such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading .$

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space $under the operation of composition.$

<span class="mw-page-title-main">Adjoint representation</span> Mathematical term

In mathematics, the adjoint representation of a Lie group G is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if G is $, the Lie group of real n -by- n invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible n -by- n matrix to an endomorphism of the vector space of all linear transformations of defined by: .$

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials" with non-commuting variables. Likewise, the polynomial ring may be regarded as a free commutative algebra.

In commutative algebra and field theory, the Frobenius endomorphism is a special endomorphism of commutative rings with prime characteristic $p$ , an important class that includes finite fields. The endomorphism maps every element to its $p$ -th power. In certain contexts it is an automorphism, but this is not true in general.

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematical physics, spacetime algebra (STA) is the application of Clifford algebra Cl_1,3(R), or equivalently the geometric algebra G(M⁴) to physics. Spacetime algebra provides a "unified, coordinate-free formulation for all of relativistic physics, including the Dirac equation, Maxwell equation and General Relativity" and "reduces the mathematical divide between classical, quantum and relativistic physics."

In mathematics, an approximately finite-dimensional (AF) C*-algebra is a C*-algebra that is the inductive limit of a sequence of finite-dimensional C*-algebras. Approximate finite-dimensionality was first defined and described combinatorially by Ola Bratteli. Later, George A. Elliott gave a complete classification of AF algebras using the K₀ functor whose range consists of ordered abelian groups with sufficiently nice order structure.

In mathematics, the Kostant polynomials, named after Bertram Kostant, provide an explicit basis of the ring of polynomials over the ring of polynomials invariant under the finite reflection group of a root system.

In cryptography, learning with errors (LWE) is a mathematical problem that is widely used to create secure encryption algorithms. It is based on the idea of representing secret information as a set of equations with errors. In other words, LWE is a way to hide the value of a secret by introducing noise to it. In more technical terms, it refers to the computational problem of inferring a linear $-ary function over a finite ring from given samples some of which may be erroneous. The LWE problem is conjectured to be hard to solve, and thus to be useful in cryptography.$

In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : V → W that is:

A representation up to homotopy has several meanings. One of the earliest appeared in physics, in constrained Hamiltonian systems. The essential idea is lifting a non-representation on a quotient to a representation up to strong homotopy on a resolution of the quotient. As a concept in differential geometry, it generalizes the notion of representation of a Lie algebra to Lie algebroids and nontrivial vector bundles. As such, it was introduced by Abad and Crainic.

Attempts have been made to describe gauge theories in terms of extended objects such as Wilson loops and holonomies. The loop representation is a quantum hamiltonian representation of gauge theories in terms of loops. The aim of the loop representation in the context of Yang–Mills theories is to avoid the redundancy introduced by Gauss gauge symmetries allowing to work directly in the space of physical states. The idea is well known in the context of lattice Yang–Mills theory. Attempts to explore the continuous loop representation was made by Gambini and Trias for canonical Yang–Mills theory, however there were difficulties as they represented singular objects. As we shall see the loop formalism goes far beyond a simple gauge invariant description, in fact it is the natural geometrical framework to treat gauge theories and quantum gravity in terms of their fundamental physical excitations.

A Lie bialgebroid is a mathematical structure in the area of non-Riemannian differential geometry. In brief a Lie bialgebroid consists of two compatible Lie algebroids defined on dual vector bundles. They form the vector bundle version of a Lie bialgebra.

References

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