Qu es un grupo?

Un grupo es un conjunto, G, conjuntamente con una operacin

binaria que compone dos elementos cualesquiera a y b de G para formar otro
elemento notado como a b o ab. Para poder calificar como un grupo a (G, ),
deben satisfacer cuatro axiomas:4
Cerradura o Clausura
Para todo a, b de G, el resultado de la operacin a b tambin pertenece
a G.
a,b G : ab G
Asociatividad
Para todos a, b y c de G, se cumple la ecuacin (a b) c = a (b c).
Elemento neutro
Existe un elemento e de G, tal que para todos los elementos a de G, se
cumpla la ecuacin e a = a e = a. El elemento de identidad de un
grupo G se escribe a menudo como 1 o 1G, una notacin heredada de la
identidad multiplicativa.
e a G : ae = ea = a
Elemento inverso
Para todo a de G, existe un elemento b de G tal que a b = b a = e.
a G a1 : aa1 = a1a = e
El orden en el que se hace la operacin de grupo puede ser significativo. En
otras palabras, el resultado de operar el elemento a con el elemento b no
debe dar necesariamente el mismo que operando b con a; la ecuacin
ab=ba
puede no ser siempre cierta. Esta ecuacin siempre se cumple en el grupo
de enteros con la adicin: a + b = b + a para dos enteros cualesquiera
(propiedad conmutativa de la adicin). Sin embargo, este grupo de simetra
no siempre se cumple como se especificar ms abajo. Los grupos para los
cuales la ecuacin a b = b a se cumple siempre se
denominan abelianos (en honor a Niels Abel). As, el grupo de los enteros
con la adicin es abeliano, pero el grupo de simetra siguiente no lo es.
SUBGRUPO

Sean

un grupo y

llama Subgrupo de

El

grupo

se

si y slo si:

H contiene al elemento identidad de G:

la operacin binaria es cerrada en H:

H contiene los elementos inversos:

.
.
.

Las dos ltimas condiciones pueden expresarse de forma equivalente en una sola:

En el caso que H sea finito, es suficiente que H sea cerrado bajo producto, puesto
que la existencia de los inversos se sigue automticamente en ese caso.
La operacin binaria es siempre asociativa en H puesto que es asociativa para
todas las ternas de elementos de G, y todos los elementos de H pertenecen a G

Propiedades de los subgrupos

Todo grupo G con ms de un elemento tiene al menos dos subgrupos:

el subgrupo trivial {e}, que contiene slo al elemento identidad.

el mismo G, que es el subgrupo mximo de G.

Dados dos subgrupos H y K de un grupo G, la interseccin

es un

subgrupo. En general, la unin de subgrupos no forma un subgrupo, salvo

que uno de ellos est contenido en el otro.

Dado

un

subgrupo H de

un

grupo G,

se

puede

definir

un homomorfismo natural
definido
cannica de H en G.

por

Dicha

funcin

es

la inyeccin

Todo elemento a de un grupo G genera un subgrupo cclico <a>. Si <a>

es isomorfo a Z/n Z para algn nmero entero positivo n, entonces n es el
nmero entero positivo ms pequeo para el cual an = e, y n se llama el
orden de a. Si <a> es isomorfo a Z, entonces a se dice que tiene orden infinito.

Si S es un subconjunto de G, entonces existe un subgrupo mnimo de G que

contiene S: es el subgrupo generado por S y se denota por <S>. Un elemento
de G est en <S> si y solamente si es un producto finito de elementos de S y
de sus inversos.

El centro de un grupo G, denotado por

, es el subgrupo que contiene a
todos los elementos que conmutan con cualquier elemento g de G. El centro
es siempre un subgrupo normal y abeliano.
abeliano G es el propio G.

El

centro

de

un

grupo

Los subgrupos de cualquier grupo dado forman un reticulado completo bajo

inclusin. El nfimo del retculo, dado por la interseccin de conjuntos, es el
subgrupo trivial {e}. En cambio el supremo no es la unin de conjuntos, sino el
subgrupo generado por la unin, y es el mismo G.

GRUPO FINITO
En matemticas y lgebra

abstracta,

un grupo cuyo conjunto fundamental G tiene

un grupo
un

nmero

de

finito es
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.
Grupos de permutacin
El

grupo

simtrico SN describe

todas

las permutaciones de N elementos.

Hay N! permutaciones posibles que dan el orden del grupo. Por el teorema de
Cayley, cualquier grupo finito puede ser expresado como un subgrupo de un grupo

simtricopara un determinado entero N. El grupo alternante es el subgrupo

correspondiente nicamente de las permutaciones pares.
Grupos cclicos
Un grupo cclico ZN es un grupo en la que todos sus elementos son potencias de
un determinado elemento a donde aN=a0=e, el elemento identidad. Un ejemplo
tpico de este grupo son las N-simas races de la unidad complejas.
Relacionando a a una raz primitiva de la unidad se obtiene un isomorfismo entre
las dos. Esto puede ser realizado con cualquier grupo cclico finito.
Bibliografa:
http://es.wikipedia.org/wiki/Grupo_(matem%C3%A1tica)
http://es.wikipedia.org/wiki/Subgrupo
http://es.wikipedia.org/wiki/Grupo_finito
http://abstract.ups.edu/download/aata-20120811.pdf