Category Kernel Question (Unique homomorphism $\alpha_0:\ker\phi\to L$) There is a a question with two parts (prove or disprove), one of which I know how to do, but the other part I am stuck.
Let $\phi:M'\to M$ be a homomorphism of abelian groups. Suppose that $\alpha:L\to M'$ is a homomorphism of abelian groups such that $\phi\circ\alpha=0$, for instance the inclusion map $\mu:\ker\phi\to M$. Prove or disprove each of the following:

*

*There is a unique homomorphism $\alpha_0:\ker \phi\to L$ such that
$\mu=\alpha\circ\alpha_0$.
(This I am unsure if it is true or untrue)


*There is a unique homomorphism $\alpha_1:L\to\ker\phi$ such
that $\alpha=\mu\circ\alpha_1$.
(This I am quite sure it is true as it is the universal property of the kernel.)
I will post my solution to part 2 below.

Part (i) is false: Take $M=L=0$ and $M'=\Bbb{Z}/2\Bbb{Z}$ so that there are unique homomorphisms
$$\phi:\ M'\ \longrightarrow\ M\qquad\text{ and }\qquad\alpha:\ L\ \longrightarrow\ M',$$ 
and they clearly satisfy $\phi\circ\alpha=0$. Then $\ker\phi=M'$ so the inclusion map $\mu:\ \ker\phi\ \longrightarrow\ M'$ is the identity on $M'=\Bbb{Z}/2\Bbb{Z}$, which cannot factor over $L=0$, i.e. we cannot have $\mu=\alpha\circ\alpha_0$.
Part (ii) is precisely the usual categorical definition of the kernel.
