Basic theorems in algebraic K-theory: Difference between revisions

Revision as of 01:24, 29 October 2019

Revision as of 01:26, 29 October 2019

Line 29:

{{math_theorem|name=Cofinality theorem<ref>{{harvnb|Weibel|loc=Ch. V, Cofinality Theorem 2.3.}}</ref>|Let <math>(A, v)</math> be a Waldhausen category that has a cylinder functor satisfying the Cylinder Axiom. Suppose there is a surjective homomorphism <math>\pi: K_0(A) \to G</math> and let <math>B</math> denote the full Waldhausen subcategory of all <math>X</math> in <math>A</math> with <math>\pi[X] = 0</math> in <math>G</math>. Then <math>v.s. B \to v.s. A \to BG</math> and its delooping <math>K(B) \to K(A) \to G</math> are homotopy fibrations.}}

== See also ==

*[[Fundamental theorem of algebraic K-theory]]

== References ==