Timeline for A characterisation of full subgroups of $\mathrm{GL}_n(\mathbf{F}_p)$
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2023 at 16:05 | comment | added | Geoff Robinson | The case $n =2$ is completely exceptional because a subgroup of ${\rm GL}(2,p)$ with more that one Sylow $p$-subgroup contains ${\rm SL}(2,p)$. You need much more stringent conditions for larger $n$. Of course, a concise statement would be "a subgroup of ${\rm GL}(n,p)$ is full (for $n >1$) if and only if it contains all commutators", but that is not helpful. | |
| Mar 24, 2023 at 13:03 | comment | added | Sean Eberhard | The question is peculiar because "full" subgroups are not mysterious. Since they contain the derived subgroup $\mathrm{SL}_n(p)$ they are in 1:1 correspondence with subgroups of $\det(\mathrm{GL}_n(p)) \cong C_{p-1}$. Really it seems what you are trying to understand is nonsolvable linear groups of $p$-divisible order, of which there are an ocean of possibilities. | |
| Mar 24, 2023 at 1:35 | comment | added | spin | Vague question, but I think the answer is no. Just assuming $G$ divisible by $p$ and $G$ non-solvable, you have examples like ${\rm GL}_{n_1}(\mathbf{F}_p) \times \cdots \times {\rm GL}_{n_t}(\mathbf{F}_p) < {\rm GL}_n(\mathbf{F}_p)$ for $n = n_1 + \cdots + n_t$. So I suppose you should assume that $G$ is irreducible. Then you have imprimitive subgroups like ${\rm GL}_{a}(\mathbf{F}_p) \wr S_b$ with $n = ab$. So then maybe you want to assume that $G$ is primitive, etc.. It may be helpful for you to look up Aschbacher's theorem on maximal subgroups of classical groups. | |
| Mar 24, 2023 at 1:04 | comment | added | YCor | "$\mathbf{F}_p$ is a finite field of characteristic $p$": no, you mean, of cardinal $p$. Otherwise first it would be very non-standard notation, and also the quoted theorem from Lang would be false for a proper extension of the field of order $p$. | |
| Mar 24, 2023 at 0:47 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
| Mar 23, 2023 at 23:36 | history | asked | stupid boy | CC BY-SA 4.0 |