Group completion

• What Are Groupification and Perfection of a Commutative Monoid?
  Groupification embeds a commutative monoid into a universal group when cancellation holds; p-perfection adjoins compatible p-th roots via Frobenius.