Mètode algèbric mitjançant el qual tot semigrup commutatiu (A, +) amb un element neutre e i una llei simplificativa (a + b = a + c implica b = c) admet una extensió en un grup commutatiu G, que és donat per G = (A × A)/R,.
essent R la relació d’equivalència (a,b) R (c,d) si a + d = b + c (en A). Així, el conjunt de nombres enters ℤés el resultat de la simetrització dels nombres naturals ℕ.