Un grupo (G, o) corresponde a un conjunto G en el cual hay definida una

ley de composición interna (aplicación de un operador en los elementos de
un conjunto. El operador se encarga de tomar el elemento inicial o los
elementos y los relaciona con otros elementos propios de un conjunto final
que puede o no ser de igual naturaleza) que obedece a los siguientes
axiomas:
• Asociatividad:
• Elemento neutro o elemento de identidad:

• Elemento simétrico:

Un grupo se encuentra conformado por un conjunto de objetos abstractos o
símbolos, y también por la ley de composición interna que es la que se
encarga de relacionarlos. La ley de composición interna nos aclara cómo
debemos manipular los objetos del grupo. Se dice que un grupo es abeliano
o conmutativo si se puede verificar la propiedad conmutativa. Es decir si su
operación binaria cumple con esta propiedad:

Cuando el grupo es abeliano es habitual denotar la operación binaria con el
signo +.
Se puede ver el concepto de grupo como un caso particular de grupos con
operadores en ∅(con acción, la única posible de ∅ en G).
El elemento e lo denominaremos elemento de identidad izquierdo o
simplemente identidad izquierda de x.
Mientras que,
lo llamaremos inverso izquierdo de y.
De manera análoga se tiene el elemento de identidad derecho y el inverso
derecho. Cuando es clara la notación de la operación binaria, con frecuencia
se excluye y sencillamente se designa un grupo (G, o) con G. Al pedir que se
tenga un elemento de identidad por el lado izquierdo e inverso izquierdo,
estará implicado que se tengan identidad e inverso derechos. En un grupo
(G, o), si un elemento es inverso izquierdo se tendrá inverso derecho. Si e es
identidad izquierda, por lo cual tiene identidad derecha.

Consideremos,

para un elemento x ∈ G. y también un elemento inverso izquierdo del
elemento,

es decir,

Luego,

Así que,

es inverso derecho de x. Ahora, para cualquier elemento x, consideremos
las siguientes igualdades,

Entonces e es identidad derecha.
Diremos que e corresponde al elemento de identidad de un grupo G si e es
entonces elemento de identidad izquierdo o derecho y hablaremos del
inverso de un elemento si existe su inverso izquierdo o derecho.
* Se habla de notación aditiva cuando se representa la ley de composición
interna como “a + b”, y el elemento neutro como ” 0 “. La notación
multiplicativa es aquella en la cual la ley de composición interna se
representa como “”ab”, y el elemento neutro como ” 1 “.
Lee todo en: Teoría de grupos | La Guía de
Matemática http://matematica.laguia2000.com/general/teoria-degrupos#ixzz3dvVGONZ0

Subgrupo:
En álgebra, dado un grupo G con una operación binaria *, se dice que
un subconjunto no vacío H de G es un subgrupo de G si H también forma un
grupo bajo la operación *. O de otro modo, H es un subgrupo de G si
la restricción de * a H satisface los axiomas de grupo.1

Un subgrupo propio de un grupo G es un subgrupo H que es un subconjunto
propio de G (es decir H ≠ G). El subgrupo trivial de cualquier grupo es el
subgrupo {e} que consiste solamente en el elemento identidad.
El grupo G a veces se denota por el par ordenado (G, *), generalmente para
acentuar la operación * cuando G lleva varias estructuras algebraicas o de
otro tipo. En lo siguiente, se sigue la convención usual y se escribe el
producto a*b como simplemente ab.

Grupo finito:
En matemáticas y álgebra abstracta, un grupo finito es
un grupo cuyo conjunto fundamental G tiene un número de elementos finito.
Durante el siglo XX, los matemáticos han investigado ciertos aspectos de la
teoría de grupos finitos en gran profundidad, especialmente la teoría
local de grupos finitos, y la teoría de grupos resolubles y grupos nilpotentes.
Una completa determinación de la estructura de todos los grupos finitos es
demasiado ambiciosa; el número de posibles estructuras pronto se
convierte en abrumadora. Sin embargo, la clasificación completa de grupos
finitos simples se ha podido conseguir, lo que significa que los «bloques de
construcción» con los cuales todos los grupos finitos pueden ser construidos
se conoce ahora, ya que cada grupo finito tiene una serie de composición.

Homomorfismo: