un conjunto, y sea 
una operación binaria. Se dirá que 
es un grupo abeliano o grupo conmutativo si se cumplen las siguientes propiedades:
1. 
para todos los elementos 
. (asociatividad).
2. Existe un elemento 
, tal que 
cualquiera que sea el elemanto 
(existencia de elemento neutro).
3. A cada elemento le podemos asociar un elemento 
, de tal forma que 
(existencia de elementos simétricos).
4. 
para todos los elementos 
(conmutatividad).Enciclopedia Universal. 2012.