Results 1 to 4 of 4

Math Help - groups

  1. #1
    Member
    Joined
    Jan 2011
    Posts
    83
    Thanks
    1

    groups

    A=S4XS3 then

    is 2-sylow subgroup is normal in it?

    is 3-sylow subgroup is normal in it?

    is a subgroup of order 72 is normal?

    i think all are possible.
    since order of A =144 =2^4X3^2
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,392
    Thanks
    759

    Re: groups

    the order of A is 24*6 = 144.

    a subgroup of order 72 must be normal. why? why is it that ANY subgroup of index 2 is ALWAYS normal? (think of how many cosets there are, and then compare left and right cosets).

    a sylow 3-subgroup is of order 9. sylow theory tells us that the number of sylow 3-subgroups must be 1,4,or 16. since sylow subgroups are all conjugate, the only way a sylow subgroup can be normal is if it is the only sylow subgroup (for that prime divisor).

    since <((1 2 3),e),(e,(1 2 3))> is one such subgroup, and <((2 3 4),e),(e,(1 2 3))> another, we can conclude that the sylow 3-subgroups are not normal.

    a sylow 2-subgroup is of order 16. again we have either 1,3 or 9 of them, and a sylow 2-subgroup will be normal only if there is only one. again <((1 2 3 4),e),(e,(1 2))> is one such subgroup, and <((1 2 3 4), e), (e,(2 3))> is another, so the sylow 2-subgroups are not normal.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Jan 2011
    Posts
    83
    Thanks
    1

    Re: groups

    Quote Originally Posted by Deveno View Post
    a sylow 3-subgroup is of order 9. sylow theory tells us that the number of sylow 3-subgroups must be 1,4,or 16. since sylow subgroups are all conjugate, the only way a sylow subgroup can be normal is if it is the only sylow subgroup (for that prime divisor).

    since <((1 2 3),e),(e,(1 2 3))> is one such subgroup, and <((2 3 4),e),(e,(1 2 3))> another, we can conclude that the sylow 3-subgroups are not normal.
    i could't understand this derivation.
    from this statement, i come to know that sylow 3-subgroup or sylow 2-subgroup should occur in single then only it is normal.

    after that i can't
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,392
    Thanks
    759

    Re: groups

    <a,b> means the subgroup generated by the set {a,b}, where a and b are elements of our the group G.

    in this case, G consists of pairs, the first element of the pair is from S4, and the second element of the pair is a member of S3.

    for example, <((1 2 3),e),(e,(1 2 3))> is the 9-element subgroup:

    {(e,e), (e,(1 2 3)), (e,(1 3 2)), ((1 2 3),e), ((1 2 3),(1 2 3)), ((1 2 3),(1 3 2)), ((1 3 2),e), ((1 3 2),(1 2 3)), ((1 3 2),(1 3 2))}

    (this is isomorphic to Z3 x Z3, being generated by a 3-cycle in S4 x {e}, and a 3-cycle in {e} x S3).

    it is easy to check that in S4, (2 3 4) is conjugate to (1 2 3):

    (2 3 4) = (1 2 3 4)(1 2 3)(1 2 3 4)-1:

    1→4→4→1
    2→1→2→3
    3→2→3→4
    4→3→1→2

    therefore, in G, we have ((1 2 3 4),e)((1 2 3),e)((1 2 3 4), e)-1 = ((2 3 4),e), which shows that <((1 2 3),e),(e,(1 2 3))> is not normal in G.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 8
    Last Post: March 30th 2012, 04:53 PM
  2. About minimal normal groups and subnormal groups
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: October 20th 2011, 01:53 PM
  3. Quotient Groups - Infinite Groups, finite orders
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: August 11th 2010, 07:07 AM
  4. free groups, finitely generated groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: May 23rd 2009, 03:31 AM
  5. Order of groups involving conjugates and abelian groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: February 5th 2009, 08:55 PM

Search Tags


/mathhelpforum @mathhelpforum