Which R-algebras are the group ring of some group over a ring R?

Question

This question was inspired by Qiaochu's recent question, Which commutative groups are the group of units of some field? - my question is close to being the inverse of it.

As mentioned here, given a ring $R$, the functor $GrpRing:Grp\rightarrow R$-$Alg$ taking a group $G$ to the group ring $R[G]$ is left adjoint to the functor $GrpUnits:R$-$Alg\rightarrow Grp$ taking an $R$-algebra to its group of units. What is the essential image of $GrpRing$, i.e., which $R$-algebras are isomorphic to the group ring of some group over $R$?

One might ask more generally, when is a ring $R$ a group ring over some ring, not fixed at the outset? (Obviously, any ring $R$ is isomorphic to $R[1]$, the group ring of the trivial group over itself, but let's exclude this trivial case.)

Answer 1

By the way, there's one very interesting restriction on group algebras that has yet to be mentioned. If $k$ is a field, then even over characteristic p, the group algebra has the remarkable property that all its projective modules are also injective. The proof is simple: the map $k[G]\times k[G]\to k$ given by the value at the identity of the product is a non-degenerate pairing. So $k[G]$ is the dual of a projective and thus injective, so its summands are as well.

This may not seem impressive to those of you who don't study finite dimension algebras, but this is an extraordinary property, and show that most finite dimensional algebras don't show up in group algebras.

Answer 2

A group algebra over the complex numbers, like any semisimple algebra, is isomorphic to a product of matrix rings, $$R = M_{d_1 \times d_1} \times M_{d_2 \times d_2} \times \cdots \times M_{d_n \times d_n}$$ The d_i that appear are exactly the dimensions of the irreducible representations of G. I don't know how to classify all sets of numbers that appear in this way (but the answer is not "all of them").

Over nonalgebraically closed fields of characteristic zero, nontrivial divison algebras can appear in the group algebra. I don't know if there's a restriction on the division algebras that can appear.

The situation in characteristic p is more complicated, but we can say something. A finite-dimensional algebra A has a square matrix of numerical invariants called the Cartan matrix. (I am not talking about the Lie-theoretic Cartan matrix, but I would be interested to know if they are named the same for a reason.) There is a one-to-one correspondence between simple A-modules and indecomposable projective A-modules, and the ij entry in the Cartan matrix is the Jordan-Holder index of the ith simple module in the jth projective module.

The theory of Brauer (and the subject of "part 3" of Serre's famous book on representation theory of finite groups) imposes strong conditions on the Cartan matrix when A is the group algebra of a finite group (over a large finite field). It must admit a factorization as D.D^t, where D is another matrix with nonnegative integer entries. (D is the "decomposition matrix" which describes what happens to simple modules in characteristic zero when reduced mod p.) For instance the Cartan matrix must be symmetric.

What if we work over a ring that is not a field, e.g. the integers? Here's a comment on Yemon's point that there are many pairs of groups G and H for which the group rings C[G] and C[H] are isomorphic. It is more difficult to construct such isomorphisms over smaller rings, and whether or not an isomorphism of the form Z[G] = Z[H] implied that G = H was an open problem for a long time (the "isomorphism problem for integral group rings," posed by Brauer in the 60s) A counterexample was found by Hertweck 10 years ago:

http://www.jstor.org/pss/3062112

(Pete points out above that I am assuming G is finite. When G is infinite C[G] cannot be analyzed by Wedderburn's theorem, there's no such thing as a Cartan matrix, everything breaks down. Is there a counterexample to the isomorphism problem simpler than Hertweck's if we do not require G and H to be finite?)

Answer 3

Reid Barton's very nice answer to Computing the structure of the group completion of an abelian monoid, how hard can it be? contained a pointer to the wikipedia page for the Eilenberg-Mazur swindle. Towards the bottom of that page, one finds the following relevant paragraph.

Example: (Lam 2003, Exercise 8.16) If $A$ and $B$ are any groups then the Eilenberg swindle can be used to construct a ring $R$ such that the group rings $R[A]$ and $R[B]$ are isomorphic rings: take $R$ to be the group ring of $A + B + A + B + \ldots$

Answer 4

It doesn't answer your question, but might be worth noting en passant: depending on the choice of $R$, two different groups might give rise to the same group ring. The standard example is that when ${\mathbb C}$ is the field of complex numbers, and $G$ and $H$ are two finite abelian groups with the same cardinality, then the group algebras ${\mathbb C}G$ and ${\mathbb C}H$ are isomorphic. (In fact, even if you equip them with their natural $C^\ast$-algebra norms, the corresponding $C^\ast$-algebras will be *-isomorphic.)

If we work over a field $k$ of characteristic zero, then an old result of Kaplansky tells us that for any group $G$ (not necessarily finite) the group algebra $kG$ is "directly finite", in the sense that every left invertible element is right invertible. So any $k$-algebra which fails to have this property cannot arise as $kG$ for some group $G$.

There may perhaps also be homological obstructions of various sorts, but I don't know too much about such things in this setting.

Answer 5

A $R$-algebra $A$ is a group algebra over $R$ if and only if there exists a $R$-module basis of $A$, which is also central and a subgroup of $A^*$. Of course, this is trivial, but I don't think that there is a nice characterization.

Observe that some $R$-algebras $A$ don't have any $R$-homomorphism $A \to R$ at all. However, group algebras admit the augmentation map $R[G] \to R$. Besides, the diagonal map $G \to G \times G$ induces $R[G] \to R[G] \otimes R[G]$ and endow $R[G]$ with the structure of a coalgebra.