Group Theory/Abelian groups and the Grothendieck group of a monoid