Group algebra
2020 Mathematics Subject Classification: Primary: 20E35 [MSN][ZBL]
The group algebra of a group $G$ over a field $K$ is the associative algebra over $K$ whose elements are all possible finite sums of the type $\def\a{\alpha}\def\b{\beta}\sum_{g\in G}\a_g g$, $g\in G$, $\a_g\in K$, the operations being defined by the formulas:
$$\sum_{g\in G}\a_g g + \sum_{g\in G}\b_g g = \sum_{g\in G}(\a_g+\b_g) g,$$
$$\Big(\sum_{g\in G}\a_g g\Big)\Big(\sum_{g\in G}\b_g g\Big) = \sum_{h\in G}\Big(\sum_{\substack{xy=h\\x,y \in G}}(\a_x\;\b_y) h\Big),$$ (The sum on the right-hand side of the second formula is also finite.) This algebra is denoted by $KG$; the elements of $G$ form a basis of this algebra; multiplication of basis elements in the group algebra is induced by the group multiplication. The algebra $KG$ is isomorphic to the algebra of functions defined on $G$ with values in $K$ which assume only a finite number of non-zero values; in this algebra multiplication is the convolution of these functions.
The same construction can also be considered for the case when $K$ is an associative ring. One thus arrives at the concept of the group ring of a group $G$ over a ring $K$; if $K$ is commutative and has a unit element, the group ring is often called the group algebra of the group over the ring as well.
Group algebras were introduced by G. Frobenius and I. Schur [Sc] in connection with the study of group representations, since studying the representations of $G$ over a field $K$ is equivalent to studying modules over the group algebra $KG$. Thus, Maschke's theorem is formulated in the language of group algebras as follows: If $G$ is a finite group and $K$ is a field, then the group algebra $KG$ is semi-simple if and only if the order of $G$ is not divisible by the characteristic of $K$.
In the early 1950s group algebras of infinite groups were studied in the context of integer group algebras in algebraic topology, and for the investigation of the structure of groups. This was also promoted by a number of problems on group algebras, the best known of which is whether or not the group algebra of a torsion-free group contains zero divisors (Kaplansky's problem).
Some directions in studies on group rings and algebras.
Radicality and semi-simplicity. A group ring has a non-zero nilpotent ideal if and only if $K$ has a non-zero nilpotent ideal or if the order of some finite normal subgroup in $G$ is divisible by the order of an element of the additive group of the ring $K$. If $K$ is a ring without nil ideals and if the order of each element of $G$ is not divisible by the order of any element of the additive group of $K$, then $KG$ has no nil ideals. The group algebra $KG$ over a field of characteristic zero is semi-simple, i.e. has vanishing Jacobson radical, if $K$ contains a transcendental element over the field of rational numbers.
Imbedding of a group algebra into a skew-field. The group algebra of an ordered group is imbeddable in a skew-field (the Mal'tsev–von Neumann theorem). It is believed that this is also true for any right-ordered group.
Connection between ring-theoretic properties of the group ring $KG$ with the structure of the group $G$ and the ring $K$. As an example, $KG$ is primary if and only if the ring $K$ is primary and if the group $G$ has no finite normal subgroups.
The isomorphism problem: If the group rings $KG$ and $KH$ are isomorphic as $K$-algebras, what is the connection between the structures of the groups $G$ and $H$. In particular, when are $G$ and $H$ isomorphic? It was found that a solvable torsion group of class two is uniquely determined by its group ring over the ring of integers, and that a countable Abelian $p$-group is uniquely determined by its group ring over a ring of characteristic $p$.
Different generalizations of the concept of a group algebra have been considered. An example is the concept of the cross product of a group and a ring, which retains many properties of a group algebra.
See also the references to Representation of a group.
References
[Bo] | A.A. Bovdi, "Group rings", Uzhgorod (1974) (In Russian) MR0412282 Zbl 0339.16004 |
[CuRe] | C.W. Curtis, I. Reiner, "Representation theory of finite groups and associative algebras", Interscience (1962) MR0144979 Zbl 0131.25601 |
[Pa] | D.S. Passman, "The algebraic structure of group rings", Wiley (1977) MR0470211 Zbl 0368.16003 |
[Sa] | R. Sandling, "The isomorphism problem for group rings", Orders and their applications, Lect. notes in math., Springer (1985) pp. 256–288 MR0812504 Zbl 0565.20005 |
[Sc] | I. Schur, Sitzungsber. Preuss. Akad. Wiss. (1905) pp. 406–432 |
[Se] | S.K. Sehgal, "Topics in group rings", M. Dekker (1978) MR0508515 Zbl 0411.16004 |
Group ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Group_ring&oldid=35172