4
$\begingroup$

Let G=GL(n,q) be a general linear group n-dimensional over a field with q element (q power of a prime). I am looking for an estimate of maximum length of chains of subgroup in G. Thanks.

$\endgroup$
1
  • 3
    $\begingroup$ Check out work of Cameron Solomon and Turull and various combinations of these authors, on the length of chains of subgroups $\endgroup$ Commented Apr 28, 2014 at 10:22

1 Answer 1

6
$\begingroup$

Just to flesh out Geoff's comment....

You can calculate the exact length of a maximal subgroup chain in $GL_n(q)$ as a function of the length of a subgroup chain of a Borel subgroup. Since the length of the latter chain is easy to calculate (it is a function of $\log_pq$ and the prime factorization of $q-1$), one can obtain an exact solution to the question you ask.

To make this comment precise, refer to this paper:

Solomon, Ron; Turull, Alexandre, Chains of subgroups in groups of Lie type. III. J. London Math. Soc. (2) 44 (1991), no. 3, 437–444.

The main result states:

Theorem A∗: Let $p$ be a prime. There exists a positive integer $F(p)$ such that whenever $G=G_r(k)$ is a finite quasisimple group of Lie type with $|k|=p^m$ and $m\geq F(p)$, then $l(G)=l(B)+r$, where $B$ is a Borel subgroup of $G$; moreover, every chain in $G$ of maximal length includes a maximal parabolic subgroup.

(Here we write $l(G)$ for the length of a subgroup chain in a group $G$.) Of course $GL_r(k)$ is not quasisimple, but $SL_{r+1}(k)$ is (unless $r$ and $k$ are very small), and it is easy to conclude that the same statement holds for $GL_{r+1}(k)$.

Note that the $r$ in the formula corresponds to the number of fundamental roots in the root system corresponding to $G$, and hence corresponds to the length of any maximal chain of parabolic subgroups (the minimal element of which must be a Borel). Thus it is easy to exhibit a subgroup chain of maximal length.

The other two papers in this series are also worth a look - the second has an additional author, Gary Seitz.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .