Quillen–Suslin theorem
| Field | Commutative algebra |
|---|---|
| Conjectured by | Jean-Pierre Serre |
| Conjectured in | 1955 |
| First proof by | Daniel Quillen Andrei Suslin |
| First proof in | 1976 |
The Quillen–Suslin theorem, also known as Serre's problem or Serre's conjecture, is a theorem in commutative algebra concerning the relationship between free modules and projective modules over polynomial rings. In the geometric setting it is a statement about the triviality of vector bundles on affine space.
The theorem states that every finitely generated projective module over a polynomial ring is free.