Skip to main content
broken link fixed, cf. https://meta.mathoverflow.net/q/5301/70594
Source Link
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

Cher Michel, these rings are uncommon.

  1. Over a local ring ALL projective modules are free : this is a celebrated theorem due to Kaplansky.

  2. If $R$ is commutative noetherian and $Spec(R)$ is connected, every NON-finitely generated projective module is free. This is due to Bass in his article "Big projective modules are free" which you can download for free here

http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1255637479Link

And now for the good news: the rings you are after are uncommon but they exist. Bass in the article just quoted shows that the ring $R=\mathcal C([0,1])$ of continuous functions on the unit interval has all its finitely generated projective modules free. Nevertheless the ideal consisting of functions vanishing in a neighbourhood of zero (depending on the function) is projective, not finitely generated and not free. Bass attributes the result to Kaplansky.

Cher Michel, these rings are uncommon.

  1. Over a local ring ALL projective modules are free : this is a celebrated theorem due to Kaplansky.

  2. If $R$ is commutative noetherian and $Spec(R)$ is connected, every NON-finitely generated projective module is free. This is due to Bass in his article "Big projective modules are free" which you can download for free here

http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1255637479

And now for the good news: the rings you are after are uncommon but they exist. Bass in the article just quoted shows that the ring $R=\mathcal C([0,1])$ of continuous functions on the unit interval has all its finitely generated projective modules free. Nevertheless the ideal consisting of functions vanishing in a neighbourhood of zero (depending on the function) is projective, not finitely generated and not free. Bass attributes the result to Kaplansky.

Cher Michel, these rings are uncommon.

  1. Over a local ring ALL projective modules are free : this is a celebrated theorem due to Kaplansky.

  2. If $R$ is commutative noetherian and $Spec(R)$ is connected, every NON-finitely generated projective module is free. This is due to Bass in his article "Big projective modules are free" which you can download for free here

Link

And now for the good news: the rings you are after are uncommon but they exist. Bass in the article just quoted shows that the ring $R=\mathcal C([0,1])$ of continuous functions on the unit interval has all its finitely generated projective modules free. Nevertheless the ideal consisting of functions vanishing in a neighbourhood of zero (depending on the function) is projective, not finitely generated and not free. Bass attributes the result to Kaplansky.

Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

Cher Michel, these rings are uncommon.

  1. Over a local ring ALL projective modules are free : this is a celebrated theorem due to Kaplansky.

  2. If $R$ is commutative noetherian and $Spec(R)$ is connected, every NON-finitely generated projective module is free. This is due to Bass in his article "Big projective modules are free" which you can download for free here

http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1255637479

And now for the good news: the rings you are after are uncommon but they exist. Bass in the article just quoted shows that the ring $R=\mathcal C([0,1])$ of continuous functions on the unit interval has all its finitely generated projective modules free. Nevertheless the ideal consisting of functions vanishing in a neighbourhood of zero (depending on the function) is projective, not finitely generated and not free. Bass attributes the result to Kaplansky.