Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a ring (not necessarily commutative, but if you have interesting things to say in the commutative case, please say them!) and $M$, $M''$ two finitely generated projective $R$-modules.

I was wondering if the kernel of a linear map $M \to M''$ is always a projective module.

Unless I'm mistaken, the question boils down to the a priori weaker one I've chosen as title. I guess the answer is no, but I'm unable to cook a counterexample (one first needs to take a linear form whose image isn't a projective submodule of $A$ but it's not enough).

Please make any comment you find relevant, for example is there are classes of rings over which this property is true (it's obviously so for hereditary rings and PIDs).

share|cite|improve this question
up vote 4 down vote accepted

No, it isn't. If you take $R=K[x]/(x^2)$, then $R$ is projective over itself as always, but the kernel of the map $R\to R$ given by multiplication by $x$ is $Rx$ which isn't projective. To see this, note that $R$ is local, so the only projective modules are direct sums of copies of $R$, so the dimension (over $K$) of any projective module is divisible by $\dim{R}=2$, but $\dim{Rx}=1$.

share|cite|improve this answer
Great answer. Do you have examples without zero divisors? – PseudoNeo Mar 22 '12 at 16:09
Hmm, interesting question. I can't think of anything off the top of my head. I think it reduces to the same question with projective replaced by free, so I imagine there are examples, but I don't know. – Matthew Pressland Mar 22 '12 at 16:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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