Odtnhj

In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is one-to-one with the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring.

A group ring is also referred to as a group algebra, for it is indeed an algebra over the given ring. A group algebra over a field has a further structure of Hopf algebra; in this case, it is thus called a group Hopf algebra.

The apparatus of group rings is especially useful in the theory of group representations.

Definition

Let G be a group, written multiplicatively, and let R be a ring. The group ring of G over R, which we will denote by R[G] (or simply RG), is the set of mappings f : G → R of finite support,^[1] where the module scalar product αf of a scalar α in R and a vector (or mapping) f is defined as the vector x↦α⋅f(x)displaystyle xmapsto alpha cdot f(x), and the module group sum of two vectors f and g is defined as the vector x↦f(x)+g(x)displaystyle xmapsto f(x)+g(x). To turn the additive group R[G] into a ring, we define the product of f and g to be the vector

x↦∑uv=xf(u)g(v)=∑u∈Gf(u)g(u−1x).displaystyle xmapsto sum _uv=xf(u)g(v)=sum _uin Gf(u)g(u^-1x).

The summation is legitimate because f and g are of finite support, and the ring axioms are readily verified.

Some variations in the notation and terminology are in use. In particular, the mappings such as f : G → R are sometimes written as what are called "formal linear combinations of elements of G, with coefficients in R":^[2]

∑g∈Gf(g)g,displaystyle sum _gin Gf(g)g,

or simply

∑g∈Gfgg,displaystyle sum _gin Gf_gg,

where this doesn't cause confusion.^[1]

Examples

1. Let G = C₃, the cyclic group of order 3, with generator a and identity element 1_G. An element r of C[G] may be written as

r=z01G+z1a+z2a2displaystyle r=z_01_G+z_1a+z_2a^2,

where z₀, z₁ and z₂ are in C, the complex numbers. Writing a different element s as

s=w01G+w1a+w2a2displaystyle s=w_01_G+w_1a+w_2a^2,

their sum is

r+s=(z0+w0)1G+(z1+w1)a+(z2+w2)a2displaystyle r+s=(z_0+w_0)1_G+(z_1+w_1)a+(z_2+w_2)a^2,

and their product is

rs=(z0w0+z1w2+z2w1)1G+(z0w1+z1w0+z2w2)a+(z0w2+z2w0+z1w1)a2.displaystyle rs=(z_0w_0+z_1w_2+z_2w_1)1_G+(z_0w_1+z_1w_0+z_2w_2)a+(z_0w_2+z_2w_0+z_1w_1)a^2.

Notice that the identity element 1_G of G induces a canonical embedding of the coefficient ring (in this case C) into C[G]; however strictly speaking the multiplicative identity element of C[G] is 1⋅1_G where the first 1 comes from C and the second from G. The additive identity element is zero.

When G is a non-commutative group, one must be careful to preserve the order of the group elements (and not accidentally commute them) when multiplying the terms.

2. A different example is that of the Laurent polynomials over a ring R: these are nothing more or less than the group ring of the infinite cyclic group Z over R.

3. Let Q be the quaternion group with elements e,e¯,i,i¯,j,j¯,k,k¯displaystyle e,bar e,i,bar i,j,bar j,k,bar k. Consider the group ring RQ, where R is the set of real numbers. An arbitrary element of this group ring is of the form

x1⋅e+x2⋅e¯+x3⋅i+x4⋅i¯+x5⋅j+x6⋅j¯+x7⋅k+x8⋅k¯displaystyle x_1cdot e+x_2cdot bar e+x_3cdot i+x_4cdot bar i+x_5cdot j+x_6cdot bar j+x_7cdot k+x_8cdot bar k

where xidisplaystyle x_i is a real number.

Multiplication, like in any other group ring, is defined based on the group operation. For example,

(3⋅e+2⋅i)(12⋅j¯)=(3⋅e)(12⋅j¯)+(2⋅i)(12⋅j¯)=32⋅((e)(j¯))+22⋅((i)(j¯))=32⋅j¯+22⋅k.displaystyle beginalignedbig (3cdot e+sqrt 2cdot ibig )big (frac 12cdot bar jbig )&=(3cdot e)(frac 12cdot bar j)+(sqrt 2cdot i)(frac 12cdot bar j)\&=frac 32cdot big ((e)(bar j)big )+frac sqrt 22cdot big ((i)(bar j)big )\&=frac 32cdot bar j+frac sqrt 22cdot kendaligned.

Note that RQ is not the same as the Hamilton quaternions over R. This is because the Hamilton quaternions satisfy additional relations in the ring, such as −1⋅i=−idisplaystyle -1cdot i=-i, whereas in the group ring RQ, −1⋅idisplaystyle -1cdot i is not equal to 1⋅i¯displaystyle 1cdot bar i. To be more specific, RQ has dimension 8 as a real vector space, while the Hamilton quaternions have dimension 4 as a real vector space.

Some basic properties

Assuming that the ring R has a unit element 1, and denoting the group unit by 1_G, the ring R[G] contains a subring isomorphic to R, and its group of invertible elements contains a subgroup isomorphic to G. For considering the indicator function of 1_G, which is the vector f defined by

f(g)=1⋅1G+∑g≠1G0⋅g=11G(g)={1g=1G0g≠1G,displaystyle f(g)=1cdot 1_G+sum _gnot =1_G0cdot g=mathbf 1 _1_G(g)=begincases1&g=1_G\0&gneq 1_Gendcases,1 & g = "1_G \"
0 & g ne 1_G
endcases,"/>

the set of all scalar multiples of f is a subring of R[G] isomorphic to R. And if we map each element s of G to the indicator function of s, which is the vector f defined by

f(g)=1⋅s+∑g≠s0⋅g=1s(g)={1g=s0g≠sdisplaystyle f(g)=1cdot s+sum _gnot =s0cdot g=mathbf 1 _s(g)=begincases1&g=s\0&gneq sendcases1 & g = "s \"
0 & g ne s
endcases"/>

the resulting mapping is an injective group homomorphism (with respect to multiplication, not addition, in R[G]).

If R and G are both commutative (i.e., R is commutative and G is an abelian group), R[G] is commutative.

If H is a subgroup of G, then R[H] is a subring of R[G]. Similarly, if S is a subring of R, S[G] is a subring of R[G].

Group algebra over a finite group

Group algebras occur naturally in the theory of group representations of finite groups. The group algebra K[G] over a field K is essentially the group ring, with the field K taking the place of the ring. As a set and vector space, it is the free vector space on G over the field K. That is, for x in K[G],

x=∑g∈Gagg.displaystyle x=sum _gin Ga_gg.

The algebra structure on the vector space is defined using the multiplication in the group:

g⋅h=gh,displaystyle gcdot h=gh,

where on the left, g and h indicate elements of the group algebra, while the multiplication on the right is the group operation (denoted by juxtaposition).

Because the above multiplication can be confusing, one can also write the basis vectors of K[G] as e_g (instead of g), in which case the multiplication is written as:

eg⋅eh=egh.displaystyle e_gcdot e_h=e_gh.

Interpretation as functions

Thinking of the free vector space as K-valued functions on G, the algebra multiplication is convolution of functions.

While the group algebra of a finite group can be identified with the space of functions on the group, for an infinite group these are different. The group algebra, consisting of finite sums, corresponds to functions on the group that vanish for cofinitely many points; topologically (using the discrete topology), these correspond to functions with compact support.

However, the group algebra K[G] and the space of functions K^G := Hom(G, K) are dual: given an element of the group algebra

x=∑g∈Gaggdisplaystyle x=sum _gin Ga_gg

and a function on the group f : G → K these pair to give an element of K via

(x,f)=∑g∈Gagf(g),displaystyle (x,f)=sum _gin Ga_gf(g),

which is a well-defined sum because it is finite.

Regular representation

The group algebra is an algebra over itself; under the correspondence of representations over R and R[G] modules, it is the regular representation of the group.

Written as a representation, it is the representation g ↦ ρ_g with the action given by ρ(g)⋅eh=eghdisplaystyle rho (g)cdot e_h=e_gh, or

ρ(g)⋅r=∑h∈Gkhρ(g)⋅eh=∑h∈Gkhegh.displaystyle rho (g)cdot r=sum _hin Gk_hrho (g)cdot e_h=sum _hin Gk_he_gh.

Properties

The dimension of the vector space K[G] is just equal to the number of elements in the group. The field K is commonly taken to be the complex numbers C or the reals R, so that one discusses the group algebras C[G] or R[G].

The group algebra C[G] of a finite group over the complex numbers is a semisimple ring. This result, Maschke's theorem, allows us to understand C[G] as a finite product of matrix rings with entries in C.

Representations of a group algebra

Taking K[G] to be an abstract algebra, one may ask for concrete representations of the algebra over a vector space V. Such a representation

ρ~:K[G]→End(V).displaystyle tilde rho :K[G]rightarrow mboxEnd(V).

is an algebra homomorphism from the group algebra to the set of endomorphisms on V. Taking V to be an abelian group, with group addition given by vector addition, such a representation is in fact a left K[G]-module over the abelian group V. This is demonstrated below, where each axiom of a module is confirmed.

Pick r ∈ K[G] so that

ρ~(r)∈End(V).displaystyle tilde rho (r)in mboxEnd(V).

Then ρ~(r)displaystyle tilde rho (r) is a homomorphism of abelian groups, in that

ρ~(r)⋅(v1+v2)=ρ~(r)⋅v1+ρ~(r)⋅v2displaystyle tilde rho (r)cdot (v_1+v_2)=tilde rho (r)cdot v_1+tilde rho (r)cdot v_2

for any v₁, v₂ ∈ V. Next, one notes that the set of endomorphisms of an abelian group is an endomorphism ring. The representation ρ~displaystyle tilde rho is a ring homomorphism, in that one has

ρ~(r+s)⋅v=ρ~(r)⋅v+ρ~(s)⋅vdisplaystyle tilde rho (r+s)cdot v=tilde rho (r)cdot v+tilde rho (s)cdot v

for any two r, s ∈ K[G] and v ∈ V. Similarly, under multiplication,

ρ~(rs)⋅v=ρ~(r)⋅ρ~(s)⋅v.displaystyle tilde rho (rs)cdot v=tilde rho (r)cdot tilde rho (s)cdot v.

Finally, one has that the unit is mapped to the identity:

ρ~(1)⋅v=vdisplaystyle tilde rho (1)cdot v=v

where 1 is the multiplicative unit of K[G]; that is,

1=eedisplaystyle 1=e_e

is the vector corresponding to the identity element e in G.

The last three equations show that ρ~displaystyle tilde rho is a ring homomorphism from K[G] taken as a group ring, to the endomorphism ring. The first identity showed that individual elements are group homomorphisms. Thus, a representation ρ~displaystyle tilde rho is a left K[G]-module over the abelian group V.

Note that given a general K[G]-module, a vector-space structure is induced on V, in that one has an additional axiom

ρ~(ar)⋅v1+ρ~(br)⋅v2=aρ~(r)⋅v1+bρ~(r)⋅v2=ρ~(r)⋅(av1+bv2)displaystyle tilde rho (ar)cdot v_1+tilde rho (br)cdot v_2=atilde rho (r)cdot v_1+btilde rho (r)cdot v_2=tilde rho (r)cdot (av_1+bv_2)

for scalar a, b ∈ K.

Any group representation

ρ:G→Aut(V),displaystyle rho :Grightarrow mboxAut(V),

with V a vector space over the field K, can be extended to an algebra representation

ρ~:K[G]→End(V),displaystyle tilde rho :K[G]rightarrow mboxEnd(V),

simply by letting ρ~(eg)=ρ(g)displaystyle tilde rho (e_g)=rho (g) and extending linearly. Thus, representations of the group correspond exactly to representations of the algebra, and so, in a certain sense, talking about the one is the same as talking about the other.

Center of a group algebra

The center of the group algebra is the set of elements that commute with all elements of the group algebra:

Z(K[G]):=z∈K[G]:∀r∈K[G],zr=rz.displaystyle mathrm Z (K[G]):=leftzin K[G]:forall rin K[G],zr=rzright.

The center is equal to the set of class functions, that is the set of elements that are constant on each conjugacy class

Z(K[G])=∑g∈Gagg:∀g,h∈G,ag=ah−1gh.displaystyle mathrm Z (K[G])=leftsum _gin Ga_gg:forall g,hin G,a_g=a_h^-1ghright.

If K = C, the set of irreducible characters of G forms an orthonormal basis of Z(K[G]) with respect to the inner product

⟨∑g∈Gagg,∑g∈Gbgg⟩=1|G|∑g∈Ga¯gbg.displaystyle leftlangle sum _gin Ga_gg,sum _gin Gb_ggrightrangle =frac 1Gsum _gin Gbar a_gb_g.

Group rings over an infinite group

Much less is known in the case where G is countably infinite, or uncountable, and this is an area of active research.^[3] The case where R is the field of complex numbers is probably the one best studied. In this case, Irving Kaplansky proved that if a and b are elements of C[G] with ab = 1, then ba = 1. Whether this is true if R is a field of positive characteristic remains unknown.

A long-standing conjecture of Kaplansky (~1940) says that if G is a torsion-free group, and K is a field, then the group ring K[G] has no non-trivial zero divisors. This conjecture is equivalent to K[G] having no non-trivial nilpotents under the same hypotheses for K and G.

In fact, the condition that K is a field can be relaxed to any ring that can be embedded into an integral domain.

The conjecture remains open in full generality, however some special cases of torsion-free groups have been shown to satisfy the zero divisor conjecture. These include:

• Unique product groups (e.g. orderable groups, in particular free groups)


• 
  Elementary amenable groups (e.g. virtually abelian groups)


• Diffuse groups – in particular, groups that act freely isometrically on R-trees, and the fundamental groups of surface groups except for the fundamental groups of direct sums of one, two or three copies of the projective plane.

The case of G being a topological group is discussed in greater detail in the article on group algebras.

Representations of a group ring

A module M over R[G] is then the same as a linear representation of G over the field R. There is no particular reason to limit R to be a field here. However, the classical results were obtained first when R is the complex number field and G is a finite group, so this case deserves close attention. It was shown that R[G] is a semisimple ring, under those conditions, with profound implications for the representations of finite groups. More generally, whenever the characteristic of the field R does not divide the order of the finite group G, then R[G] is semisimple (Maschke's theorem).

When G is a finite abelian group, the group ring is commutative, and its structure is easy to express in terms of roots of unity. When R is a field of characteristic p, and the prime number p divides the order of the finite group G, then the group ring is not semisimple: it has a non-zero Jacobson radical, and this gives the corresponding subject of modular representation theory its own, deeper character.

Category theory

Adjoint

Categorically, the group ring construction is left adjoint to "group of units"; the following functors are an adjoint pair:

R[−]:Grp→R-Algdisplaystyle R[-]colon mathbf Grp to Rmathbf text-Alg

(−)×:R-Alg→Grpdisplaystyle (-)^times colon Rmathbf text-Alg to mathbf Grp

where R[−]displaystyle R[-] takes a group to its group ring over R, and (−)×displaystyle (-)^times takes an R-algebra to its group of units.

When R = Z, this gives an adjunction between the category of groups and the category of rings, and the unit of the adjunction takes a group G to a group that contains trivial units: G × ±1 = ±g. In general, group rings contain nontrivial units. If G contains elements a and b such that an=1displaystyle a^n=1 and b does not normalize ⟨a⟩displaystyle langle arangle then the square of

x=(a−1)b(1+a+a2+...+an−1)displaystyle x=(a-1)bleft(1+a+a^2+...+a^n-1right)

is zero, hence (1+x)(1−x)=1displaystyle (1+x)(1-x)=1. The element 1 + x is a unit of infinite order.

Universal Property

The above adjunction expresses a universal property of group rings.^[1][4] Let R be a (commutative) ring, let G be a group, and let S be an R-algebra. For any group homomorphism f:G→S×displaystyle f:Gto S^times , there exists a unique R-algebra homomorphism f¯:R[G]→Sdisplaystyle overline f:R[G]to S such that f¯∘i=fdisplaystyle overline fcirc i=f where i is the inclusion

i:G⟶R[G]g⟼1Rgdisplaystyle beginalignedi:G&longrightarrow R[G]\g&longmapsto 1_Rgendaligned

In other words, f¯displaystyle overline f is the unique homomorphism making the following diagram commute:

Any other ring satisfying this property is canonically isomorphic to the group ring.

Generalizations

The group algebra generalizes to the monoid ring and thence to the category algebra, of which another example is the incidence algebra.

Filtration

If a group has a length function – for example, if there is a choice of generators and one takes the word metric, as in Coxeter groups – then the group ring becomes a filtered algebra.

See also

• Group algebra


• Monoid ring

Representation theory

• Group representation


• Regular representation

Category theory

• Categorical algebra


• Group of units


• Incidence algebra

Notes

References

• 
  A. A. Bovdi (2001) [1994], "Group algebra", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
  


• Milies, César Polcino; Sehgal, Sudarshan K. An introduction to group rings. Algebras and applications, Volume 1. Springer, 2002.
  ISBN 978-1-4020-0238-0
  


• 
  Charles W. Curtis, Irving Reiner. Representation theory of finite groups and associative algebras, Interscience (1962)


• D.S. Passman, The algebraic structure of group rings, Wiley (1977)