The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Prove Sylow-p Subgroups Abelian

Date: 05/15/2003 at 05:01:32
From: Noot
Subject: Modern algebra

Hi, Doctor Math. I have a puzzling question.

G is a finite simple group with exact 2p + 1 sylow-p subgroups. Prove 
that each of these sylow-p subgroups is Abelian.

Date: 05/16/2003 at 07:55:13
From: Doctor Jacques
Subject: Re: Modern algebra

Hi Noot,

The order of G is:

  |G| = p^k*(2p + 1)*m

where p does not divide m.

Any group of order p or p^2 (p prime) is Abelian, so we may assume 
that k >= 3.

Now, if we let G act by conjugation on the set of Sylow p-subgroups, 
we see that there is a homomorphism

  f : G -> S_(2p + 1)

As G is simple, this homomorphism is injective, and its image is a 
subgroup of order |G| in S_(2p + 1).

This should allow you to put some heavy restrictions on p, k, and m, 
and G itself.

Does this help?  Write back if you'd like to talk about this 
some more, or if you have any other questions.

- Doctor Jacques, The Math Forum 
Associated Topics:
College Modern Algebra

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.