代数的K理論
数学では、代数的K-理論(algebraic K-theory)は、ある非負な整数 n に対して環からアーベル群への函手の系列
を定義して適用することに関係したホモロジー代数の重要な一部である。歴史的理由により、低次 K-群 K0 と K1 は、n ≥ 2 に対する高次 K-群 Kn とはいくらか異なった項と考えられている。実際、高次の群よりも低次の群は受け入れやすく、より多くの応用を持っている。高次の群の理論は、（ R が整数の環であるときでさえ）非常に深く、計算することが確かに困難である。
群 K0(R) は、射影加群を使い、環のイデアル類群の構成を一般化したことになる。1960年代、1970年代の発展は、現在は(Quillen–Suslin theorem)となっている射影加群についてのジャン＝ピエール・セール(Jean-Pierre Serre)の予想を解こうとした努力に関係していた。キレン・サスリンの定理は、この分野で発見された古典的代数の他の問題に多く関連している。同じように、K1(R) は、行列の基本変形を使った環の可逆元の群の変形である。群 K1(R) はトポロジー、特に、R が群環のときに重要である。なぜなら、その商である(Whitehead group)が、単純ホモトピー論(simple homotopy theory)や(surgery theory)の理論における問題を研究するためのホワイトヘッドの捩れを含んでいるからである。群 K0(R) もたとえば有限性不変量のような他の不変量を含んでいる。1980年代以降、代数的K-理論は、ますます代数幾何学へ多くの応用が増加している。たとえば、(motivic cohomology)は密接に代数的K-理論に関係している。