GROUP RING


In mathematics, a 'group ring' is a ring ''R''[''G''] constructed from a ring ''R'' and a multiplicative group ''G''. Sometimes the group ring is written simply as ''RG''.
As an ''R''-module, the ring ''R''[''G''] is the free module over ''R'' on the elements ''G''. If ''R'' is a field ''K'', the group ring is called a group algebra; it is a vector space over ''K'', with the basis vectors given by the elements of ''G''. The elements of the group ring are finite linear combinations of elements of ''G'' with coefficients in ''R''. Multiplication is defined by the group operation in ''G'' extended by linearity and distributivity, and the requirement that elements of ''R'' commute with elements of ''G''. The identity element of ''G'' is the multiplicative identity of the ring ''R''[''G''].
If ''R'' is commutative, then ''R''[''G''] is an associative algebra over ''R''.

Contents
Definition
Two simple examples
Properties
Group algebra over a finite group
Representations of a group algebra
Center of a group algebra
Group rings over an infinite group
Representations of a group ring
Category theory
References

Definition


Let ''G'' be a group and ''R'' a ring. We first define the set ''R''[''G'']'' to be one of the following:

★ The set of all formal ''R''-linear combinations of elements of ''G''.

★ The free ''R''-module with basis ''G''.

★ The set of all functions ''f'': ''G'' → ''R'' with ''f''(''g'') = 0 for all but finitely many ''g'' in ''G''.
No matter which definition is used, we can write elements of ''R''[''G''] in the form sum_{g in G} a_g g, with all but finitely many of the ''a''''g'' being 0, and an addition is defined on ''R''[''G''] (by addition of formal linear combinations, addition in the module, or addition of functions, respectively). Multiplication of elements of ''R''[''G''] is defined by setting
:(sum_{g in G} a_g g )( sum_{h in G} b_h h ) = sum_{g,h in G} (a_g b_h ) gh.
If ''R'' has a unit element, this is the unique bilinear multiplication for which (1 ''g'')(1 ''h'') = (1 ''gh''). In this case, ''G'' is commonly identified with the elements 1 ''g'' of ''R''[''G'']. The identity element of ''G'' then serves as the 1 in ''R''[''G''].
''R'' is commonly a commutative ring with unit, or even a field.

Two simple examples


Let ''G'' = 'Z'3, the cyclic group of three elements with generator ''a''. An element ''r'' of 'C'[''G''] may be written as
:r = z_1 + z_2 a + z_3 a^2,
where ''z''1, ''z''2 and ''z''3 are in 'C', the complex numbers. Writing a different element ''s'' as
:s=w_1 +w_2 a +w_3 a^2,
their sum is
:r + s = z_1+w_1 + (z_2+w_2) a + (z_3+w_3) a^2,
and their product is
:rs = z_1w_1 + z_2w_3 + z_3w_2
+(z_1w_2 + z_2w_1 + z_3w_3)a
+(z_1w_3 + z_3w_1 + z_2w_2)a^2,
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.
A different example is that of the Laurent polynomials: these are nothing more or less than the group ring of the infinite cyclic group 'Z'.

Properties


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. It is a vector space over the field, with the algebra structure on the vector space is defined as
:e_g cdot e_h = e_{gh}.
The vector space is defined so that each basis vector ''e''''g'' is simply in one-to one correspondence with the elements of the group ''g'' in ''G''. That is, a general element of ''K''[''G''] may be written as
:r=sum_{hin G} k_h e_h
where the ''k''''h'' ∈ ''K'' are just an arbitrary set of scalars indexed by ''h'' ∈ ''G''. Thus, the group algebra is essentially the regular representation of the group. It is the representation ''g'' mapsto ''ρ''''g'' with the action given by
ho(g)cdot e_h = e_{gh}, or
:
ho(g)cdot r =
sum_{hin G} k_h
ho(g)cdot e_h =
sum_{hin G} k_h e_{gh}

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 ring of matrices 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
: ilde{
ho}:K[G]
ightarrow mbox{End} (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 in fact a left ''K''[''G'']-module over the abelian group ''V''. That this is so is exhibited below, where each axiom of a module is demonstrated.
Pick ''r'' ∈ ''K''[''G''] so that
: ilde{
ho}(r) in mbox{End}(V).
Then ilde{
ho}(r) is a homomorphism of abelian groups, in that
: ilde{
ho}(r) cdot (v_1 +v_2) =
ilde{
ho}(r) cdot v_1 + ilde{
ho}(r) cdot v_2
for any ''v''1, ''v''2 ∈ ''V''. Next, one notes that the set of endomorphisms of an abelian group is an endomorphism ring. The representation ilde{
ho} is a ring homomorphism, in that one has
: ilde{
ho}(r+s)cdot v =
ilde{
ho}(r)cdot v + ilde{
ho}(s)cdot v
for any two ''r'', ''s'' ∈ ''K''[''G''] and ''v'' ∈ ''V''. Similarly, under multiplication,
: ilde{
ho}(rs)cdot v =
ilde{
ho}(r)cdot ilde{
ho}(s)cdot v
Finally, one has that the unit is mapped to the identity:
: ilde{
ho}(1)cdot v = v
where 1 is the multiplicative unit of ''K''[''G'']; that is,
: 1 = e_e,
is the vector corresponding to the identity element ''e'' in ''G''.
The last three equations show that ilde{
ho} 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 ilde{
ho} 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
:
ilde{
ho}(ar) cdot v_1 + ilde{
ho}(br) cdot v_2 =
a ilde{
ho}(r) cdot v_1 + b ilde{
ho}(r) cdot v_2 =
ilde{
ho}(r) cdot (av_1 +bv_2)

for scalar ''a'', ''b'' ∈ ''K''.
Any group representation
:
ho:G
ightarrow mbox{Aut}(V),
with ''V'' a vector space over the field ''K'', can be extended linearly to an algebra representation
: ilde{
ho}:K[G]
ightarrow mbox{End}(V),
simply by mapping
ho(g) mapsto ilde{
ho}(e_g). 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]) := left{ z in K[G] mid zr = rz mbox{ for all } r in K[G]
ight}.

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. 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.
If ''G'' is torsion-free, it is conjectured that 'C'[''G''] has no nontrivial idempotents or zero divisors; this has been proven for special cases, such as the ones where ''G'' is abelian, elementary amenable, or free.
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


Categorically, the group ring construction is left adjoint to "group of units"; the following functors are an adjoint pair:
:operatorname{GrpRng}colon mathbf{operatorname{Grp}} o Rmathbf{operatorname{-Alg}}
:operatorname{GrpUnits}colon Rmathbf{operatorname{-Alg}} o mathbf{operatorname{Grp}}
where "GrpRng" takes a group to its group ring over ''R'', and "GrpUnits" takes an ''R''-algebra to its group of units.

References



★

★ C.W. Curtis, I. Reiner, ''Representation theory of finite groups and associative algebras'', Interscience (1962)

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

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

psst.. try this: add to faves
©2009 TripAtlas.com