Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2009-05-16 10:56:02

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Simple groups (2)

This is a spin-off from a thread in this section, in which it was proved that all finite groups of order ≤ 120 are not simple, except the trivial group, the prime-ordered groups and a certain group of order 60. smile

We shall now continue to attempt to prove or otherwise discover how many more groups are not simple. wink



Not simple. Such a group, being of order
, is Abelian and has a subgroup of order
.


Not simple. The Sylow 61-subgroup has index 2 and is therefore normal.


Not simple. The Sylow 41-subgroup is unique and therefore normal.


Not simple. The Sylow 31-subgroup is unique and therefore normal.


Not simple. These are 5-groups and so have nontrivial centres.


Not simple. The Sylow 7-subgroup is unique and therefore normal.


Simple. Order is prime.


Not simple. These are 2-groups and so have nontrivial centres.


Not simple. The Sylow 43-subgrouop is unique and therefore normal.


Not simple. The Sylow 13-subgrouop is unique and therefore normal.


Simple. Order is prime.


Not simple. See post #4.


Not simple.  Group of order pq, pq. See post #6.


Not simple.  Group of order pq, pq. See post #6.


Not simple.  The Sylow 5-subgrouop is unique and therefore normal.


Not simple.  The Sylow 17-subgroup is unique and therefore normal.


Simple. Order is prime.


Not simple. Sylow 23-subgroup is unique and therefore normal.


Simple. Order is prime.


Not simple. Sylow 7-subgroup is unique and therefore normal.


Not simple.  Group of order pq, pq. See post #6.


Not simple.  Group of order pq, pq. See post #6.


Not simple.  Group of order pq, pq. See post #6.

Last edited by JaneFairfax (2009-05-24 23:58:42)

Offline

#2 2009-05-16 13:45:09

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Simple groups (2)

I would suggest to try to come up with arguments that handle a large number of orders, rather than go one by one.  For example, any group of order pq will not be simple.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#3 2009-05-17 00:54:29

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Simple groups (2)

Yes, I’m already familiar with a lot of results that apply to various classes of orders – thanks mainly to you and Humphreys. up Most orders I encounter when going through the orders one by one usually fit one of these familiar results, so I simply quote the relevant result and say, “That’s that order done.” smile

The reason for going through the orders one by one is that I would like to discover the least integer n such that proving that a group of order n is not simple really gets me stumped. tongue

Of course, knowing beforehand that a group of a given order cannot be simple can help a lot, otherwise I might be wasting my time trying to prove the impossible. For instance, I might absent-mindedly start trying to prove that group of order 360 is not simple, which would get me absolutely nowhere since 360 is the order of A[sub]6[/sub].
­

Offline

#4 2009-05-18 00:48:27

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Simple groups (2)

Let

. There are 1 or 12 Sylow 11-subgroups. If 12, then the union of these subgroups has
elements and so there can’t be 22 Sylow 3-subgroups in this case. So there are 1 or 4 Sylow 3-subgroups. If 4, then the union of all the Sylow 3- and 11-subgroups has
elements. The remaining 3 elements must therefore be the nonidentity elements in the unique Sylow 2-subgroup.

Hence a group of order 132 is not simple. smile

Offline

#5 2009-05-18 09:28:21

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Simple groups (2)

Jane, let's just continually modify your opening post, keep them all in one place.  If we have a general argument that works for multiple orders, or if an argument for a certain order is long, make a post below it and then just reference that post number.  Also, please write the prime factorization for each order in the list!

I will be cleaning up this thread periodically, removing posts which don't contain material used in the proofs.  Let me know if you object to this.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#6 2009-05-18 09:38:34

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Simple groups (2)

The number of Sylow p groups must divide q and be congruent to 1 (mod p).  The only such number is 1, and thus the Sylow p-subgroup is normal.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#7 2009-05-18 20:55:50

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Simple groups (2)

Ricky wrote:

Jane, let's just continually modify your opening post, keep them all in one place.  If we have a general argument that works for multiple orders, or if an argument for a certain order is long, make a post below it and then just reference that post number.  Also, please write the prime factorization for each order in the list!

I will be cleaning up this thread periodically, removing posts which don't contain material used in the proofs.  Let me know if you object to this.

That’s fine with me. up

Offline

#8 2009-05-25 00:05:14

JaneFairfax
Member
Registered: 2007-02-23
Posts: 6,868

Re: Simple groups (2)

I’d just like to point out that there is a simple group of order 168, namely the projective special linear group of degree 2 over a field with 7 elements. smile

This is a note to myself (if not Ricky) so that when we reach 168, I won’t try and bang my head against a brick wall by trying to prove any group of order 168 not simple. tongue

Offline

#9 2009-05-25 08:57:54

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: Simple groups (2)


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

Board footer

Powered by FluxBB