Subgrupos ciclicos. Orden de un grupo.

Orden de un
elemento
Dado un elemento de un grupo podemos considerar el
conjunto de las potencias enteras de que resulta ser un subgrupo de . Es el
subgrupo ciclico generado por el elemento . Si hay un
elemento talque , se dice que es cclico y un generador de .
Llamaremos orden de al numero de elementos que tiene, cardinal
de . Llamaremos orden de un elemento al orden del subgrupo generado por
l . Se puede probar (Ejercicio) que el orden de un elemento coincide con el
menor natural positivo tal que si existe y si no es infinito.

Grupos generados y grupos cclicos
lgebra/Teora de grupos/Grupos generados y grupos cclicos
Grupos generados y grupos cclicos[editar]
Si y son dos subgrupos de un grupo , es fcil ver que es de nuevo un
subgrupo de . Ms an, si es una familia de subgrupos de , entonces es
tambin un subgrupo de .

Definicin 1.16: Sea un grupo y . Se llama subgrupo generado por a la
interseccin de todos los subgrupos de que contienen a , y se representa por . Es
decir,



donde es cualquier grupo que contenga al conjunto . Cuando sea un conjunto finito,
digamos , escribiremos tambin en lugar de .
Equivalentemente, tenemos que se puede definir como el menor subgrupo de que
contiene a .
En realidad, es posible saber explcitamente la forma que tienen los elementos de :

Teorema 1.17: Sea un grupo y . Defnase .
Entonces es el grupo formado por todos los elementos que son el producto de un nmero
finito de elementos de o de . En otras palabras,



Demostracin: Sea .
Sean y elementos de , de modo que





donde o y o para todo . El hecho
de que se sigue inmediatamente de (G-5) del teorema 1.7, as que es un
grupo que adems, como es claro, contiene a , de modo que , pero tambin es
claro que (pues los elementos de y sus inversos estn en , luego cualquier
producto entre ellos estar tambin en ), por lo que termina siendo .


El teorema siguiente es un caso particular del teorema anterior.

Teorema 1.18: Sea un grupo finito y . Entonces





Demostracin: Si es finito, las potencias , , de cualquier de no pueden
ser todas diferentes, por lo que deben existir enteros tales que , o sea
que (donde ), de lo que se
sigue (con ). Esto significa que todo
elemento de tiene su inverso en , pues ste puede
expresarse como un producto de elementos de .


Como consecuencia inmediata del teorema 1.17 tenemos tambin que

Corolario 1.19: Sea un grupo y . Entonces




Definicin 1.20: Si es un grupo y es un elemento de tal que , i.e. si es
generado por un slo elemento suyo , se diceque es un grupo cclico. Ms en general,
si con cada en , se dice que es un grupo finitamente
generado.

Como un ejemplo de grupo cclico, tenemos al grupo aditivo generado por su
unidad (aunque tambin puede ser generado por ). Se trata de un grupo cclico infinito,
al igual que lo es el grupo aditivo

.



cuyo generador es . En general, forma un grupo cclico infinito
respecto de la adicin, y cuyo generador es . Es muy fcil notar
que y son isomorfos, siendo la aplicacin , dada por





el isomorfismo entre ellos.
Otro ejemplo de grupo cclico es el grupo aditivo , cuyos elementos son las clases de
equivalencia surgidas a partir de la relacin de congruencia mdulo (
) sobre . Se trata en este caso de un grupo cclico finito de orden .

Un ejemplo ms de grupo cclico: el grupo multiplicativo , generado
por (o tambin por ).

170px
Figura: genera al grupo multiplicativo

El lector puede verificar que, como un hecho ms general, el grupo multiplicativo de
las races complejas de la unidad, , es un grupo cclico.

A parte del corolario 1.19, hay otro hecho caracterstico de los grupos cclicos que nos va a
interesar:

Teorema 1.21: Sea un grupo y un elemeno de . Entonces, si , el
grupo consiste de los elementos y si y slo
si .

Demostracin: Por el corolario 1.19, existe el menor entero tal que . Vemos
entonces que los elementos son todos distintos, pues
si con , entonces con , pero hemos
supuesto que es el menor entero que cumple . Luego vemos que
, , , etc., de modo que las potencias de comienzan a repetirse a
partir de y as con . Adems se
observa que para cualesquiera
enteros y , de modo que si y slo si .


Por el teorema anterior, tenemos que si y , entonces .

Otra consecuencia del corolario 1.19 es que todo grupo cclico es abeliano. En efecto, pues
dos elementos de un grupo son de la forma y , y





Uno de nuestros propsitos principales en nuestro estudio de la teora de grupos es
determinar explcitamente las caractersticas de los subgrupos de un grupo dado. Para un
grupo cualquiera, esta tarea resulta bastante complicada, y no podremos confrontarla
realmente hasta despus de haber obtenido una buena cantidad de resultados a cerca de
grupos. Sin embargo, cuando el grupo en cuestin es cclico, esta tarea resulta mucho ms
sencilla.

Teorema 1.22: Todo subgrupo de un grupo cclico es cclico.

Demostracin: Sea un grupo cclico. Si , entonces existen dos
posibilidades: que sea trivial, en cuyo caso , o que exista un entero positivo
mnimo tal que . En este ltimo caso, claramente . Ahora bien,
si , entonces es de la forma pues es un subgrupo de , y por el algoritmo
de la divisin tenemos que , con y , o sea
que



por lo que slo puede ser ya que hemos supuesto que es el menor entero positivo
para el cual , as que todo elemento de es de la forma ,
luego , y as concluimos que , lo que demuestra el teorema.


Como caso particular, tenemos que todo subgrupo del grupo aditivo es cclico. Para ser
exactos, todo subgrupo de es de la forma , donde, segn el teorema anterior, es
el menor entero positivo de .

Mostraremos ahora que, esencialmente, los nicos grupos cclicos son el grupo aditivo
(infinito) y los grupos aditivos (finitos) de la forma .

Teorema 1.23 (Teorema de clasificacin de grupos cclicos): Todo grupo cclico
infinito es isomorfo al grupo , y todo grupo cclico finito de orden es isomorfo al
grupo .

Demostracin: Sea un grupo cclico. La aplicacin dada por





es un epimorfismo de grupos (lo cual puede verificar el lector) por el teorema <<Teorema
pendiente>>. Por lo tanto, existen las siguientes dos posibilidades:
1. , en cuyo caso es un isomorfismo por el teorema 1.13.
2. contiene un menor entero positivo , y por el teorema 1.22, ,
pues . En este caso, podemos definir una
aplicacin dada por





Esta aplicacin est bien definida, pues si y slo si (con la unidad
de ), es decir, si y slo si , lo que equivale a
que (pues ). Es claro que es un epimorfismo de grupos.
Pero es adems un monomorfismo de grupos, ya que si y slo
si , lo que equivale a , luego . Esto demuestra que es un
isomorfismo.


As pues, tenemos que un grupo cclico es, o isomorfo a (en cuyo caso el grupo en
cuestin es infinito), o isomorfo a un grupo de la forma (en cuyo caso el grupo en
cuestin es finito y de orden ), luego hemos clasificado a todos los grupos cclicos. En
trminos algebraicos, esto quiere decir que los nicos grupos cclicos son y
, pues todos los dems grupos cclicos son isomorfos a ellos, y en realidad no existe ninguna
distincin algebraica entre dos grupos isomorfos.