Results 1 to 2 of 2

Math Help - normal subgroup question

  1. #1
    nhk
    nhk is offline
    Junior Member
    Joined
    Apr 2010
    Posts
    43

    normal subgroup question

    Let H and K be normal Subgroups of a group G s.t H intersect K = {e}. SHow that G is isomorphict to a subgroup of G/H + G/K.
    Proof/
    Lets define are mapping f:G to G/H+G/K by f(g)=(gH,GK). Need to show that this is a homomorphism. Obviously f is a well defined function. Operation Preserving- Let x,y be elements of G. Then f(xy)= (xyH,xyK)= (xHyH,xKyK)= (xH,XK),(yH,yK)=f(x)f(y) ( I need help justifying my step on this)
    Thus f is a homomorphism. Since kerf ={g element of G| (gH,gK)=(H,K)}. thus f is injective (one to one).
    So By 1st isomorphism theroem, G/Ker f is isomorphic to f(G). Since f(G) is a subgroup of G/H+G/K (since f is one to one), then G is isomorphic to a subgroup of G/H + G/K.
    Does this seem right?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Quote Originally Posted by nhk View Post
    Let H and K be normal Subgroups of a group G s.t H intersect K = {e}. SHow that G is isomorphict to a subgroup of G/H + G/K.
    Proof/
    Lets define are mapping f:G to G/H+G/K by f(g)=(gH,GK). Need to show that this is a homomorphism. Obviously f is a well defined function. Operation Preserving- Let x,y be elements of G. Then f(xy)= (xyH,xyK)= (xHyH,xKyK)= (xH,XK),(yH,yK)=f(x)f(y) ( I need help justifying my step on this)
    Thus f is a homomorphism. Since kerf ={g element of G| (gH,gK)=(H,K)}. thus f is injective (one to one).
    So By 1st isomorphism theroem, G/Ker f is isomorphic to f(G). Since f(G) is a subgroup of G/H+G/K (since f is one to one), then G is isomorphic to a subgroup of G/H + G/K.
    Does this seem right?

    1) (xHyH,\,xKyK)=(xH,\,xK)(yH,\,yK) because this is the definition of product in a direct product

    2) You wrote "...thus f is injective". How "thus"?? For this you must prove that \ker f=\{1\} , which of course follows at once from the given data, but you haven't yet pointed this out.

    The rest seems to be fine.

    Tonio
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: March 2nd 2011, 08:07 PM
  2. normal subgroup question
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: April 15th 2010, 07:09 PM
  3. characterisitic subgroup implies normal subgroup
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 8th 2010, 03:13 PM
  4. Normal subgroup question
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: December 14th 2009, 01:58 PM
  5. Group Theory - Question on normal subgroup
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: November 10th 2009, 11:44 PM

Search Tags


/mathhelpforum @mathhelpforum