Abelian subgroups of $GL_n(\mathbb{F}_p)$

1.3k Views Asked by At

Let $p$ be a prime number, and let $k=\mathbb{F}_p$ be the field of $p$ elements. Let $G=GL_n(k)$. We know that

$$|G|=\prod_{i=0}^{n-1}(p^n-p^i)=p^{\binom{n}{2}}\prod_{i=0}^{n-1}(p^{n-i}-1)$$

so that the Sylow $p$-subgroups of $G$ have order $p^{\binom{n}{2}}$. One such subgroup is $U$, the upper-triangular unipotent subgroup consisting of all upper-triangular matrices with $1$'s on the diagonal. Let $A_{ij}=I_n+E_{ij}$ for $j>i$, where $E_{ij}$ is the matrix with a $1$ in the $ij$th entry and $0$'s elsewhere. If we find $i_1,\ldots,i_r,j_1,\ldots,j_r$ such that the $A_{i_kj_k}$ pairwise commute, then we have:

$$(\mathbb{Z}/p\mathbb{Z})^{\oplus r}\cong \langle A_{i_1j_1},\ldots,A_{i_rj_r}\rangle\subset U$$

Two questions:

  • Is every copy of $(\mathbb{Z}/p\mathbb{Z})^{\oplus r}$ inside of $U$ conjugate under $G$ to a subgroup of the form $\langle A_{i_1j_1},\ldots,A_{i_rj_r}\rangle$?
  • Do there exist distinct, conjugate subgroups of the form $\langle A_{i_1j_1},\ldots,A_{i_rj_r}\rangle$ and $\langle A_{i_1'j_1'},\ldots,A_{i_r'j_r'}\rangle$?

The largest value of $r$ for which such subgroups exist is $r=\lfloor n^2/4\rfloor$. In this case, I believe the answers to these questions are yes and no, respectively. I'd like to know if this also holds for smaller values of $r$.

1

There are 1 best solutions below

4
On BEST ANSWER

For $r=1$: No and yes as long as $n \geq 4$.

For $r$ maximal and $n$ odd, the second question has the answer “yes” as well.

Typically, I think the answer to the first question is very definitely “no”. Every subgroup has a “straightening” of the same order and roughly the same embedding that is of roughly the form you describe (they are called algebra subgroups, and may not be exactly products of root subgroups; see page 109 of the 3rd book of the GLS revised CFSG; it is called Malcev's striaghtening). However, for $r$ maximal it might be “yes” anyways.

$r=1$

For the first question: In $G=\operatorname{GL}(4,p)$, one has the following elementary abelian subgroup that is not conjugate to a root subgroup: $\langle A_{1,3} \cdot A_{1,4} \cdot A_{2,4}\rangle$. Every generator of every cyclic root subgroup has the property that $g-g^0$ has rank 1 which is invariant under GL conjugation, but this subgroup does not have that property.

For the second question: In $G=\operatorname{GL}(3,p)$, one has the following cyclic root subgroups are conjugate: $\langle A_{1,2} \rangle \cong_G \langle A_{2,3} \rangle$.

$r$ maximal

For $r=(n-1)(n+1)/4 = \lfloor n^2/4 \rfloor$, that is, for $n$ odd and $r$ maximal, the second question's answer is no: there are two elementary abelian root subgroups of this maximal rank that are conjugate under the inverse-transpose map, but not conjugate in GL. Each are formed of block matrices: $$P_{i,j} = \left\{ \begin{bmatrix} I & A \\ 0 & I \end{bmatrix} : A \in M_{i \times j}(\mathbb{F}_p) \right\}$$ The subgroups are $P_{(n-1)/2,(n+1)/2}$ and $P_{(n+1)/2,(n-1)/2}$.