1. Not finding help here? Sign up for a free 30min 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!

Groups question

  1. May 2, 2010 #1
    1. The problem statement, all variables and given/known data
    I got that|G|=40 and |Z(G)| contains an element of order 2. From Lagrange i know that the order of Z(G) must divide |G| and be a multiple of 2. I am able to do all the cases by the G/Z theorem accept for 1 case. This is the case where |Z(G)|=2. Then I get |G/Z(G)| =20, and I cant use one of the nice theorems like the 2p theorem or the p^2 theorem to get the isomorphism type. Does anyone have any ideas on what I should do?


    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. May 2, 2010 #2
    Sorry to be slow. What do you want to do?
     
  4. May 2, 2010 #3
    I got that|G|=40 and |Z(G)| contains an element of order 2. The case I am having trouble us when |Z(G)|=2. Then I get |G/Z(G)| =20, and I cant use one of the nice theorems like the 2p theorem or the p^2 theorem to get the isomorphism type. i am trying to find the isomorphism type in this situation, I think it is D10 but i am not sure
     
  5. May 2, 2010 #4
    So am I right in thinking you were trying to find all possible homomorphic images of G/Z(G) given |G|=40 and Z(G) contains an element of order 2, and now you just need to find all homomorphic images given |G|=40 and |Z(G)|=2? (I'm not familiar with the term isomorphism type, but since you say it may be D10, I am guessing youre talking about G/Z(G) "up to isomorphism".)
     
  6. May 2, 2010 #5
    And have you done anything about Sylow's theorems yet?
     
  7. May 2, 2010 #6
    Still not sure if we're looking at possible structures for G or G/Z (I think it's one or other), but I have to go to bed now. No doubt some kind soul will take over, otherwise I'll have a look tomorrow.
     
  8. May 2, 2010 #7
    Were looking at possible structures for G/Z. The proble is that 20 factors to 2*2*5 but we don't know if are order 20 group G/Z is D10, or a Z10+Z2 ect
     
  9. May 3, 2010 #8
    Exactly.

    So the first thing, I think, would be to determine all possible groups of order 20. After that you will need to check for each of them whether they are G/Z for some possible G of order 40 with |Z(G)|=2. (Obviously for a candidate G20 with 20 elements, the group Z2xG20 will have G20 as a homomorphic image, but it could also have a centre larger than 2.)

    Can you show first that G/Z has a normal subgroup of order 5 and a subgroup of order 4? (If you also explain your reasoning here I can guess better what you may have covered so far in your course, hence what we might reasonably use in the analysis.)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Groups question
  1. Group question (Replies: 6)

  2. Group Question (Replies: 2)

  3. Groups Question (Replies: 1)

  4. Group question (Replies: 0)

  5. Group Question (Replies: 2)

Loading...