Given natural numbers , we could construct integers by considering the equivalence relation on as follows,

- if for some

Obviously, it’s a equivalence relation from properties of commutativity. Thus we have equivalence class where . Then, , and . This construction from a commutative monoid to abelian group is called **Grothendieck group. Continue reading **