4
$\begingroup$

Let $f : G \to G'$ be a group morphism. I need to find a necessary and sufficient condition such that $\operatorname{Im}(f)$ is a normal subgroup of $G'$.

  • 4
    Hello Mihai! I'm afraid it is not considered polite here to command other users to do something. Your question does not show that you have thought about the problem. Please explain what you've tried so far, and where you are stuck.2012-01-24
  • 1
    I'm kind of stuck with {$x\times f(y)/y \in G$} = {$f(y) \times x/y \in G$},$ \forall x \in G'$p.s.: I'm sorry about that. I can't really control the tone of what I write in English.2012-01-24
  • 2
    Mihai, why do you think that there would be anything better than the definition of normality?2012-01-24
  • 0
    I think that is the definition of normality.2012-01-24

1 Answers 1

4

To show $\mathrm{Im}(f)$ is normal in $G'$ one can establish that for all $y \in \mathrm{Im}(f)$ and $g \in G'$ one has $gyg^{-1} \in \mathrm{Im}(f)$.

This is equivalent to: for each $x \in G$ and $g \in G'$ there exists some $z\in G$ such that $gf(x)g^{-1} = f(z)$. [This is basically just regurgitating the definition.]

In general, there's not much more that can be said. Given a homomorphism $f:G \to G'$ such that $\mathrm{Im}(f)$ is normal in $G'$, one can always (unless $f$ is the trivial homomorphism) find a bigger group $G''$ containing $G'$ such that $\mathrm{Im}(f)$ is not normal in $G''$. So normality of the image is usually quite sensitive to choice of codomain.

  • 3
    And of course, im(f) is always normal in its normalizer (or itself), so even if im(f) was not normal in G′, one could shrink G′ to make im(f) normal.2012-01-24
  • 0
    Thanks Jack! I forgot to mention the other direction. :)2012-01-24
  • 0
    In other words, to guarantee that Im(f) is a normal subgroup of G′, G' must be Im(f), right? Thanks!2012-01-24