6

Let $p$ be a fixed prime, and define the function

$$ f(n) = \min \{\, i \in \mathbb{N} \text{ such that } n \Bigm| |\mathrm{GL}(i, p)| \,\}, $$

where $\mathrm{GL}(i, p)$ is the general linear group of degree $i$ over the finite field $\mathbb{F}_p$, and $|\mathrm{GL}(i, p)|$ denotes its order.

We know that

$$ |\mathrm{GL}(n, p)| = p^{\frac{n(n-1)}{2}} \prod_{k=1}^n (p^k - 1), $$

which is divisible by $n$. Therefore,

$$ f(n) \leq n. $$

Question:
Has this function $f(n)$ been studied before? Can we get a better upper bound than linear for the function $f(n)$?

Any references or insights would be greatly appreciated.

ghc1997
  • 2,317
  • 3
    If $q$ is a prime such that $p$ is a primitive root modulo $q$, then $f(q) = q-1$, so you can't improve much. – Dermot Craddock Jul 18 '25 at 15:35
  • 3
    We can actually improve the upper bound slightly to $f(n) \le n-1$ using the fact that $S_n$ embeds into $GL_{n-1}(K)$ for any field $K$, and then as Dermot observes it's not possible to improve this in general. – Qiaochu Yuan Jul 18 '25 at 17:18
  • (Sorry, with the minor exception of $n = 2$ and $K$ a field of characteristic $2$. See https://math.stackexchange.com/questions/4772889/does-s-n-always-embed-into-gl-n-1-mathbbf-p/4773344#4773344.) – Qiaochu Yuan Jul 18 '25 at 21:12

1 Answers1

12

I'll replace $p$ with $q$ and $i$ with $m$, and make the dependence on $q$ explicit, writing $f_q(n)$. If $n = \prod p_j^{k_j}$ is the prime factorization of $n$, then $n$ divides some integer iff $p_j^{k_j}$ divides it for each $j$. Together with the fact that each term of the sequence $|GL_m(\mathbb{F}_q)|$ divides the next, this gives

$$f_q(n) = \max_j f_q(p_j^{k_j})$$

which reduces the problem to the prime power case. This case is equivalent to studying the $p$-adic valuations $\nu_p(|GL_m(\mathbb{F}_q)|)$, since

$$f_q(p^k) = \min \{ m : \nu_p(|GL_m(\mathbb{F}_q)|) \ge k \}.$$

These $p$-adic valuations are analogous to the $p$-adic valuations $\nu_p(n!)$ of the factorials given by Legendre's formula, and we can write down a version of Legendre's formula here using lifting the exponent (LTE). The case $p \mid q$ is special; we get

$$\nu_p(|GL_m(\mathbb{F}_q)|) = {m \choose 2} \nu_p(q).$$

Otherwise, let $d = \text{ord}_p(q)$ be the smallest $d$ such that $q^d \equiv 1 \bmod p$. Then $p \mid q^k - 1$ iff $d \mid k$, and if $p$ is odd then LTE gives

$$\nu_p(q^{dk} - 1) = \nu_p(q^d - 1) + \nu_p(k)$$

which gives

$$\begin{align*} \nu_p(|GL_m(\mathbb{F}_q)|) &= \sum_{k=1}^{\lfloor \frac{m}{d} \rfloor} \nu_p(q^{dk} - 1) \\ &= \sum_{k=1}^{\lfloor \frac{m}{d} \rfloor} \left( \nu_p(q^d - 1) + \nu_p(k) \right) \\ &= \boxed{ \left\lfloor \frac{m}{d} \right\rfloor \nu_p(q^d - 1) + \nu_p \left( \left\lfloor \frac{m}{d} \right\rfloor ! \right). } \end{align*}$$

There is a similar but slightly more annoying result for the case $p = 2$; in this case LTE splits into cases.

Conceptually we can think about this $p$-adic valuation as telling us the order of the $p$-Sylow subgroup of $GL_m(\mathbb{F}_q)$. The first line of this calculation implies that the $p$-Sylow is the $p$-Sylow of $GL_{\lfloor \frac{m}{d} \rfloor}(\mathbb{F}_{q^d})$, where $\mathbb{F}_{q^d}$ is the smallest extension of $\mathbb{F}_q$ containing an element of order $p$. The third line implies that the $p$-Sylow is the $p$-Sylow of the wreath product $\mathbb{F}_{q^d}^{\times} \wr S_{\lfloor \frac{m}{d} \rfloor}$, which is the wreath product of the $p$-Sylows of its constituents.

In terms of understanding the growth rate of $f$, it's clear that the behavior of this $p$-adic valuation depends very strongly on the order $d = \text{ord}_p(q)$ of $q \bmod p$. At one extreme, if $p \mid q - 1$ then $d = 1$ and $\nu_p(|GL_m(\mathbb{F}_q)|)$ grows like $m \, \nu_p(q - 1) + \frac{m}{p-1}$. At the other extreme, if $q$ is a primitive root $\bmod p$ (as Dermot Craddock points out in the comments) then $d = p - 1$ and $\nu_p(|GL_m(\mathbb{F}_p)|)$ is zero until $m = p - 1$. This is the worst case for upper bounding $f(n)$ with no hypotheses on $n$, also as Dermot points out. As an important special case of our discussion above, if $n = p$ is prime and doesn't divide $q$ then we just have

$$f_q(p) = \text{ord}_p(q) = d$$

and we don't have a better upper bound on this than $p - 1$ in general.


Here is a small example to clarify how to actually use these results to calculate $f(n)$. Since we didn't handle the case $p = 2$ I will take $n$ to be odd, so let's calculate $f_2(225)$, where $225 = 3^2 5^2$ (so $q = 2$). Starting with $p = 3$, we want to calculate

$$d_3 = \text{ord}_3(2) = 2$$

(corresponding to $2^2 \equiv 1 \bmod 3$), which gives

$$\nu_3(|GL_m(\mathbb{F}_2)| = \left\lfloor \frac{m}{2} \right\rfloor + \nu_3 \left( \left\lfloor \frac{m}{2} \right\rfloor ! \right)$$

and we want to know when this first takes on a value at least $2$ to calculate $f(3^2)$. This happens when $m = 4$ (the second term doesn't end up taking on a positive value), so $\boxed{ f_2(9) = 4 }$. Next we take $p = 5$, and we want to calculate

$$d_5 = \text{ord}_5(2) = 4$$

(corresponding to $2^4 \equiv 1 \bmod 5$), which gives

$$\nu_5(|GL_m(\mathbb{F}_2)|) = \left\lfloor \frac{m}{4} \right\rfloor + \nu_5 \left( \left\lfloor \frac{m}{4} \right\rfloor ! \right)$$

and we want to know when this first takes on a value at least $2$. This happens when $m = 8$ (again the second term doesn't get to take on a positive value), so $\boxed{ f_2(25) = 8 }$. This gives

$$\boxed{ f_2(225) = \text{max}(f_2(9), f_2(25)) = \text{max}(4, 8) = 8 }.$$

In general it's not hard to see that we have $f_q(p^k) \le k \, \text{ord}_p(q) \le k(p-1)$ (if $\gcd(p, q) = 1$), and in the above cases this was sharp. Writing $n = \prod p_j^{k_j}$ this gives a general upper bound

$$\begin{align*} f_q(n) &\le \max_j \left( k_j \, \text{ord}_{p_j}(q) \right) \\ &\le \boxed{ \max_j \left( k_j(p_j - 1) \right) } \end{align*}$$

which in the above case was also sharp, again assuming $\gcd(n, q) = 1$. The same bound almost always holds when $\gcd(n, q) \neq 1$ with minor exceptions, e.g. $n = q = 2$.

$f_2(n)$ does not appear to be in the OEIS, but the analogous sequence involving dividing factorials is A002034, the Kempner function. Here's a table of the first few values of $f_2(n)$ (there are no OEIS results for the terms up to $f_2(10)$):

$n$ $f_2(n)$
$2$ $2$
$3$ $2$
$4$ $3$
$5$ $4$
$6$ $2$
$7$ $3$
$8$ $3$
$9$ $4$
$10$ $4$
$11$ $10$
Qiaochu Yuan
  • 478,279
  • In your table at the end, $f_2(6) = 2$ – testaccount Jul 19 '25 at 01:21
  • Thank you for your detailed answer. Is the reason that, in some cases, we can do better than the bound $f(n) \leq n - 1$ because there might be only finitely many primes $q$ for which $p$ is a primitive root — which is related to Artin's conjecture? – ghc1997 Jul 19 '25 at 13:26
  • @ghc1997: no, there's no reason to disbelieve Artin's conjecture. It's just that the worst case where $n = p$ is prime and $q$ is a primitive root is pretty specific and doesn't occur most of the time. – Qiaochu Yuan Jul 19 '25 at 17:05