Definicion 1 (Un Grupo). : Se dice que un conjunto {G : a, b, c...} forma un grupo si hay una operacion *, llamada multiplicacion, tal que
∗ : G × G −→ G (a, b) 7−→ a ∗ b
que satisface las siguientes condiciones.
i) La operacion es asociativa es decir, a ∗ (b ∗ c) = (a ∗ b) ∗ c, ∀a, b, c ∈ G ii) Entre los elementos de G, existe un elemento e, llamado la identidad, que tiene la propiedad que a ∗ e = a, ∀a ∈ G iii) Para cada a ∈ G, hay un elemento a−1 ∈ G, llamado el inverso de a, que tiene la propiedad que a * a−1 = e