Results 1 to 6 of 6

Math Help - abelian normal group

  1. #1
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    abelian normal group

    Let G be a group of order 3825. Prove that if H is a normal subgroup of order 17 in G then H \leq Z(G), where Z(G) represents the center of G.
    (Please do not use sylow's or cauchy's theorems.)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Quote Originally Posted by abhishekkgp View Post
    Let G be a group of order 3825. Prove that if H is a normal subgroup of order 17 in G then H \leq Z(G), where Z(G) represents the center of G.
    (Please do not use sylow's or cauchy's theorems.)


    If you don't want Sylow and Cauchy theorems, then I suppose you want even less semidirect

    products and stuff, thus the question is: what do you want? What stuff is allowed or wanted by you?

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member roninpro's Avatar
    Joined
    Nov 2009
    Posts
    485
    Is there a nice way to do this if the Sylow theorems are allowed? I can't see anything short of a group classification argument.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by roninpro View Post
    Is there a nice way to do this if the Sylow theorems are allowed? I can't see anything short of a group classification argument.
    Indeed, I feel as though the simplest way to do this is to note that it is of the form p^2q with p,q prime and q\notequiv 1\text{ mod }p and thus abelian...that said the only ways I know how to prove this are Sylow's theorems or rep. theory.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member roninpro's Avatar
    Joined
    Nov 2009
    Posts
    485
    Just noting the arithmetic: 3825=3^2\cdot 5^2\cdot 17.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    May 2010
    Posts
    95
    Quote Originally Posted by abhishekkgp View Post
    Let G be a group of order 3825. Prove that if H is a normal subgroup of order 17 in G then H \leq Z(G), where Z(G) represents the center of G.
    (Please do not use sylow's or cauchy's theorems.)
    (*) If H is a subgroup of G, then the factor group N_G(H)/C_G(H) is isomorphic to a subgroup of Aut H (Hungerford, "Algebra", p92).

    By assumption, N_G(H)=G. Since H is a group of order 17, H is isomorphic to the cyclic group of order 17, i.e., C_{17}. Thus, |Aut(H)|=16.

    Now, |G/C_G(H)| divides both 16 and 3825 by Lagrange's theorem and (*), it follows that |G/C_G(H)|=1. Can you conclude from here?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: March 18th 2010, 02:15 AM
  2. Is the subgroup of an abelian group always abelian?
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: December 6th 2009, 11:38 PM
  3. Abelian Group 2.12
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 1st 2009, 12:01 AM
  4. Abelian Group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 29th 2009, 05:38 AM
  5. Non- Abelian Group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: August 25th 2008, 02:00 PM

/mathhelpforum @mathhelpforum