# Modular group algebra

Let be a field and a group. The group algebra is called modular if the characteristic of is prime, say , and contains an element of order ; otherwise is said to be non-modular.

Practically every result about group algebras over a field of characteristic zero has an appropriate analogue for any non-modular group algebra. Absence of finite skew-fields makes it possible to state certain prime-characteristic analogues in a stronger form. For example, if is a finite group, then a non-modular group algebra in characteristic is a sum of matrix algebras over fields (rather than over skew-fields, as in the case of characteristic zero; cf. also Matrix algebra). The theory of modular group algebras is of a much higher level of complexity than that of the non-modular group algebras. For finite , the topic essentially belongs to the theory of modular representations of finite groups (cf. Finite group, representation of a), and includes such rich pieces as the theory of blocks (cf. Block), Brauer correspondences, the theory of projective and relatively projective modules (cf. Projective module), etc. The radical theory of modular group algebras for finite is not very well developed (1996). E.g., there are only fragmentary results about the dimension and the nilpotency index of the radical.

However, if is infinite, the most studied case is precisely the theory of radicals, mainly the Jacobson radical. The results obtained centre around two conjectures. The first conjecture, proved for locally solvable groups (cf. Solvable group), states that , the Jacobson radical of , coincides with the so-called -radical, where is defined as the set of all such that is nilpotent (cf. Nilpotent group) for every finitely generated subgroup . Set

and let be the subgroup of generated by the -elements. Then is locally finite (i.e., every finite set is contained in a finite subgroup) and is generated by the Jacobson radical of . This reduces the problem to locally finite groups.

The second conjecture concerns locally finite groups and has recently been settled affirmatively by D.S. Passman [a2]. To state it, let be the maximal normal -subgroup of the locally finite group and let be the subgroup generated by all finite subgroups such that is generated by -elements and is a subnormal subgroup in every finite subgroup with . Let be the pre-image of in . Then is generated (as an ideal) by , and is easily described in terms of radicals of the group rings of finite groups. Thus, the problem is in fact reduced to the case of finite groups, which is usually regarded as a satisfactory solution for a problem in the theory of infinite groups.

For a locally finite , the two-sided ideals of such that can be described in terms of the representations of finite subgroups of , [a3]. This also provides an efficient machinery for studying the lattice of two-sided ideals of .

#### References

[a1] | D.S. Passman, "The algebraic structure of group rings" , Wiley (1977) |

[a2] | D.S. Passman, "The Jacobson radical of group rings of locally finite groups" Adv. in Math. (to appear) |

[a3] | A.E. Zalessskii, "Group rings of simple locally finite groups" , Finite and Locally Finite Groups , Kluwer Acad. Publ. (1995) pp. 219–246 |

**How to Cite This Entry:**

Modular group algebra. A.E. Zalesskii (originator),

*Encyclopedia of Mathematics.*URL: http://www.encyclopediaofmath.org/index.php?title=Modular_group_algebra&oldid=14524