Debito a que se pueden calificar como un grupo, o conchunto y operación han de satisfer unas quantas condicions ditas axiomas de grupo, istas condicions son: tener a propiedat asociativa, tener elemento identidat y elemento inverso.