Radical of $F_p[SL(2,p)]$

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $G=SL(2,p)$. Does anyone know what is the radical of the group algebra $F_p[G]$? Does there exists any book/paper where it is calculated?

By radical here I mean maximal ideal I of $F_p[G]$ such that $I^n=0$

-

Have you looked in Karpilovsky's book on the Jacobson Radical? – Steve D Oct 17 2011 at 15:55
No I will try look in it. Thanks.  – Klim Efremenko Oct 17 2011 at 16:50

1 Answer

The answer depends a lot on what kind of description of the radical you ask for. This family of groups of Lie type has been well-studied from the viewpoint of modular representation theory in the defining characteristic (with reference also to the ambient algebraic groups). Even the somewhat degenerate case `$p=2$` fits well enough into the general pattern for odd primes.

It's easy to work out explicitly the `$p$` irreducible modular representations, for instance using the characteristic 0 model of spaces of homogeneous polynomials in two variables having degree `$<p$`. Work of Brauer and others filled in the structure of their projective covers in the group algebra; these have very few composition factors. So in this special case you can write down as explicitly as you want all the dimensions involved, including the dimension of the radical (and eventually even its Loewy series). Here are some of the fairly straightforward references, though the story gets far more complicated for groups of higher rank and even for larger finite fields than the prime field:

J.E. Humphreys, Representations of `$SL(2, p)$`. Amer. Math. Monthly 82 (1975), 21–39.

J.E. Humphreys, Projective modules for `$SL(2, q)$`. J. Algebra 25 (1973), 513–518.

Henning Haahr Andersen; Jens Jørgensen; Peter Landrock, The projective indecomposable modules of `$SL(2, p^n)$`. Proc. London Math. Soc. (3) 46 (1983), no. 1, 38–52.

ADDED: The general structure of a group algebra (or other finite dimensional algebra) is studied in the traditional way using idempotents in the classical 1962 book by Curtis and Reiner Representations of Finite Groups and Associative Algebras. The idempotents generate left ideal summands (principal indecomposable modules) and survive in the semisimple quotient when the radical is factored out; sometimes these can be described explicitly, as in the case of symmetric groups. In your example of a family of groups of Lie type, split over the prime field, the structure of the group algebra over that field extends naturally to an algebraic closure where comparison with algebraic groups is possible.

In the case of a group algebra, the key information tends to involve the representation theory of the group over the given field. It may or may not be helpful to look for generators of the radical (as a two-sided ideal), but I don't know of any substantial results for this family of groups. The dimensions and module structure are transparent, however.

-

Thanks for your answer. I still do not understand how does it looks.  Does it possible to write elements of $F[G]$ that generate of the radical? – Klim Efremenko Oct 17 2011 at 23:45
This is what my first sentence is about.   See my added comments. – Jim Humphreys Oct 18 2011 at 12:17
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 6, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9044486880302429, "perplexity_flag": "head"}