Results 1 to 2 of 2

Thread: Homomorphism

  1. #1
    Mel
    Mel is offline
    Junior Member
    Joined
    Sep 2008
    Posts
    36

    Homomorphism

    Totally lost again!
    Attached Files Attached Files
    Last edited by Krizalid; Jan 29th 2009 at 10:17 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    That's algebra!

    $\displaystyle \forall a\in G_1,\forall (x,y)\in G,\ (x,y)(a,e_2)(x,y)^{-1}=(x,y)(a,e_2)(x^{-1},y^{-1})$ $\displaystyle =(xax^{-1},ye_2y^{-1})=(xax^{-1},e_2)$
    $\displaystyle a,x\in G_1 \Rightarrow xax^{-1}\in G_1 \Rightarrow (xax^{-1},e_2)\in N$
    Therefore $\displaystyle N$ is a normal subgroup of $\displaystyle G$.


    $\displaystyle h:G_1\rightarrow N:x\mapsto (x,e_2)$ is surjective by definition of $\displaystyle N$ , a group homomorphism because $\displaystyle h(xy)=(xy,e_2)=(x,e_2)(y,e_2)=h(x)h(y)$ and injective because $\displaystyle (x,e_2)=(e_1,e_2)\Rightarrow x=e_1$ .
    We have found an isomorphism between $\displaystyle G_1$ and $\displaystyle N$.


    Consider $\displaystyle \phi: G\rightarrow G_2a,b)\mapsto b$ .
    $\displaystyle \phi((a,b)(c,d))=\phi((ac,bd))=bd=\phi((a,b))\phi( (c,d))$ , so $\displaystyle \phi$ is an homomorphism, which is surjective by definition of $\displaystyle G$.
    Moreover, $\displaystyle \forall (a,b)\in G,\ \phi((a,b))=e_2\Leftrightarrow b=e_2 \Leftrightarrow (a,b)\in N$.
    Hence $\displaystyle \ker\phi = N$ , and we can conclude $\displaystyle G/N\cong G_2$ .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 4
    Last Post: Apr 19th 2013, 03:05 PM
  2. Homomorphism
    Posted in the Advanced Algebra Forum
    Replies: 15
    Last Post: Jun 25th 2011, 06:45 AM
  3. Is this a homomorphism?
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Aug 27th 2010, 01:10 AM
  4. homomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Nov 21st 2009, 09:38 PM
  5. Homomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Oct 15th 2009, 02:17 PM

Search Tags


/mathhelpforum @mathhelpforum