MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Which finite simple groups have order N so that N+1 is a proper power? As an example: the simple group of order $168=13^2-1$.

share|cite|improve this question
Very few I imagine. But if $N+1$ is a proper power, then the number it is a power of would seem to have nothing much to do with the simple group itself, so what might you learn from a positive answer to the question? – Geoff Robinson Jul 4 '14 at 16:17
@Geoff Of course there are the orders which are Mersenne primes. So if you can prove finiteness of the number of solutions for my question then you get finiteness of Mersenne primes. – i. m. soloveichik Jul 4 '14 at 16:57
Oh, I was thinking of non-Abelian simple groups, excuse me. – Geoff Robinson Jul 4 '14 at 17:25
up vote 12 down vote accepted

For abelian simple groups your question is merely a disguised form of "enumerate the Mersenne primes". The smallest examples for nonabelian simple groups are as follows:

  • $|{\rm PSL}(2,7)| + 1 = 13^2$,

  • $|{\rm A}_6| + 1 = 19^2$,

  • $|{\rm M}_{11}| + 1 = 89^2$,

  • $|{\rm PSU}(4,2)| + 1 = 161^2$,

  • $|{\rm J}_1| + 1 = 419^2$

These are all examples with order $\leq 10^{18}$.

share|cite|improve this answer
I guess you get a few more examples too if you allow quasisimple groups: for example $1+|{\rm SL}(2,5)| = 11^{2}.$ There is even some kind of "conceptual" explanation for that example, since ${\rm SL}(2,5)$ acts as a Frobenius complement on a $2$-dimensional vector space over ${\rm GF}(11).$ – Geoff Robinson Jul 4 '14 at 18:03
I can confirm that your `smallest examples' are the only ones with orders below $10^{10}$. – Adam P. Goucher Jul 4 '14 at 18:39
@AdamP.Goucher: My search range was $|G| \leq 10^{18}$, and the examples listed in my answer are all up to that bound. – Stefan Kohl Jul 4 '14 at 20:43
@GeoffRobinson and also $|1 + 2.A_7| = 71^2$ (because famously $7!+1 = 71^2$). – Noam D. Elkies Jul 4 '14 at 21:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.