Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:concerns |
polynomial rings
projective modules |
| gptkbp:field |
gptkb:commutative_algebra
gptkb:algebraic_K-theory |
| gptkbp:namedAfter |
gptkb:Hyman_Bass
gptkb:Daniel_Quillen |
| gptkbp:proposedBy |
1973
|
| gptkbp:provenBy |
regular local rings containing a field
|
| gptkbp:relatedTo |
gptkb:Serre's_problem
gptkb:Quillen–Suslin_theorem |
| gptkbp:sentence |
Every finitely generated projective module over a polynomial ring over a regular Noetherian ring is extended from the base ring.
|
| gptkbp:status |
open (in general)
|
| gptkbp:bfsParent |
gptkb:k-theory
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bass–Quillen conjecture
|