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

ley de composicin interna (aplicacin 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 simtrico:

Un grupo se encuentra conformado por un conjunto de objetos abstractos o

smbolos, y tambin por la ley de composicin interna que es la que se
encarga de relacionarlos. La ley de composicin interna nos aclara cmo
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
operacin binaria cumple con esta propiedad:

Cuando el grupo es abeliano es habitual denotar la operacin binaria con el

signo +.
Se puede ver el concepto de grupo como un caso particular de grupos con
operadores en (con accin, 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 anloga se tiene el elemento de identidad derecho y el inverso
derecho. Cuando es clara la notacin de la operacin 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 tambin 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 notacin aditiva cuando se representa la ley de composicin
interna como a + b, y el elemento neutro como 0 . La notacin
multiplicativa es aquella en la cual la ley de composicin interna se
representa como ab, y el elemento neutro como 1 .
Lee todo en: Teora de grupos | La Gua de
Matemtica http://matematica.laguia2000.com/general/teoria-degrupos#ixzz3dvVGONZ0

Subgrupo:
En lgebra, dado un grupo G con una operacin binaria *, se dice que
un subconjunto no vaco H de G es un subgrupo de G si H tambin forma un
grupo bajo la operacin *. O de otro modo, H es un subgrupo de G si
la restriccin 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 operacin * cuando G lleva varias estructuras algebraicas o de
otro tipo. En lo siguiente, se sigue la convencin usual y se escribe el
producto a*b como simplemente ab.

Grupo finito:
En matemticas y lgebra abstracta, un grupo finito es
un grupo cuyo conjunto fundamental G tiene un nmero de elementos finito.
Durante el siglo XX, los matemticos han investigado ciertos aspectos de la
teora de grupos finitos en gran profundidad, especialmente la teora
local de grupos finitos, y la teora de grupos resolubles y grupos nilpotentes.
Una completa determinacin de la estructura de todos los grupos finitos es
demasiado ambiciosa; el nmero de posibles estructuras pronto se
convierte en abrumadora. Sin embargo, la clasificacin completa de grupos
finitos simples se ha podido conseguir, lo que significa que los bloques de
construccin con los cuales todos los grupos finitos pueden ser construidos
se conoce ahora, ya que cada grupo finito tiene una serie de composicin.

Homomorfismo: