Can we embedd $GL(2n,q)$ into $GL(n,q^2)$ for $n\in \mathbb{N}$ and $q=p^m$, $p$ a prime? If yes, how?
Embedding of general linear groups
-
2did you not just completely change the question? Please do not do that. – 2011-03-30
1 Answers
As others have mentioned, this is clearly not true in special cases: GL(2,2) ≅ Sym(3) clearly does not embed in GL(1,4) ≅ Alt(3), and indeed the embedding should go the other way (in general even, not just for n=1, q=2).
If q is a prime power, and n is a positive integer, then GL(2n,q) never embeds in GL(n,qq). One way to see this is the size of the Sylow p-subgroup. GL(k,pi) has a Sylow p-subgroup of order p(ik(k−1)/2). So in our cases, we have GL(2n,q) has a Sylow p-subgroup of order qn(2n−1) and GL(n,qq) has a Sylow p-subgroup of order qn(n−1)/2. Since n(n−1)/2 < n(2n−1) whenever n ≥ 1, we never have an embedding.
In fact, a little more is true: homomorphisms from GL(n,q) into GL(k,qj) are actually conjugate to homomorphisms from GL(n,q) into GL(k,q). You don't need to make the field bigger in order to map a GL(n) into a GL(k), at least not for finite fields.
Of course there are inclusions of GL(n,qq) into GL(2n,q), since an n-dimensional vector space over GF(qq) is also a 2n-dimensional vector space over GF(q). You can even have inclusions of GL(n,q) into GL(k,q) for k ≥ n that are not conjugate to the obvious embedding. In all cases though, the dimension cannot go down, and there is no sense making the field bigger, only occasionally making it smaller.