## Does the following characterization of subgroups of $GL_2(\mathbb{F}_p)$ generalise?

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

Let $p$ be a prime number. By a Cartan subgroup of $GL_n(\mathbb{F}_p)$ I mean an absolutely semisimple maximal abelian subgroup.

When $n=2$, it is well-known* that, for $G \subset GL_n(\mathbb{F}_p)$ of order prime to $p$, either $G$ is contained in a Cartan subgroup, or it is contained in the normalizer of a Cartan subgroup, or its image in $PGL_n(\mathbb{F}_p)$ is isomorphic to $A_4$, $A_5$, or $S_4$.

I would like to know if there is a similar result for larger even values of $n$;

where a subgroup of order prime to $p$ would either be contained in the normaliser of a Cartan, or its projective image be one in a finite list of groups.

*See e.g. section 2 of Serre's "Propriétés galoisiennes..." paper.

-

1
Presumably we should read "A_4, A_5, or S_4" as "a finite subgroup of PGL_2(\mathbb C)". – Will Sawin Apr 26 2012 at 20:45
@Will: Actually no, I really do mean in $PGL_2(\mathbb{F}_p)$. Now you might ask for which $p$ this is possible. Restricting to odd $p$, $A_4$ and $S_4$ always embed in $PGL_2(\mathbb{F}_p)$, and $A_5$ embeds if and only if $p \equiv \pm 1$ mod 5. – Barinder Banwait Apr 26 2012 at 21:23
@Will: Your comment is in the right direction, though it omits the cyclic groups. This comment does reinforce my sense that higher values of `$n$` will get arbitrarily hard for list-making. – Jim Humphreys Apr 26 2012 at 21:34
@Barinder: I don't understand your definition of "Cartan subgroup", since Serre is considering both the split and non-split maximal tori in a finite group of Lie type (not just the split tori). Aside from that, I doubt very much that anything as simple as the case `$n=2$` will occur for larger `$n$`. The subgroup structure rapidly gets much more complicated. – Jim Humphreys Apr 26 2012 at 21:36
@Jim: Thanks for your comment. But does my definition of Cartan subgroup really force me into the split case? I didn't think that it did. – Barinder Banwait Apr 26 2012 at 22:13
show 6 more comments
{"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": 21, "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": true, "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.9171370267868042, "perplexity_flag": "middle"}