0
$\begingroup$

I have two finite rank free modules $M,N$ over a principal ideal domain (the ring of formal complex power series to be exact) and a homomorphism between these two modules $\phi:M\rightarrow N$. Under what conditions does the kernel $\ker \phi$ have a complement $C$ in $M$ such that I can write $M=C\oplus \ker\phi$.?

I guess this question might be considered very elementary by many, so I'd also be happy to just be given a reference to a good text book. Searching Google did not turn up anything useful.

Thanks in advance for any replies.

$\endgroup$
2
  • 4
    $\begingroup$ This will always be the case. Since $N$ is free, $M/\ker\phi$ is torsion-free, hence free, so there is a section $M/\ker\phi\rightarrow M$; you can take $C$ to be the image of this section. By the way, in the future you should use math.stackexchange.com $\endgroup$ May 22, 2013 at 2:00
  • 1
    $\begingroup$ Adding to Kevin's comment, this would still be true over a Dedekind ring, since $M/ker\phi$ is a submodule of a free module and hence projective. $\endgroup$ May 22, 2013 at 2:44

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.