Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am interested in the finite subgroups of $GL(n,Z)$ of maximal order.

Except for the dimensions $n = 2,4,6,7,8,9,10$ they are -- up to conjugacy in $GL(n,Q)$ -- in each dimension the group of signed permutation matrices of order $2^nn!$. This is proven in an article by Walter Feit which appeared as "Orders of finite linear groups" in the Proceedings of the First Jamaican Conference on Group Theory and its Applications in 1996. In this paper also the "exceptional" dimensions are treated.

Even though I tried for a fair bit I couldn't get my hands on the paper. And also was I unable to find the list of exceptional groups someplace else. So does anyone know if I can find this list elsewhere? Or can someone maybe post this list as an answer?

Any help is greatly appreciated.

share|improve this question
    
That doesn't seem to be true as stated. For instance $GL(16,\mathbb{Z})$ contains $W(E_8)^2$, whose order is divisible by $5^4$; $GL(24,\mathbb{Z})$ contains $W(E_8)^3$, whose order is divisible by $5^6$, etc. –  abx May 27 at 10:03
    
See also mathoverflow.net/questions/15127 –  Derek Holt May 27 at 10:31
2  
I think you mean "finite subgroups of maximal order of ${\rm GL}(n,\mathbb{Z}).$ –  Geoff Robinson May 27 at 11:49
    
There are clearly finite subgroups of ${\rm GL}(n,\mathbb{Z})$ which are not conjugate, even within ${\rm GL}(n,\mathbb{Q})$ to subgroups of the signed permutation matrices. I think that J-P. Serre will have a copy of that paper of Feit –  Geoff Robinson May 27 at 11:51

2 Answers 2

up vote 7 down vote accepted

In fact, I have a copy of a preprint by Feit of this paper. I have not checked the results, but here is what Feit says: the group of signed permutation matrices is of maximal order as a finite subgroup of ${\rm GL}(n,\mathbb{Q})$, except in the following cases (Feit's Theorem A).

$n = 2, W(G_{2})$ of order $12$.

$n = 4, W(F_{4}),$ order $1152$.

$n = 6, W(E_{6}) \times C_{2},$ order $103680.$

$n = 7, W(E_{7}),$ order $2903040.$

$n = 8, W(E_{8}),$ order $696729600$.

$n = 9, W(E_{8}) \times W(A_{1})$, order $1393459200$ (reducible).

$n = 10, W(E_{8}) \times W(G_{2}),$ order $8360755200$ (reducible).

share|improve this answer

From the question it is not really clear whether you are asking for maximal finite subgroups of ${\rm GL}(n,\mathbb{Z})$ or only for the ones of these with the largest order.

In any case you can find a library of $\mathbb{Q}$-class representatives of all irreducible maximal finite subgroups of ${\rm GL}(n,\mathbb{Z})$ for $n \leq 31$ and $\mathbb{Z}$-class representatives of those among these groups which are of dimension at most $11$ or of dimension $13, 17, 19$ or $23$ in the GAP Data Library "Integral Matrix Groups" by Wilhelm Plesken, Bernd Souvignier and Gabriele Nebe.

share|improve this answer

Your Answer

 
discard

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.