docoo
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$
--