), donde G es un conjunto no vacío y * una ley de composición interna, esto es 
, verificando:
1. 
(asociatividad)
2. 
(elemento neutro)
3. 
(elemento inverso)
En otras palabras, un grupo es un conjunto con una operación binaria asociativa, cerrada, que posee inversos y elemento neutro.Enciclopedia Universal. 2012.