 Solution

Put $K=\ker \varphi$, $H=\ker \psi$, and $Q=\mathrm{Im}q$. The kernel of a module homomorphism $H$ is a submodule, so its image $L=q(H)$ is a submodule. For $x\in H$, $\varphi (q(x))=\psi (x)=0$, showing $L\subseteq K$. Thus the quotient module $K/L$ exists. Also $L\subseteq Q$.

Consider the restriction to $K$ of the natural module homomorphism $R^m\to R^m/Q$:Its kernel of a module homomorphism is $K\cap Q$. We have $L\subseteq K\cap Q$. Conversely, if $y\in K\cap Q$, choose $x\in R^n$ with $y=q(x)$. Thenso $x\in H$ and $y\in L$. Hence $\boxed{K\cap Q=L}$.

The map $\alpha$ is surjective. Given $v+Q\in R^m/Q$, use the surjectivity of $\psi$ to choose $x\in R^n$ with $\psi (x)=\varphi (v)$. Set $y=v-q(x)$. ThenThus $y\in K$ is a preimage of the arbitrary class $v+Q$.

By the first isomorphism theorem for modules, $\alpha$ induces the module isomorphismExplicitly, replacing $y$ by $y+\ell$ with $\ell \in L$ leaves its class modulo $Q$ unchanged, proving well-definedness. Its formula preserves addition and scalar multiplication. If its value is zero, $y\in K\cap Q=L$, so $y+L=0$, proving injectivity; surjectivity was proved above. These checks give all the requested properties of the induced map.