Re: Group of order 720
 From: "Derek Holt" <mareg@xxxxxxxxxxxxx>
 Date: 30 Dec 2006 04:27:21 0800
rsvirk@xxxxxxxxx wrote:
Does anyone know of a reference for the proof that there is no simple
group of order 720? Or can anyone provide a sketch of a proof? I am
down to the cases:
n_2 = 9, 15 or 45
n_3 = 10 or 40
n_5 = 36
where n_p denotes the number of psylow subgroups.
I wrote a sketch proof of this some time ago. Let me know if you need
any clarifications. There may be parts of the argument that can be
simplified, but all of the proofs that I have ever seen have proceeded
by showing that G would have to be equal to the Mathieu group M_10,
which is not simple, but of the form A_6.2.
Derek Holt.
Let G be simple of order 720 = 16 x 9 x 5.
By Sylow, Syl_3(G) = 1, 4, 16, 10 or 40.
Clearly not 1 or 4.
By Sylow, all groups of order 45 are abelian, so Syl_3(G) cannot be
16 by BTT (Burnside's Transfer Theorem).
We need to eliminate Syl_3(G) = 40.
If Syl_3(G) = 40, P in Syl_3(G) has an orbit of length 3 on Syl_3(G),
so there is a subgroup Q of order 3 (the pointwise stabilizer of this
orbit in P) such that N := N_G(Q) has more than 1 Sylow 3subgroup.
So it has at least 4, and we get N = 36 or 72.
If N = 36 then N/Q has order 12 and has 4 Sylow 3subgroups, so
N/Q = A_4, and since A_4 cannot act nontrivially on Q, Q is central
in N. Hence N has a normal subgroup T of order 4, and N_G(T) is
divisible by 8, so strictly contains N. Then the only possibility is
N_G(T) = 72, but then Q = O_3(N) is characteristic in N and hence
normal in N_G(T), contradiction, since N = N_G(Q).
So N = 72. Since Aut(Q) = 2, C(Q) has order at least 36, and a
subgroup R of order 12 in C(Q) must be abelian.
Consider the action of G on the 10 cosets of N. Let Q = <t>.
If t is a single 3cycle, then by considering conjugates of t,
we easily get a contradiction.
If t is 2 3cycles, then an element u of order 2 in R must interchange
those cycles forming a 6cycle tu. Since the 6cycle is
selfcentralizing
in S_6, an element in R outside of <tu> must fix all 6 points of the
6cycle, so it must be a single transposition, which is impossible.
If t is 3 3cycles, then an element of order 2 in R must interchange
2 of the 3cycles and fix the other pointwise, so consists of 3
2cycles,
and is an odd permutation, which is impossible in a simple group.
So Syl_3(G) = 10. Let P in Syl_3(G), N = N_G(P), so N = 72 and
G acts transitively by conjugation on Syl_3(G), which we denote by
{1,2,...,10} with P = 1, and N = G_1 the stabilizer of 1 in G.
If P is cyclic then it must act as a 9cycle on {2,..,10}. Since
Aut(P) = 6, there is an element of order 2 in N which centralizes P,
and there is no way for such an element to act on {2,...,10}.
So P is elementary abelian. If a subgroup Q of P of order 3 fixes more
than one point, then N_G(Q) has more than 1 Sylow 3subgroup, giving
a contradiction as before. So P acts fixedpointfreely on {2,..,10}.
In fact we can assume that P = < a,b > with
a = (2,3,4)(5,6,7)(8,9,10),
b = (2,5,8)(3,6,9)(4,7,10).
The stabilizer S = N_2 of 2 in N has order 8 and is a Sylow 2subgroup
of N. Now S is contained in X_2, where X is the normalizer of N in the
symmetric group on {2,..,10}, and X can be identified with Aut(P) =
GL(2,3).
Note that the element (5,8)(6,9)(7,10) of X_2 is an odd permutation and
corresponds to an element of determinant 1 in GL(2,3).
Since SL(2,3) is the unique subgro p of index 2 in GL(2,3), it follows
that
the elements of SL(2,3) correspond to the even permutations in X_2.
So S corresponds to a Sylow 2subgroup of SL(2,3), which is isomorphic
to Q_8. Since all such Sylow 2subgroups are conjugate, we may assume
that S = < c,d > with
c = (3,5,4,8)(6,7,10,9),
d = (3,6,4,10)(5,9,8,7).
Note that G is 3transitive, with no elements fixing more than 2
points.
Now N_G(S) must have order 16 and contain an element e outside of S
containing the cycle (1,2). e must also normalize a subgroup of order
4 in S, which we will take to be <c>. (The argument in the other two
cases, <d> and <cd> is similar.)
By multiplying e by an element of S, we may assume that e fixes the
point 3. Since e fixes at most 2 points, it must invert <c>, and hence
contains the cycle (5,8).
So there are just two possibilities, for e:
(1,2)(5,8)(6,7)(9,10) and (1,2)(5,8)(6,9)(7,10).
For the second of these, b*e fixes 3 points, which is impossible, so
e = (1,2)(5,8)(6,7)(9,10), and we hve
G = < a,b,c,d,e >.
In fact, this is a group of order 720, but it is the group M_10, which
is not simple. The subgroup < a,b,c,e > has order 360.
A proof of the uniqueness of the simple group of order 360 follows
similar lines to this one, and ends up proving that G = < a,b,c,e >.
.
 FollowUps:
 Re: Group of order 720
 From: Kira Yamato
 Re: Group of order 720
 From: Kira Yamato
 Re: Group of order 720
 From: rsvirk
 Re: Group of order 720
 References:
 Group of order 720
 From: rsvirk
 Group of order 720
 Prev by Date: Re: Internet Security Warning!
 Next by Date: Re: Gray Codes & Hamiltonian Circuits
 Previous by thread: Group of order 720
 Next by thread: Re: Group of order 720
 Index(es):
Relevant Pages
