Revision #18 → #997 · back to history
addedRiemann–Roch theorem58feb6635735
addedHirzebruch–Riemann–Roch theorem380ab63e80d4
addedGrothendieck group K(X)bbc78a0cf0e6
addedGrothendieck–Riemann–Roch theoremef212909ab37
addedTopological K-theory as extraordinary cohomology theory77bd69fac059
addedSimple homotopy equivalencec195ed5f6984
addedWhitehead torsion and Whitehead group Wh(π)e70801a09013
addedFundamental theorem of algebraic K-theorye390057d6e54
addedNegative K-groups6fa135d1d7f5
addedSteinberg group7ad3a0c051ba
addedMilnor K-theory is a direct summand of K-theory9fab274a08ac
addedWall's finiteness obstruction2123bd602474
addedSiebenmann's obstruction04e8fb20562b
addedh-cobordant manifoldsa8245158200a
addedSmale's h-cobordism theorem22a99a8b1dc0
addeds-cobordism theorem37dc25c9fa62
addedCerf's pseudo-isotopy theorembd0a9aa17a9f
addedClassifying space of h-cobordisms0e6cbcc1b732
addedWaldhausen algebraic K-theory of spaces A(M)590ff667b52e
addedBrown–Gersten spectral sequenceec23eb695ab7
addedBloch: cohomology group isomorphic to Chow group2ea6f9d712ea
addedGersten's conjecture89adda0429ca
addedQuillen's proof of Gersten's conjecture over a fielde65e22c200d4
addedBloch's formulaaba0a7a0f696
addedLichtenbaum conjecturef154d3bec080
addedQuillen–Lichtenbaum spectral sequence conjecture6c2e2e613b24
addedK-theory with finite coefficients8e5999700f58
addedÉtale K-theoryf68b2c2fdfb4
addedÉtale K-theory isomorphic to topological K-theory over C6e406abf39ae
addedThomason: K-theory with finite coefficients ≅ étale K-theory after inverting Bott element1dca5c074faf
addedDennis trace mapf1246300bd47
addedTopological Hochschild homology316c7d8d5839
addedTopological cyclic homology92bfe705ca7a
addedDundas–Goodwillie–McCarthy theorem83487bf8bc6d
addedFunctor K₀8a2e3be5a3eb
addedReduced zeroth K-theoryeb5def5a1dff
addedK₀ of a ring without identity5e1ea17d9237
addedK₀ of a fieldf0199be7948c
addedK₀ of a local ring20eeac61b70b
addedK₀ of a Dedekind domaina930a7ce4748
addedK₀ of a category of algebraic varieties7074644fb3e9
addedTopological K-theory as K₀ of continuous functions92cc39ac60e6
addedRelative K₀ae883934e14a
addedRelative K₀ excision43d457ed582f
addedK₀ as a commutative ringa07ebec65e93
addedλ-ring structure on K₀c4aea7b14109
addedPicard group embeds in units of K₀226dd044629b
addedK₁ as abelianization of GL6c65c12c0a92
addedElementary matrix2cc23f501041
addedWhitehead's lemmaa39550c756fd
addedWhitehead group of a ring053d76f92112
addedRelative K₁5d38ec63f2bd
addedNatural exact sequence for relative K₁be53e1706aa9
addedSpecial Whitehead group SK₁88c95cc36ef8
addedSplit short exact sequence for K₁8f3da2f53c9d
addedK₁ splits as units ⊕ SK₁a28fe0f8e9aa
addedSK₁ vanishes for Euclidean domains03c90a89ec81
addedPID with nonzero SK₁ (Ischebeck, Grayson)cd3167274804
addedSK₁ vanishes for Dedekind domains over number fields (Milnor)c240fbf1f9bc
addedGeneration of SL by elementary matrices for Dedekind domains79260250dc9c
addedSK₁ torsion for Dedekind domains with finite residue fields76916e931741
addedSK₁ of a central simple algebra via reduced normd965d64809a8
addedWang's theorembb86bdfc7078
addedWang: SK₁ trivial over a number field2eef6598db87
addedPlatonov's nontrivial SK₁ examples0a2fd74afb9a
addedK₂ as center of the Steinberg group19f55078e6dc
addedK₂ as kernel / Schur multiplier1408bc1aac4b
addedK₂ of a field via Steinberg symbolsa107c7454b29
addedK₂ of a finite field is zero0cab48069fd1
addedTate's computation of K₂(Q)197f7823e96f
addedK₂ of non-Archimedean local fields6b42fc52330e
addedK₂(Z) = Z/214e2d98eb67f
addedK₂ finite for ring of integers of a number fieldc1cc0c781dcd
addedMatsumoto's theorem9b024975a1db
addedMatsumoto's theorem for general root systemsd7462d4d5c08
addedLong exact sequence for K-theory of a Dedekind domaindc88852d9734
addedExtended exact sequence for relative K₁ and K₀5b8fecc2b63c
addedPairing K₁ × K₁ → K₂6a755c4cf756
addedMilnor K-groups3daecb9eb36e
addedCoincidence with K-groups for n ≤ 2086446121faa
addedMilnor K-theory as graded-commutative ring57431aa8fa06
addedMilnor K-theory symbols0cac9d1ce7c8
addedGalois symbol mapddc6465ddcad
addedMilnor conjecture (Voevodsky)67c2b8c12ec3
addedBloch–Kato conjecturecf4538789218
addedPlus and Q constructions agree52ddf6f6f90c
addedHigher K-theory via the plus-construction64deb2b08da5
addedExtension of plus-construction to n = 0a7cb968032ce
addedQ-construction category QCabf7139634b5
addedK-groups of an exact category via Q-constructionb1a9253248b1
addedQ-construction agrees with BGL⁺ definition22849f2b2bd3
addedHigher K-groups of a schemeae6791183cd1
addedG-theory G_n(R)63ef9f08348d
addedG-theory and K-theory coincide for regular ringse385b0cb7b33
addedS-construction (Waldhausen)f929e17b39e1
addedK-groups of finite fields (Quillen)7b0ce3d882dc
addedK-groups of rings of integers are finitely generated8cb95672c4dc
addedBorel's computation of K_i(Z) modulo torsion905ad343e248
addedDependence on Vandiver's conjecture8beada1b9539
addedParshin's conjecture302c4aac66ff
addedBass' conjecture25723fe018d9