Un grupo ye un conchunto, G, chunto con una operación binaria "•" que combina dos elementos qualsiquiera a y b de G ta formar unatro elemento denotato a • b. O simbolo "•" ye un elemento cheneral ta representar una operación qualsiquiera, como l'adición en l'eixemplo anterior. Ta poder-se calificar como un grupo, lo conchunto y a operación (G, •), han de satisfer quatre requisitos conoixitos como los axiomas de grupo: