1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Abstract Algebra: Groups of order 21

  1. Apr 5, 2005 #1
    I was given a problem to prove there are at most 3 groups of order 21, with extra credit for proving there are at most 2. I am pretty stuck on this one but here is what I have so far:

    Suppose G is a group of order 21
    Let K be a sylow 3-subgroup of G and let H be a sylow 7-subgroup of G.

    By Sylow's third theorem, H is a normal subgroup because it can only be expressed one way such that x (mod p) = 1 where x divides the order of G (x = 1 only). By Sylow's Third Theorem, G has either 1 or 7 sylow 3-subgroups.

    2 cases now-

    For K being a unique sylow 3-subgroup (G has only 1 3-subgroup), H and K are both normal in G. Being prime ordered, they are also both cylic, so let H = <x> and K <y>, then
    [tex]xyx^{-1}y^{-1} = (xyx^{-1})y^{-1} \in Ky^{-1} = K[/tex] but also
    [tex]xyx^{-1}y^{-1} = x(yx^{-1}y^{-1} \in xH = H[/tex] so
    [tex]xyx^{-1}y^{-1} \in K \cap H = \{e\}[/tex]
    which essentially means for [tex]xy = yx \in HK[/tex]

    The last conclusion coming from the fact that H and K are relatively prime so no elements besides the identity overlap. That being established, HK is an abelian group

    -I have 2 problems now. First of all, I don't know how to tie HK back to G, and second of all I'm not sure how to proceed if K is not a normal subgroup (ie 7 subgroups of order 3 exist). Any advice would be much appreciated!

    Edit: I proved that G cannot have 7 subgroups of order 3, but the first question still remains. Thanks!
     
    Last edited by a moderator: Apr 5, 2005
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted



Loading...
Similar Threads for Abstract Algebra Groups Date
Abstract Algebra Proof needed Oct 3, 2005
Abstract algebra proof: composition of mappings Sep 29, 2005
Abstract Algebra Mar 22, 2005