0
$\begingroup$

Let $f: G \rightarrow G'$ be a group homomorphism with kernel $H$. Then we know as an elementary fact of abstract algebra that there is an injective group homomorphism $f^*:G/H \rightarrow G'$ such that $f^*(x+H) = f(x)$. More generally, let $\psi: G \rightarrow G/H$ be a surjective homomorphism with kernel $H$. Then again we have an injective homomorphism $f_{\psi}^* : G/H \rightarrow G'$ defined by $f^*_{\psi}(x+H)=f(y)$ where $\psi(y) = x+H$.

Could you verify the validity of this reasoning? Thanks.

Edited:

To give you an example about the motivation of this question, we know that given a homomorphism $f:G \rightarrow G'$ with kernel $H$ there exists always a homomorphism $f^*: G/H \rightarrow G'$ such that $f = f^* \circ \phi$ where $\phi:G \rightarrow G/H$ is the canonical mapping.

Now, what if instead of the canonical mapping $\phi$ we have another surjective homomorphism $\psi:G \rightarrow G/H$ with kernel $H$? Does then exist a homomorphism $f^*_{\psi} : G/ H \rightarrow G'$ such that $f = f^*_{\psi} \circ \psi$?

  • 0
    You have something mixed up. $x + H$ is not in $G/H$.2012-08-08
  • 0
    @KarolisJuodelė: Why not?2012-08-08
  • 1
    I don't see how the situation of $\psi:G\to G/H$ is "more general".2012-08-08
  • 0
    @Andrew: instead of the canonical map $G \rightarrow G/H$, we can now use $\psi$. The canonical map is a particular choice for $\psi$.2012-08-08
  • 1
    First of all, what do you mean by $f(G)$? I just took it to mean the range, and that thus $f$ was necessarily an epimorphism, but it really is not clear.2012-08-08
  • 1
    But there is nothing that says $f$ is the canonical quotient map to begin with.2012-08-08
  • 0
    Can you be specific about what step you need checked?2012-08-08
  • 0
    @ThomasAndrews: You were right, but i changed it for clarity.2012-08-08
  • 0
    @Andrew: Exactly. Why does it need to be the canonical map?2012-08-08
  • 0
    Now the question is clear. I think the map you're looking for is $f^*_{\psi}:=f^*\circ(\psi^*)^{-1}.$2012-08-08

1 Answers 1

1

By the first isomorphism theorem there is a unique $\psi^*:G/H\to G/H$ satisfying $\psi^*\circ\phi=\psi,$ which must be an isomorphism since it is injective. Let $f^*_\psi:=f^*\circ(\psi^*)^{-1}.$ Then $$f^*_\psi\circ\psi = \left(f^*\circ(\psi^*)^{-1}\right)\circ\psi = f^*\circ\left((\psi^*)^{-1}\circ\psi\right) = f^*\circ\phi=f.$$

  • 0
    Nice. Small typo: $\psi^* \circ \phi = \psi$ :-)2012-08-08
  • 0
    Fixed it, thanks.2012-08-08