Scribd
Upload
97 views

Sylow Notes

This document discusses Sylow subgroups and the general linear group GLn(Fq). It begins by stating the First Sylow Theorem and noting that GLn(Fq) has a Sylow p-subgroup of order q^(n(n-1)/2) when q = pr. It then describes the subgroup of upper triangular matrices M_Tn(Fq) as an example of a Sylow p-subgroup. The document then discusses how changing bases corresponds to isomorphisms of GLn(Fq). It states the Second Sylow Theorem that all Sylow p-subgroups are conjugate. Finally, it provides an addendum discussing how to count the number of Sylow p-subgroups

Uploaded by

Gregory Duran
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
97 views

Sylow Notes

This document discusses Sylow subgroups and the general linear group GLn(Fq). It begins by stating the First Sylow Theorem and noting that GLn(Fq) has a Sylow p-subgroup of order q^(n(n-1)/2) when q = pr. It then describes the subgroup of upper triangular matrices M_Tn(Fq) as an example of a Sylow p-subgroup. The document then discusses how changing bases corresponds to isomorphisms of GLn(Fq). It states the Second Sylow Theorem that all Sylow p-subgroups are conjugate. Finally, it provides an addendum discussing how to count the number of Sylow p-subgroups

Uploaded by

Gregory Duran
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

18.

704 Gabe Cunningham


3/9/05 [email protected]

Sylow Theorems and The General Linear Group


Theorem 1 (First Sylow Theorem) Let G be a group of order n with p|n. Write n =
pa m where p does not divide m. Then G has a subgroup S of order pa , called a Sylow
p-subgroup of G.
Q Q
Recall from our last discussion that |GLn (Fq )| = nk=01 (q n q k ) = q n(n 1)/2 nk=1 (q k 1).
If q = pr , the First Sylow Theorem tells us that GLn (Fq ) has a Sylow p-subgroup of order
q n(n 1)/2 . Now Ill describe one such group.

Proposition 1 Let q = pr ; let M Tn (Fq ) be the group of upper triangular matrices with 1s
along the diagonal. Then M Tn (Fq ) is a Sylow p-subgroup of GLn (Fq ).

Proof: Its clear that M Tn (Fq ) is a subgroup of GLn (Fq ), so it suffices to show that M Tn (Fq )
has order q n(n 1)/2 . This follows simply; each of the n(n 1)/2 entries strictly above the
diagonal can be any element of Fq , for a total of q n(n 1)/2 elements.

Now for a bit of a diversion. Let V be an n-dimensional vector space over Fq . We


define GL(V ) to be the group of invertible linear transformations from V to itself. There
is a natural isomorphism between GL(V ) and GLn (Fq ); fix a basis for V and consider the
matrices of the linear transformations in GL(V ) with respect to that basis. By picking two
dierent bases, B1 and B2 , we can compose the isomorphisms obtained from each choice of
basis to get an isomorphism from GLn (Fq ) to itself as follows:

GLn (Fq ) / GLn (Fq )


LLL 9
LLL rrrrr
LLL rr
1 L% rrr 2
GL(V )
Lets consider an example. Let A = ( 10 21 ) 2 GL2 (F5 ). Let V be a two-dimensional vector
space over F5 ; let e1 = (1, 0) and e2 = (0, 1). Then by considering A as the matrix of some
linear transformation T with respect to the standard basis of V (i.e., the basis (e1 , e2 )), we
can map A to T by requiring that T (e1 ) = e1 and T (e2 ) = 2e1 + e2 ; this fully determines
T 2 GL(V ). Now we fix a new basis, say, (e1 + e2 , e1 e2 ). Since T (e1 + e2 ) = 3e1 + e2 =
2(e1 + e2 ) + (e1 e2 ) and T (e1 e2 ) = e1 + e2 = (e1 e2 ), the matrix of T with respect
to this new basis is ( 21 01 ). So in our isomorphism , the matrix ( 10 21 ) is mapped to ( 31 11 ).
Now, lets consider the subgroup H = (M Tn (Fq )) of GLn (Fq ). H is, of course, also a
Sylow p-subgroup of GLn (Fq ). By considering several changes of basis, we can find several
subgroups H1 , H2 , etc., all isomorphic to M Tn (Fq ). Two natural questions arise. The first
is whether all Sylow p-subgroups are isomorphic by a change-of-basis isomorphism. The
second is whether theres an easier way to describe the relationship between these Sylow
p-subgroups. Thankfully, the answer to both questions is yes.
18.704 Gabe Cunningham
3/9/05 [email protected]
Proposition 2 Let T be a linear transformation from V to itself, and let A be the matrix
of T with respect to a particular basis B. Then the matrices A0 that represent T with respect
to dierent bases are of the form
A0 = P AP 1
for P 2 GLn (Fq ).

Im not going to prove this proposition, but you can find a proof in Artins Algebra on
pages 115 and 116, or in many other places, Im sure. This proposition tells us that A and
(A) are conjugate (or in the language of linear algebra, similar ), for any change-of-basis
isomorphism . Thus, the Sylow p-subgroups M Tn (Fq ) and (M Tn (Fq )) are conjugate as
well. As it turns out, all of the Sylow p-subgroups of a group G are conjugate; this is Sylows
second theorem.

Theorem 2 (Second Sylow Theorem) The Sylow p-subgroups of a group G are conju-
gate.

Finally, let us turn to the third Sylow theorem.

Theorem 3 (Third Sylow Theorem) Let s be the number of Sylow p-subgroups of G; let
|G| = pa m where p does not divide m. Then s divides m and s is congruent to 1 (mod p).

Weve seen already that we get one Sylow p-subgroup of GLn (Fq ) by taking the group of
upper triangular matrices with 1s along the diagonal. In similar fashion, the group of lower
triangular matrices with 1s along the diagonal is a Sylow p-subgroup. Since for n 2 these
two groups arent the same (and when n = 1, p doesnt divide the order of GLn (Fq )), the
number of Sylow p-subgroups of GLn (Fq ) is greater than 1, so it is at least p + 1. We notice
that p + 1 divides q 2 1, so it is an allowable number of Sylow p-subgroups. Unfortunately,
even for small q and n, GLn (Fq ) is large and there are a lot of choices of s that fulfill the
requirements of the third Sylow theorem. In principle, it shouldnt be difficult to find s; we
know one easily described Sylow p-subgroup, and we just need to conjugate it to find all
the others. This is tedious, but I dont know of a better way to count the Sylow p-subgroups.

Addendum: We discussed in class how to count the number of Sylow p-subgroups of


GLn (Fq ). Let X be the set of Sylow p-subgroups. The second Sylow theorem tells us that
if we let GLn (Fq ) act on X by conjugation, the action is transitive. Let H = M Tn (Fq ); let
N be the normalizer of H (that is, the set of g 2 GLn (Fq ) such that gHg 1 = H). Then, by
the counting formula,
|GLn (Fq )| = |N | |X|
So if we can find the normalizer of H and count the elements of it, we can find the number
of Sylow p-subgroups, s. (Note that this argument holds for any finite group G; indeed,
it is the basis on which the third Sylow theorem is proved.) Without getting into details,
18.704 Gabe Cunningham
3/9/05 [email protected]
it turns out that the normalizer of H is the group of upper triangular matrices, which has
(q 1)n q n(n 1)/2 elements. Therefore,
Q
q n(n 1)/2 nk=1 (q k 1)
s=
q n(n 1)/2 (q 1)n
Yn
1
= (q k 1)
(q 1)n k=1
n
Y qk 1
=
k=1
q 1
Yn
= (q k 1
+ qk 1
+ + 1)
k=1
= [n!]q

You might also like