Grupo $ ( G , \circ ) $

Sea un conjunto $G$ con una LCI bien definida en todos sus elementos dos a dos.
diremos que es un grupo si cumple:

1. "$\circ $" tiene la propiedad asociativa.
2. Existe el elemento neutro respecto de $\circ$
3. Para todo elemento existe su inverso $ \forall g \in G, \exists g' | g \circ g' = i$