The rationals as a direct summand of the reals The rationals $\mathbb{Q}$ are an abelian group under addition and thus can be viewed as a $\mathbb{Z}$-module. In particular they are an injective $\mathbb{Z}$-module. The wiki page on injective modules says "If $Q$ is a submodule of some other left $R$-module $M$, then there exists another submodule $K$ of $M$ such that $M$ is the internal direct sum of $Q$ and $K$, i.e. $Q + K = M$ and $Q \cap K = \{0\}$."
Take the reals $\mathbb{R}$ as a $\mathbb{Z}$-module and $\mathbb{Q}$ as a submodule of $\mathbb{R}$. What can the submodule $K$ be in this case? If $\mathbb{Q}$ and $K$ are supposed to have trivial intersection then it seems like the only thing $K$ can be is a set of irrational numbers together with $0$, but I don't see how that can be a submodule of $\mathbb{R}$. 
What am I missing here? Thanks. 

Consider the short exact sequence of $\mathbb Z$-modules
$$
0 \to \mathbb Q \hookrightarrow \mathbb R \xrightarrow{\varphi} \mathbb R / \mathbb Q \to 0.
$$
Since $\mathbb Q$ is injective, the sequence splits. Thus, there exists a homomorphism $\lambda: \mathbb R / \mathbb Q \to \mathbb R$ such that $\varphi \circ \lambda = \operatorname{id}_{\mathbb R / \mathbb Q}$. Let $K = \lambda(\mathbb R / \mathbb Q)$. Then $\mathbb R = \mathbb Q \oplus K$.
The axiom of choice is usually used to show that $\mathbb Q$ is injective, typically via Baer's criterion. I don't think one can find an explicit description of $K$. What we can say is that it consists of a choice of coset representatives in $\mathbb R$ of the quotient $\mathbb R / \mathbb Q$.
