48
$\begingroup$

Suppose $n > 1$ is a natural number. Suppose $K$ and $L$ are fields such that the general linear groups of degree $n$ over them are isomorphic, i.e., $GL(n,K) \cong GL(n,L)$ as groups. Is it necessarily true that $K \cong L$?

I'm also interested in the corresponding question for the special linear group in place of the general linear group.

NOTE 1: The statement is false for $n = 1$, because $GL(1,K) \cong K^\ast$ and non-isomorphic fields can have isomorphic multiplicative groups. For instance, all countable subfields of $\mathbb{R}$ that are closed under the operation of taking rational powers of positive elements have isomorphic multiplicative groups.

NOTE 2: It's possible to use the examples of NOTE 1 to construct non-isomorphic fields whose additive groups are isomorphic and whose multiplicative groups are isomorphic.

$\endgroup$

2 Answers 2

41
$\begingroup$

The answer is "yes", see below.

Dieudonné in his book "La géométrie des groupes classiques" considers the abstract group $SL_n(K)$ for a field $K$, not necessarily commutative, and writes $PSL_n(K)$ for $SL_n(K)$ modulo the center. In Ch. IV, Section 9, he considers the question whether $PSL_n(K)$ can be isomorphic to $PSL_m(K')$ for $n\ge 2,\ m\ge 2$. He writes that they can be isomorphic only for $n=m$, except for $PSL_2(\mathbb{F}_7)$ and $PSL_3(\mathbb{F}_2)$. If $n=m>2$, then the isomorphism is possible only if $K$ and $K'$ are isomorphic or anti-isomorphic. The same is true for $m=n=2$ if both $K$ and $K'$ are commutative, except for the case $K=\mathbb{F}_4$, $K'=\mathbb{F}_5$. Dieudonné gives ideas of proof and references to Schreier and van der Waerden (1928), to his paper "On the automorphisms of classical groups" in Mem. AMS No. 2 (1951) and to the paper of Hua L.-K. and Wan in J. Chinese Math. Soc. 2 (1953), 1-32.

This answers affirmatively the question for $SL_n$, because if $SL_n(K)\cong SL_n(K')$, then $PSL_n(K)\cong PSL_n(K')$. In the case $n=2$, $K=\mathbb{F}_4$, $K'=\mathbb{F}_5$, the orders $|SL_2(\mathbb{F}_4)|=60$ and $|SL_2(\mathbb{F}_5)|=120$ are different, and therefore these groups are not isomorphic.

This also answers affirmatively the question for $GL_n$, because $SL_n(K)$ is the commutator subgroup of $GL_n(K)$, except for $GL_2(\mathbb{F_2})$, see Dieudonné, Ch. II, Section 1. In the case $n=2$, $K=\mathbb{F}_2$, we have $|GL_2(\mathbb{F}_2)|=6$ , which is less than $|GL_2(\mathbb{F}_q)|=q(q-1)(q^2-1)$ for any $q=p^r>2$, hence $GL_2(\mathbb{F}_2)\not\cong GL_2(\mathbb{F}_q)$ for $q>2$.

$\endgroup$
2
  • 1
    $\begingroup$ How do you define $SL_n(K)$ when $K$ is not commutative? $\endgroup$
    – YCor
    Sep 11, 2012 at 21:09
  • 3
    $\begingroup$ Using Dieudonne's wonderful determinant, taking values in the abelian quotient $Z = K^\times / [K^\times, K^\times]$, characterized by the axioms that say that scaling a row by $z$ scales the determinant by the image of $z$ in $Z$, switching rows or columns changes the sign of the determinant, and adding one row or column to another leaves the determinant unchanged. $\endgroup$
    – Marty
    Sep 11, 2012 at 23:07
23
$\begingroup$

The answer to the question is yes, though I don't have all the old literature at my fingertips. This kind of question for various classes of linear groups has a long history in the study of homomorphisms and isomorphisms of classical groups and then other algebraic groups (van der Waerden, Dieudonne, ...) The most comprehensive treatment was given by Borel and Tits in their Ann. of Math 97 (1973) paper, but emphasizing simple types rather than general reductive groups. Anyway, for general linear groups the ideas occur much earlier and also involve the uniqueness of $n$. (As you point out, the case $n=1$ has a different flavor.) I'll check the sources, but you could also work back from the references in Borel-Tits.

P.S. Note that any isomorphism (of abstract groups) between two general linear groups induces an isomorphism of the derived groups. Given $n>1$, these are special linear groups and fit well into the older or newer sources I mentioned. (Probably there is enough detail in the 1928 Hamburg paper by Schreier and van der Waerden to settle your question, but I confess I've never gone back that far in the literature.)

ADDED: One relatively modern reference I should point out is Lectures on Linear Groups by O.T. O'Meara, CBMS 22, Amer. Math. Soc., 1974. While O'Meara's own research interest at the time was in the direction of linear groups over various rings of interest, these lecture notes also incorporate older work over fields. See in particular his Sections 5.5-5.6 for theorems most relevant to the question asked here.

Roughly speaking, the central concern in these isomorphism theorems is what happens to unipotent elements (classically, transvections and the like). In the setting of classical matrix groups, the original techniques rely on the underlying geometry of the situation. But in the broader treatment by Borel-Tits the structure theory of reductive groups (Jordan decomposition, Bruhat decomposition, etc.) plays the most prominent role. For general or special linear groups, it's hard for me to judge what approach is really "simplest".

$\endgroup$
2
  • 1
    $\begingroup$ I'd be surprised if it didn't go back to around the time of Artin's geometric algebra. I think I have a copy lying around somewhere... $\endgroup$
    – Marty
    Sep 10, 2012 at 21:57
  • $\begingroup$ @Marty: Note that Artin's book was only published in 1957 (though some work must have been done earlier) and had references to Dieudonne's monogaphs. As far as I can tell he doesn't deal directly with the question here, but does treat generation by transvections, etc. $\endgroup$ Mar 18, 2014 at 22:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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