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 commutative ring and $R[U]$ the polynomial ring in one variable. What is the relation between projective modules over $R$ and projective modules over $R[U]$? Is every projective module over $R[U]$ of the form $P[U]$ for a projective $R$-module $P$? If not what are the obstructions?

Edit: I realised that this question was to general for what I was actually looking for. Since the question in the current form seems to be interesting on its own, I refrained from editing it and opened a new question instead.

share|cite|improve this question
If your $R[U]$-module is finitely generated, then the Quillen-Suslin theorem says that it must be free. This actually holds for $R[U_1, \ldots, U_n]$-modules. I don't know about the general case. – student May 28 '12 at 18:41
@Leandro: surely one needs some hypothesis such as that the $R[U]$-module is free over $R$. – Qiaochu Yuan May 28 '12 at 18:43
Dear Leandro, what you say is true if $R$ is a field and false for general commutative rings. – Georges Elencwajg May 28 '12 at 18:44
@Georges,@Qiaochu you're absolutely right. I had the field case in mind. – student May 28 '12 at 18:48
Just to clarify, the theorem is that a finitely generated projective $k[x_1,\ldots,x_n]$-module for $k$ a field is free, right? – Keenan Kidwell May 28 '12 at 20:56
up vote 7 down vote accepted

Here is the answer for finitely generated modules of rank one. Recall that the isomorphism classes of these modules form a group, the Picard group $Pic(R)$, with tensor product as multiplication.

Theorem (Traverso, Swan)
For a commutative ring $R$ the following are equivalent:
a) The reduced ring $R_{red}=R/Nil(R)$ is semi-normal
b) The natural group morphism $Pic(R)\stackrel {\cong}{\to} Pic(R[U])$ is an isomorphism ($U=$ indeterminate)

And what does it mean that $R$ is semi-normal?

It means that if $x,y\in R$ satisfy $y^2=x^3$, then there exists $s\in R$ with $x=s^2$ and $y=s^3$ .
(Geometrically: you can parametrize the cusp over $R$ ).
Admittedly this condition is a little strange, but at least it is easy to see that a normal ring $R$ (= integrally closed domain) is semi-normal :
Take $s=\frac {y}{x}\in Frac(R)$. Of course we have $x=s^2$ and $y=s^3$.
The key point is that $s\in R $ : the fraction $s=\frac {y}{x}$ is integral over $R$ because it satisfies the monic equation $T^2-x=0$ and since $R$ is integrally closed we must have $s\in R$ .

share|cite|improve this answer
That is a nice answer. Unfortunately it is hardly helpful for me (since my question wasn't precise enough, not since the answer wasn't accurate). I'll just wait for a while whether there will be other answers and accept yours if nothing new comes up. – Simon Markett May 29 '12 at 9:14

If $R$ is a left regular ring, then the canonical map $K_0(R) \to K_0(R[t])$ is an isomorphism. This result is due to Grothendieck at least when $R$ is commutative. The general case can be found in the paper "The Whitehead group of a polynomial extension" (Bass, Heller, Swan) or in Rosenberg's book on Algebraic K-Theory.

Of course, this does not imply that every f.g. projective $R[t]$-module has the form $P[t]$ for some f.g. projective $R$-module (but we cannot expect that!); but this turns out to be true "up to exact sequences".

share|cite|improve this answer
Thx, I really should have seen this myself. In fact I am trying to prove a generalised form of the fundamental theorem. And somehow I got lost between what I may assume and what I have to prove... – Simon Markett May 29 '12 at 9:09
Perhaps you can open a new question which is more specific and addresses your generalized form of the fundamental theorem? – Martin Brandenburg May 29 '12 at 10:03
@SimonMarkett Where is your new question? I am curious about it. The link does not work. – user237522 Jun 25 '15 at 13:38

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.