Quillen–Suslin theorem

The Quillen–Suslin theorem, also known as Serre's problem or Serre's conjecture, is a theorem in commutative algebra about the relationship between free modules and projective modules over polynomial rings. It states that every finitely generated projective module over a polynomial ring is free.