En matemáticas. Estructura que consiste en

un conjunto de elementos y una operación

interna (*) entre ellos que cumple las

propiedades asociativa, elemento neutro y

elemento simétrico.