Let $m$ and $n$ be positive integers such that $m \mid n$.
(a) Prove that the map $\phi:\Zmod{n} \to \Zmod{m}$ sending $a+n\Z$ to $a+m\Z$ for any $a\in \Z$ is well-defined.
(b) Prove that $\phi$ is a group homomorphism.
(c) Prove that $\phi$ is surjective.
(d) Determine the group structure of the kernel of $\phi$.
Add to solve later Let $R$ and $S$ be rings. Suppose that $f: R \to S$ is a surjective ring homomorphism.
Prove that every image of an ideal of $R$ under $f$ is an ideal of $S$.
Namely, prove that if $I$ is an ideal of $R$, then $J=f(I)$ is an ideal of $S$.
Add to solve later Let $R$ be a commutative ring and let $I$ be a nilpotent ideal of $R$.
Let $M$ and $N$ be $R$-modules and let $\phi:M\to N$ be an $R$-module homomorphism.
Prove that if the induced homomorphism $\bar{\phi}: M/IM \to N/IN$ is surjective, then $\phi$ is surjective.
Add to solve later Show that a group $G$ is cyclic if and only if there exists a surjective group homomorphism from the additive group $\Z$ of integers to the group $G$.
Add to solve later Let $p$ be a prime number. Let
\[G=\{z\in \C \mid z^{p^n}=1\} \]
be the group of $p$-power roots of $1$ in $\C$.
Show that the map $\Psi:G\to G$ mapping $z$ to $z^p$ is a surjective homomorphism.
Also deduce from this that $G$ is isomorphic to a proper quotient of $G$ itself.
Add to solve later Let $G, G’$ be groups. Suppose that we have a surjective group homomorphism $f:G\to G’$.
Show that if $G$ is an abelian group, then so is $G’$.
Add to solve later Let $f: H \to G$ be a surjective group homomorphism from a group $H$ to a group $G$.
Let $N$ be a normal subgroup of $H$. Show that the image $f(N)$ is normal in $G$.
Add to solve later 
