S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Sat, 18 May 2013 14:23:35 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 8 posts ] 
Author Message
 Post subject: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 19:44:48 UTC 
Offline
Member

Joined: Thu, 28 Jun 2012 01:54:37 UTC
Posts: 19
Let G be a finite group. Let H and K be normal p-subgroups of G for some prime p with H being a proper subgroup of K and H/K is elementary abelian p-group. Let S be a normal subgroup of K with H<S. If H contain every element of order p of S andK=<S^{g},g \in G>, then H contain every element of order p of K.

I need to prove the above statement. Thanks in advance.


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 20:34:14 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12071
Location: Austin, TX
I'm a bit confused. Index is multiplicative, but if H has index p in K how can H < S and not H=S? Or perhaps you mean something besides the cyclic group of order p for "elementary abelian p-group". If so, please clarify.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 20:42:02 UTC 
Offline
Member

Joined: Thu, 28 Jun 2012 01:54:37 UTC
Posts: 19
You are right and to correct that I am adding that K/H is not of prime order.


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 20:46:00 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12071
Location: Austin, TX
moont14263 wrote:
You are right and to correct that I am adding that K/H is not of prime order.


Ah, never mind, I had forgotten my terminology, elementary just means "cyclic", not necessarily "of prime order". I think I understand what you're asking now.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 21:00:02 UTC 
Offline
Member

Joined: Thu, 28 Jun 2012 01:54:37 UTC
Posts: 19
No elementary does not mean cyclic.
N is elementary abelian p-group if N is abelian and x^{p}=1 for all x in N.


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 21:03:27 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12071
Location: Austin, TX
moont14263 wrote:
No elementary does not mean cyclic.
N is elementary abelian p-group if N is abelian and x^{p}=1 for all x in N.


Oh I see. So "elementary abelian p-group" means a finite abelian group of exponent p.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Fri, 17 Aug 2012 21:12:10 UTC 
Offline
Member

Joined: Thu, 28 Jun 2012 01:54:37 UTC
Posts: 19
I want to add that G is solvable and K/H is a chief factor of G.


Top
 Profile  
 
 Post subject: Re: normal p-subgroups of a finite group
PostPosted: Sat, 18 Aug 2012 20:01:51 UTC 
Offline
Member

Joined: Thu, 28 Jun 2012 01:54:37 UTC
Posts: 19
I got my question from the shaded area in this image http://tinypic.com/view.php?pic=vpajic&s=6


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 8 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA