Theorem List
- Thm: representation of Grothendieck-group as quotient group
- Thm: commutation properties of elementary matrices with entries from noncommutative ring
- Thm: representation of Grothendieck-group as group of stable equivalence classes
- Thm: Grothendieck-group left adjoint to forgetful functor
- Thm: category of isomorphism classes of finitely generated projective modules of ring as abelian monoid
- Thm: stable equivalence of modules generating the same K-theory element
- Thm: representation of algebraic K1 of ring with group of elementary matrices