' b ' c math set math g sim math structure group math g math math b b ' b ' b math equivalence classes group thought formal differences elements abelian monoid group math g math also associate monoid homomorphism math g math given math mapsto math certain universal property get better understanding group consider equivalence classes abelian monoid math math denote identity element math math
Formal science Mathematics Pure mathematics Algebra K-theory