Results 1 to 3 of 3

Math Help - homomorphism, projection map, kernels, and images

  1. #1
    Newbie
    Joined
    Nov 2009
    Posts
    6

    homomorphism, projection map, kernels, and images

    Having trouble on a couple of problems...know the definitions, not very good at applying them. i can show that j_1 and j_2 are homomorphisms. im just lost on the relationship between homomorphism, kernels, and images and I think the notation is really throwing me off. also, since I'm not real sure of the notation, I can't tell if there's a typo in the first definition.

    any help or guidance would be much appreciated.

    thanks for looking!

    Let G and H be groups with i the identity in G and i' the identity in H. Define the functions as:

    j_1: G \rightarrow G x H such that \pi_1: g \mapsto(g, i')

    j_2: H \rightarrow G x H such that \pi_2: h \mapsto( i, h)

    Show that the functions j_1 and j_2 are homomorphism.

    What are the kernels of j_1 and j_2?

    What are the images of j_1 and j_2?

    Based on the Fundamental Homomorphism Thm, what can you tell of subgroups H x K


    Let G and H be groups. Define the projection map:

    \pi_1: G x H \rightarrow G such that \pi_1: (g, h) \mapsto g

    \pi_2: G x H \rightarrow H such that \pi_2: (g, h) \mapsto k

    Show that the projection maps are surjective homomorphisms

    What are the kernels of the \pi_1 and \pi_2?

    What more can be said about the subgroups mentioned above (H x K)?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member Shanks's Avatar
    Joined
    Nov 2009
    From
    BeiJing
    Posts
    374
    You are just be confused by the notation, dont care about the notation!
    try to understand the map, what it really is. what is the variable? and what is fixed element?
    You can take G=H=R(real number group with respect to addition) as a example to help you get the idea of the definition and maps.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2009
    Posts
    6
    Shanks: Thank you for your input.

    I finally cleared up what was with the two different arrows...one with the bar and one without. Now, I am, again, stuck on the proof. Here's what I got so far:

    Ok.

    I showed that the functions and are homomorphism by using the fact that the identity in G and ' the identity in H.

    The kernel of is { } and the kernel of is {' }.

    The image of is ( h,' ) and the image of is ( ,k).

    Based on the Fund. Homomo. Thm, we can tell that G and H are subgroups of G x H.

    For the projection maps:

    The kernel of is image of which is ( h,' ), and the kernel of is the image of which is ( ,k).

    We can now say that H and K are normal subgroups.

    I'm getting hung up on proving the surjective homomorphism part. How do you prove something is onto? I know for a homomorphism you show that:
    \phi\,\!(ab) = \phi\,\!(a) \phi\,\!(b)

    Any more help would be much appreciated.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Iterated Kernels and Images
    Posted in the Advanced Algebra Forum
    Replies: 9
    Last Post: February 24th 2011, 06:29 AM
  2. Image and Inverse Images for Projection Functions
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: April 20th 2010, 10:56 PM
  3. Replies: 1
    Last Post: December 2nd 2009, 11:14 PM
  4. Kernels and homomorphism of groups
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: April 20th 2009, 10:29 PM
  5. Homomorphism and Kernels
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 23rd 2008, 08:10 PM

Search Tags


/mathhelpforum @mathhelpforum