Structure of F_p[G], for finite group G ? - MathOverflow

Structure of F_p[G], for finite group G ?

2012-07-18T19:45:22Z

Consider group algebra k[G] of finite group G. If k is alg.closed then every irrep lives there with multiplicity equal to dimension. (More conceptually as bimodule over GxG it is multiplicity free and all irreps live there).

Now let k=F_p what is known then ? Is true that all irreps of G live in k[G] ? (Seems obviously yes... but to be sure) But multiplicities ?

If assume order of G does not divide p ?

Example:

G=Z/nZ, the F_p[G] = F_p[x] / (x^p-1) and every irreducible polynom generates ideal and hence subrepresentation, so these are quests about irred. polynoms. E.g. like this:

http://math.stackexchange.com/questions/172534/for-which-values-of-n-is-the-polynomial-px-1xx2-cdotsxn-irreducible/172540#comment396429_172540

http://math.stackexchange.com/questions/172468/for-what-n-k-there-exists-a-polynomial-px-in-f-2x-s-t-degp-k-and

Motivation: "cyclic error correcting codes" are exactly the ideals in F_p[x] / (x^p-1) = F_p[G], why take G= Z/nZ ? may be take other groups give "better" codes ?

Answer by Geoff Robinson for Structure of F_p[G], for finite group G ?

2012-07-18T20:13:58Z

It seems natural to work with an algebraically closed field of characteristic $p$, or, less restrictively, a splitting field of characteristic $p$ for $G$. For example, any field containing the primitive $m$-th roots of unity, where $|G| = p^{a}m$ and $p$ dos not divide $m$, so I assume now that $k$ is algebraically closed of characteristic $p.$ We have entered the realm of modular representation theory, whose theory was first extensively developed by Richard Brauer. By now the basic theory is covered in numerous texts (eg by Alperin, by Curtis-Reiner).

The indecomposable direct summands of the group algebra $kG$ are the so-called projective indecomposable modules (sometimes called principal indecomposables). The number of isomorphism types of these is the number of conjugacy classes of elements of order prime to $p$ of $G.$ Each of these has a simple socle (the socle of module is its largset semisimple submodule) and a unique maximal submodule (so a simple head, or largest semisimple quotient module). Because the group algebra is a symmetric algebra, the socle and head of $P$ are isomorphic. If $P$ is one of these projective indecomposable modules, and has (simple) socle $S$, then up to isomorphism, $P$ occurs ${\rm dim}_{k}(S)$ times as a summand of the group algebra $k[G].$ Hence $S$ occurs $dim_{k}(S)$ times (up to isomophism) as a summand of the socle of the regular module $kG.$ Also, $S$ occurs ${\rm dim}{k}(P)$ times as a composition factor of the regular module $k[G].$ Every simple module for the group algebra $k[G]$ has a projective cover, and these all occur as direct summands of the group algebra. As Mariano remarks in his comment, the theory of non-projective indecomposable modules is much less transparent. The results over non-splitting field can be recovered using Galois theory and Clifford theory. However, modular representation theory is much richer and diverse than this brief description allows for. These basic facts (and much much more) were all known to Brauer, perhaps sometimes in different language, and these are just the beginnings. If $|G|$ is not divisible by $p,$ the projective indecomposable $P$ and its socle $S$ are the same module, and the theory degenerates to the semisimple case, which is much like the characterisic zero situation.

Answer by Jim Humphreys for Structure of F_p[G], for finite group G ?

2012-07-18T20:46:46Z

The basic roadblock for a finite group over a finite prime field (whether or not the characteristic divides the group order) is clear-cut: you rarely get all of the absolutely irreducible representations of the group over the prime field, which is equally a problem when working over $\mathbb{Q}$ . You always get various irreducible reprsentations living in the group algebra, but typically these split up further if you extend the field as Geoff indicates. Then it can get arbitrarily complicated to sort everything out, but the tools are there. Trying to work exclusively over a prime field is seldom productive, without reference to a splitting field.

Geoff has given a broad sketch of the subject, which is treated thoroughly in the 1962 book of Curtis-Reiner and (in a more modern style) in their later two-volume work. Alperin's book is short, readable, and module-oriented, while the third part of Serre's also short book is devoted to the basics of Brauer theory (without block theory) following an introduction to ordinary character theory, etc.

There's plenty of literature on coding theory, some of which uses finite group theory in an essential way, but it's hard to do anything insightfully without at least some theoretical background in modular representation theory.

P.S. I don't understand the parenthetic remark in your first paragraph.

Answer by Jyrki Lahtonen for Structure of F_p[G], for finite group G ?

2012-07-21T19:51:15Z

Adding a few words from the coding theory side. Abelian groups without $p$-torsion are somewhat more natural in coding theory, because then we get the machinery of discrete Fourier transform (which is, of course, just representation theory) to play with. Dihedral groups have been used as symmetry groups of cyclic codes (add order reversal symmetry), but for the most part symmetries of codes just aid proving things about their properties.

When the group has $p$-torsion, the theory is less clean. Nevertheless, the topic has been studied. Check out papers by Karl-Heinz Zimmermann (http://www.tu-harburg.de/ti6/mitarbeiter/khz/pub.html). In his papers from the 90s a lot of representation theoretical concepts appear. I don't know, if they are very hot from the point of view of constructing new and better codes, though.