Talk:Fundamental theorem of algebraic K-theory

"Fundamental Theorem of Algebraic K-theory" is often used to descripe the additivity theorem (in that the other basic theorems - resolution, cofinality, devissage - can be proved using it as a crucial tool - see Staffeldt's paper). Might it be worthwhile to mention this in the article or, better, re-name it. In Waldhausen's paper on this he calls it the "Funtamental theorem of algebraic K-theory for rings".

Also, I'm not sure that your (i) is part of the theorem - this follows easily from the resolution theorem, which may itself be needed in the proof of the Fundamental Theorem.Tkmharris (talk) 22:53, 18 February 2014 (UTC)[reply]

Well, one can say there is a difference between "Fundamental theorems" and "Fundamental Theorem", singular with capital T. But yes, I get what you mean. The terminology here simply follows Weibel's and Grayson's, who called the theorem fundamental theorem. Obviously, "basic theorems" should appear in some form (the absence of an article do not mean the absence of notability); how about basic theorems of algebraic K-theory?

-- Taku (talk) 15:00, 19 February 2014 (UTC)[reply]