Qué es un grupo?

Un grupo es un conjunto, G, conjuntamente con una operación
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 operación a • b también pertenece
a G.
∀a,b ∈ G : a⋅b ∈ G
Asociatividad
Para todos a, b y c de G, se cumple la ecuación (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 ecuación e • a = a • e = a. El elemento de identidad de un
grupo G se escribe a menudo como 1 o 1G, una notación heredada de la
identidad multiplicativa.
∃e ∀a ∈ G : a⋅e = e⋅a = a
Elemento inverso
Para todo a de G, existe un elemento b de G tal que a • b = b • a = e.
∀a ∈ G ∃a−1 : a⋅a−1 = a−1⋅a = e
El orden en el que se hace la operación 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 ecuación
a•b=b•a
puede no ser siempre cierta. Esta ecuación siempre se cumple en el grupo
de enteros con la adición: a + b = b + a para dos enteros cualesquiera
(propiedad conmutativa de la adición). Sin embargo, este grupo de simetría
no siempre se cumple como se especificará más abajo. Los grupos para los
cuales la ecuación a • b = b • a se cumple siempre se
denominan abelianos (en honor a Niels Abel). Así, el grupo de los enteros
con la adición es abeliano, pero el grupo de simetría siguiente no lo es.
SUBGRUPO

Sean

un grupo y

llama Subgrupo de

.

El

grupo

se

si y sólo si:

H contiene al elemento identidad de G:

la operación 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 automáticamente en ese caso.
La operación 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 más de un elemento tiene al menos dos subgrupos:

el subgrupo trivial {e}, que contiene sólo al elemento identidad.

el mismo G, que es el subgrupo máximo de G.

Dados dos subgrupos H y K de un grupo G, la intersección

es un

6

subgrupo. En general, la unión 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
canónica de H en G.

por

.

Dicha

función

es

la inyección

Todo elemento a de un grupo G genera un subgrupo cíclico <a>. Si <a>
es isomorfo a Z/n Z para algún número entero positivo n, entonces n es el
número entero positivo más pequeño 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 mínimo 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
inclusión. El ínfimo del retículo, dado por la intersección de conjuntos, es el
subgrupo trivial {e}. En cambio el supremo no es la unión de conjuntos, sino el
subgrupo generado por la unión, y es el mismo G.

GRUPO FINITO
En matemáticas y álgebra

abstracta,

un grupo cuyo conjunto fundamental G tiene

un grupo
un

número

de

finito es
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.
Grupos de permutación
El

grupo

simétrico 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

simétricopara un determinado entero N. El grupo alternante es el subgrupo
correspondiente únicamente de las permutaciones pares.
Grupos cíclicos
Un grupo cíclico 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
típico de este grupo son las N-ésimas raíces de la unidad complejas.
Relacionando a a una raíz primitiva de la unidad se obtiene un isomorfismo entre
las dos. Esto puede ser realizado con cualquier grupo cíclico finito.
Bibliografía:
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