MathOverflow is a question and answer site for professional mathematicians. 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

I have posted this question on MS for 2 weeks however there is no answer up to now. So I post it here and I hope MOers can help me.

Let $\mathfrak{R}$ be a ring, then we knew that a free module over $\mathfrak{R}$ is projective. Moreover, if $\mathfrak{R}$ is a principal ideal domain then a module over $\mathfrak{R}$ is free if and only if it is projective or if $\mathfrak{R}$ is local then a projective module is free.

We also have a very big question on free properties of projective module over a ring of polynomial, that was Serre conjecture, and now is Quillen-Suslind's theorem.

I wonder that, do we have a general condition for a ring $\mathfrak{R}$, so that every projective module over $\mathfrak{R}$ is also free over $\mathfrak{R}$ which involve all of the cases that mentioned above ?

share|cite|improve this question
for completenss: the link to the MSE question: – Julian Kuelshammer Jun 23 '13 at 8:35

If $R$ is a regular local ring that contains a field, then any projective module over $R[x_1,\ldots,x_n]$ is free. If $R$ is a regular local ring of Krull dimension at most 2, then any projective module over $R[x]$ is free.

Beyond that, I don't believe there are any further results in the direction of generalizing Quillen-Suslin, so the answer to your intended question would be no.

(Technically, of course, the answer is yes --- the general condition you're looking for is the condition that every projective module over $R$ is free. But you're looking for a non-trivial general condition.....)

Note also that the results for PIDs and local rings are quite elementary compared to Quillen-Suslin, so this is a little like asking for a generalization of the twin facts that there are no postive integer solutions to the equations $x^2=-1$ and $x^n+y^n=z^n$.

share|cite|improve this answer
@Steven: Some f.g. assumptions are missing. – Martin Brandenburg Mar 16 '12 at 8:59
@Martin: Which assumptions do you think are missing? – Fred Rohrer Sep 8 '14 at 14:20

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.