Suppose $f:N\to M$ is an injective $R$-module homomorphism and $f(N)$ is a direct summand of $M: M=f(N)\oplus K$ for a submodule $K\subset M$. I'm trying to show that there is a homomorphism $f':M\to N$ such that $f'(f(n))=n$ for $n\in N$.

It would be natural to define $f':M=f(N)\oplus K\to N$ by $(f(n),k)\mapsto n$. But since I don't know the explicit form of the map $f$, I cannot show that $f'(f(n))=n$. How do I prove that without knowing what $f$ is?


We don't need to know what $f$ is, just that it's isomorphic onto its image. We could write the proof as follows:

Theorem: Suppose $f : N \rightarrow M$ is an injective $R$-module homomorphism and $f(N)$ is a direct summand of $M$. Then $f$ has a left inverse.

Proof: Take a submodule $K$ such that $M = f(N) \oplus K$ (internal direct sum). Then the map $g : N \rightarrow f(N)$ sending $x$ to $f(x)$ is surjective and injective, and therefore an isomorphism. Define a homomorphism $h : M \rightarrow N$ where, for $x \in f(N)$ and $y \in K$, we set $h(x + y) = g^{-1} (x)$. This is an $R$-linear homomorphism, since for $x, x' \in f(N)$ and $y, y' \in K$, we have

$f(x + x' + y + y') = g^{-1} (x + x') = g^{-1} (x) + g^{-1}(x') = f(x + y) + f(x' + y')$

For $x \in f(N)$, $y \in K$, and $r \in R$, we have

$f(r(x + y)) = f(rx + ry) = g^{-1} (rx) = r g^{-1} (x) = r f(x + y)$.

This shows that $h$ is an $R$-linear homomorphism. Then we have $h(f(x)) = g^{-1} (f(x)) = g^{-1} (g (x)) = x$. So $h \circ f = \text{Id}_N$.

  • $\begingroup$ But how do I see that $h(f(n))=n$? I have $h(f(n))=h(g(n))$, but $h$ is supposed to be applied to an element of the form $(x,y)$, and I don't know how to write $g(n)$ in the form $(x,y)$. $\endgroup$ – user437309 Apr 21 '18 at 2:57
  • $\begingroup$ That's an understandable point of confusion.Make sure to distinguish between internal and external direct sum. The direct sum being used here is internal. No coordinates (I may have made a typo at first). We can uniquely express elements in $M$ as $x + y$ for $x$ in $f(N)$ and $y$ in $K$. We can define $h(x+y) = g^{-1} (x)$, and then show this is well defined (to be formal I would have to add that in above). $\endgroup$ – Dean Young Apr 21 '18 at 3:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.