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 - The Fusion of Science and Community**

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

Loading...

Similar Threads for Algebraic theory question | Date |
---|---|

I What are the groups for NxNxN puzzle cubes called? | Dec 24, 2017 |

Basic Questions in linear algebra and group theory | Nov 30, 2014 |

A very challenging question regarding in basic algebra group theory? | Oct 12, 2010 |

**Physics Forums - The Fusion of Science and Community**