wu :: forums
« wu :: forums - Given subgroup H maximal non-normal in some group? »

Welcome, Guest. Please Login or Register.
Nov 14th, 2024, 12:19am

RIDDLES SITE WRITE MATH! Home Home Help Help Search Search Members Members Login Login Register Register
   wu :: forums
   riddles
   putnam exam (pure math)
(Moderators: SMQ, Grimbal, Eigenray, william wu, towr, Icarus)
   Given subgroup H maximal non-normal in some group?
« Previous topic | Next topic »
Pages: 1  Reply Reply Notify of replies Notify of replies Send Topic Send Topic Print Print
   Author  Topic: Given subgroup H maximal non-normal in some group?  (Read 763 times)
ecoist
Senior Riddler
****





   


Gender: male
Posts: 405
Given subgroup H maximal non-normal in some group?  
« on: Apr 12th, 2007, 10:58am »
Quote Quote Modify Modify

Let H be a finite group of order greater than 1.  Show that there exists a finite group G in which H ia a maximal, non-normal subgroup of G.
IP Logged
Eigenray
wu::riddles Moderator
Uberpuzzler
*****






   


Gender: male
Posts: 1948
Re: Given subgroup H maximal non-normal in some gr  
« Reply #1 on: Apr 12th, 2007, 4:29pm »
Quote Quote Modify Modify

Let N be a maximal normal subgroup of H (possibly trivial).  Then S = H/N is simple.
 
(1) If S is abelian, say S = Zp for some prime p.  Pick a prime q =1 mod p, and let G = Zq H, using
 
H -> S -> Aut(Zq),
 
where the first map is projection, and the second takes S to the unique subgroup of Aut(Zq) = Zq* of order p.  Then the composition is non-trival, so H is non-normal, and since it has prime index, it's maximal.
 
(2) If S is non-abelian, then let G = S H, where H acts on S=H/N by conjugation, i.e., using
 
:  H -> S -> Inn(S) -> Aut(S).
 
Since S is non-abelian, this composition is non-trivial, so H is non-normal.  Suppose H K G.
 
Since K contains H, we have K = T x H as sets, for some subset T of S.  But then T is actually a subgroup of S, and in fact normal: K is normalized by H, so T is invariant under (H) = Inn(S).  Since S is simple, we must have T=1 or S, i.e., K=H or G, and so H is maximal.
IP Logged
Pages: 1  Reply Reply Notify of replies Notify of replies Send Topic Send Topic Print Print

« Previous topic | Next topic »

Powered by YaBB 1 Gold - SP 1.4!
Forum software copyright © 2000-2004 Yet another Bulletin Board