The classical definitions of K_0, K_1, and K_2 for a ring R are(adsbygoogle = window.adsbygoogle || []).push({});

K_0(R)= Grothendieck completion of the set of isomorphism classes of finitely generated projective R-modules.

K_1(R)=GL(R)/E(R)=[GL(R)]^{ab}

For K_2, Milnor used the Steinburg St(R) group which maps onto E(R) and defined K_2(R) to be the kernel of this map. He proved that this is isomorphic to H_2(E(R),Z), which has a nice representation in terms of generators and relators of E(R) by Hopf's formula.

For the higher groups, Quillen used his plus construction and defined K(R)=K_0(R) x (BGL(R)+) and defined K_i(R)=pi_i(K(R)). So for i>0, K_i(R)=pi_i(BGL(R)+) since K_0 has no homotopy. For i=0, the definitions agree since K_0(R) is discrete and BGL(R)+ is path connected. For For i=1, the plus construction kills the homotopy of E(R), so the definitions agree.

I'm having trouble seeing how they agree for i=2. If GL(R) is discrete, I think there is a fibration that will give me the result, but if GL(R) is topological or a manifold, I don't how to show they are the same.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Algebraic K-theory question

**Physics Forums | Science Articles, Homework Help, Discussion**