Induced automorphism on quotient group I am stuck on a problem studying for my prelims :
Let $G$ be a group, $N \unlhd G$ a normal subgroup and $\alpha \colon G \to G$ an automorphism of $G$ such that $\alpha(N) \leq N$. The first part is to prove that $\alpha$ induces an automorphism $\overline{\alpha}$ of $G / N$. The second part is to find an example where $\alpha$ restricted to $N$ and $\overline{\alpha}$ are both identities but $\alpha$ is not the identity.
I am stuck in the first part... So since $\alpha (N) \subseteq N$, there is an induced endomorphism $\overline{\alpha} \colon G/N \to G/N$, which clearly is surjective. However, I cannot prove the injectivity, which is equivalent to proving that there is an induced hm $\overline{\alpha^{-1}}$, which is the same as $\alpha^{-1} (N) \leq N$.
We would be done if the group $G$ is assume to be finite for example, but I don't see how to prove it general.
Thanks for your help
 A: This is not true in general. Consider $G=\mathbb{Q}$, $N=\mathbb{Z}$, and $\alpha:\mathbb{Q} \to \mathbb{Q}:x\mapsto2x$. Then $\alpha(N) = 2\mathbb{Z} \leq N$, and $\overline{\alpha}:\mathbb{Q}/\mathbb{Z} \to \mathbb{Q}/\mathbb{Z}:x\mapsto 2x$ remains surjective, but is not injective.
The question should have hypothesized that $\alpha(N) = N$, or as you observed, have additionally hypothesized $\alpha^{-1}(N) \leq N$ (which amounts to the same thing).
A: Since the group $\mathbb{Z}/2$ has only trivial automorphism, we would like to construct group $G$ with a (normal) subgroup and quotient (both) isomorphic to $\mathbb{Z}/2$. 
The smallest example is $G=\langle x\colon x^4\rangle\cong \mathbb{Z}/4$, and let 
$\alpha\colon x\mapsto x^3$.
The smallest non-abelian group is $S_3$. It has presentation $\langle x,y\colon x^3,y^2,y^{-1}xy=x^{-1}\rangle$. The only normal subgroup is $\langle x\rangle$, and (interestingly) quotient is $\mathbb{Z}/2$, set $\alpha(x)=x$ (as you want). We shouldn't have $\alpha(y)\neq y$ (for $\alpha\neq I$). Set $\alpha(y)=xy$.
Check that $\alpha$ is a required automorphism.
