Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:concerns |
polynomial rings
projective modules |
| gptkbp:field |
gptkb:commutative_algebra
gptkb:algebraic_K-theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Bass–Quillen theorem
|
| gptkbp:namedAfter |
gptkb:Hyman_Bass
gptkb:Daniel_Quillen |
| gptkbp:publishedIn |
gptkb:Inventiones_Mathematicae
|
| gptkbp:state |
Every finitely generated projective module over a polynomial ring over a regular Noetherian ring is extended from the base ring.
|
| gptkbp:yearProved |
1973
|
| gptkbp:bfsParent |
gptkb:Fundamental_theorem_of_K-theory
|
| gptkbp:bfsLayer |
7
|