Un grupo es un conjunto formula_36 en el que hay definida una operación, es decir, una aplicación formula_37 que a cada par de elementos del conjunto le asigna otro elemento del conjunto (que será el resultado de operar dichos dos elementos).