Results 1 to 10 of 10

Math Help - derived subgroup

  1. #1
    Member
    Joined
    May 2008
    Posts
    75

    derived subgroup

    Hello! Given a surjective group homomorphism \phi: A \rightarrow B. Why is the restriction to the commutator subgroup \phi': [A,A] \rightarrow [B,B] also surjective?

    Greetings
    Banach
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Banach View Post
    Hello! Given a surjective group homomorphism \phi: A \rightarrow B. Why is the restriction to the commutator subgroup \phi': [A,A] \rightarrow [B,B] also surjective?

    Greetings
    Banach
    you only need to show that the generators of [B,B], the commutators, have preimage in [A,A]. so let b=b_1b_2b_1^{-1}b_2^{-1}, where b_1,b_2 \in B. since \phi is surjective, b_1=\phi(a_1), \ b_2=\phi(a_2), for some

    a_1,a_2 \in A. let a=a_1a_2a_1^{-1}a_2^{-1} \in[A,A]. then it's clear that \phi(a)=b.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by Banach View Post
    Hello! Given a surjective group homomorphism \phi: A \rightarrow B. Why is the restriction to the commutator subgroup \phi': [A,A] \rightarrow [B,B] also surjective?

    Greetings
    Banach
    Quite simply, because it's a homomorphism.

    Let [g,h] \in [B,B]. Then, g and h are homomorphic images of elements from A, because the mapping is onto. So substitute in these elements, g=a \phi, h=b \phi and then use the fact that \phi is a homomorphism to see that it is in the image of [A,A]. Thus the generators of [B,B] are contained in the image, and so the whole subgroup is.

    [g,h] = [a \phi, b \phi] = [a,b] \phi \in [A,A]\phi.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    May 2008
    Posts
    75
    Well, yes of course... Did not see the obvious.
    Thank you for helping me.

    Greetings
    Banach
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    May 2008
    Posts
    75
    Sorry, I am a bit confused today: My actual question is why the induced homomorphism between the abelianizations \phi^{ab}: A^{ab} \rightarrow B^{ab} is then surjective?

    Greetings
    Banach
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Banach View Post
    Sorry, I am a bit confused today: My actual question is why the induced homomorphism between the abelianizations \phi^{ab}: A^{ab} \rightarrow B^{ab} is then surjective?

    Greetings
    Banach
    the induced map \phi^{ab} is defined by \phi^{ab}([A,A]a)=[B,B]\phi(a). for any [B,B]b \in B^{ab} choose a \in A such that \phi(a)=b. then \phi^{ab}([A,A]a)=[B,B]\phi(a)=[B,B]b.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    May 2008
    Posts
    75
    Well, it is clear: Let [b] \in B^{ab}, then there is a b\in B: p_B(b)=[b]. But there is an a \in A: \phi(a)=b. . Since \phi^{ab}(p_A(a))=p_B(\phi(a))=[b], we are there.

    Greetings
    Banach
    Last edited by Banach; May 25th 2009 at 11:13 AM.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Member
    Joined
    May 2008
    Posts
    75
    You were quicker .
    Thank you for your help!
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Banach View Post
    Well, it is clear: Let [b] \in B^{ab}, then there is a b\in B: p_B(b)=[b]. But there is an a \in A^{ab}: \phi(a)=b. . Since \phi^{ab}(p_A(a))=p_B(\phi(a))=[b], we are there.

    Greetings
    Banach
    i'm not sure who you're talking to here and what exactly are those scary notations p_A, etc., haha ... but i guess you got your answer anyway.
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Member
    Joined
    May 2008
    Posts
    75
    Sorry, as said before i am completely confused today. I will try to be in a fitter state when i post my next question .

    By the way p_A and p_B are the projections to the quotient.

    Have a nice day.
    Banach
    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. characterisitic subgroup implies normal subgroup
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 8th 2010, 03:13 PM
  3. Centralizer of a subgroup is a subgroup of the main group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 1st 2010, 07:16 AM
  4. Derived Set Proof
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: October 16th 2009, 08:22 PM
  5. Normal subgroup interset Sylow subgroup
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: May 10th 2008, 12:21 AM

Search Tags


/mathhelpforum @mathhelpforum