 Bass–Quillen conjecture

The Bass–Quillen conjecture is a conjecture in the field of algebraic K-theory, specifically concerning finitely generated infinite projective modules over a commutative ring. It was formulated by mathematicians Hyman Bass and Daniel Quillen in the 1970s.