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