How to prove that $\mathbb{Q}$ is an injective $\mathbb{Z}$-module via this definition?

Question

This is probably easy, but I'm not seeing things. I just read the definition of an injective module on Wikipedia and found the claim that the $\mathbb{Z}$-module $\mathbb{Q}$ is an example of an injective module.

So, suppose we have a submodule $M^{\prime}\subseteq M$ of a $\mathbb{Z}$-module $M$.

Given a $\mathbb{Z}$-module homomorphism $f\colon M^{\prime}\to\mathbb{Q}$, we should be able to extend it to $M$.

How can one do that? Thanks.

Answer 1

This is an easy application of Baer’s criterion. A homomorphism $f\colon n\mathbb{Z}\to\mathbb{Q}$ extends to a homomorphism $g\colon\mathbb{Z}\to\mathbb{Q}$; just take $y\in\mathbb{Q}$ such that $ny=f(n)$ and define $g(z)=zy$.