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.

some more, or if you have any other questions.

- Doctor Jacques, The Math Forum
http://mathforum.org/dr.math/
```
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
Math Forum Home || Math Library || Quick Reference || Math Forum Search