PROBLEMA 1

Demostrar que todo grupo infinito tiene un nmero infinito de subgrupos

Solucin:
Sea

un grupo de orden infinito.

Es obvio que

, (donde es el subgrupo generado por el elemento ).

xG

Por tanto, se tienen uno de estos dos casos:

a) Si todo elemento de tiene orden finito, tiene que haber una cantidad infinita de subgrupos
distintos , y por tanto tiene un nmero infinito de subgrupos.
b) Si existe un elemento
cuyo orden no es finito, entonces los subgrupos y son
distintos si
.
y por tanto
En efecto, sea. Si entonces
tal que
.
Por tanto
. Pero como estamos suponiendo que el orden de es infinito, se tiene que
, es decir que divide a . Anlogamente, llegaramos a que divide a y por tanto
.
Por tanto

tiene un nmero infinito de subgrupos.

PROBLEMA 2

a) Si

y , es un grupo que tiene un nico elemento

y
.

b) Probar que un grupo, , no puede tener exactamente

de orden

, demostrar que

elementos de orden .

c) Dar un ejemplo de un grupo

infinito en el cual existe exactamente un elemento de orden .

d) Dar un ejemplo de un grupo

infinito en el cual todo elemento salvo el neutro, tiene orden .

Solucin:
a) Probaremos primero la primera parte de la afirmacin, es decir, si
de orden , entonces
.
Para ello veamos primero que
.
En efecto,
divide a
.
Por otro lado si
, entonces
. Por tanto
divide a
.
As
.
As como es el nico elemento de orden , se tiene que
. Es decir,
Veamos ahora la otra parte de la afirmacin: si
.
Por reduccin al absurdo, supongamos que
que
Entonces
tanto
As, y

tiene un nico elemento,

, y sea entonces

. Adems

. Por tanto

, y por tanto,

de orden , entonces

un primo que no divida a

ya que en caso contrario,

, lo que contradice que

seran dos elementos distintos, de orden

d) Sean ,
elementos distintos de orden
Si
entonces

tiene un nico elemento,

y por

.
lo que contradice la hiptesis.

, y el elemento

y tal

tendra orden .

Si

, entonces por un lado,

ya que si fueran iguales, multiplicando por la derecha por se tendra
.
Por otro lado tambin se tiene que
, ya que como es de orden ,
y
simplificando en la igualdad anterior tendramos
y por tanto
, lo que contradice
.
Pero
.
Por tanto el orden del elemento
es y tendramos al menos tres elementos de orden .

c) Sea
tiene orden . Adems es el nico elemento de orden , ya que si
Es claro que el elemento
de orden , sera ( )
= y por tanto,
hubiera otro elemento
y , porque si fuera
, entonces ( ) sera el neutro que tiene orden 1.

d) Sea

el grupo formado por las sucesiones

, donde

con

Es obvio, que todos los elementos de

excepto el neutro, tienen orden .

}, con la operacin:

PROBLEMA 3

a) Sean

subgrupos de un grupo

y sea

, el subgrupo generado por

Demostrar que:
[
b) Demostrar que si y
un subgrupo de orden

son primos y

entonces todo grupo de orden

contiene a lo sumo

Solucin:
a) Definiremos una aplicacin, , entre los conjuntos cocientes
demostrar la desigualdad, basta ver que es inyectiva.
As sea

Primero veamos que

En efecto, si
Veamos ahora que

. Para

est bien definida.

entonces
.
es inyectiva:
, y por tanto

tenemos que

, luego

es inyectiva.

b) Sea un grupo de orden , primos en la condiciones del enunciado. Por reduccin al absurdo,
supongamos ahora que existen dos grupos y tales que
y| | | |
.
{ } ya que en caso contrario, sea
Entonces,
con
. As, por el teorema de
Lagrange, divide a y por tanto
, es decir,
lo que contradice la
hiptesis inicial.
{ } [
]
As
y por tanto,
| | |
| [

] | | [
] | | [
{ }] | |
| | | |
Lo que es una contradiccin y queda probado por tanto el resultado.

PROBLEMA 4
Sea

un grupo. Demostrar que:

a) Si existe un natural, , tal que

b) Si existe un natural,
abeliano.

se tiene que

tal que

entonces

para

, entonces

es

Solucin:
a) Por hiptesis, tenemos que

y por otro lado, se tiene que:

.

Igualando ambos resultados, tenemos que:

,
como queramos demostrar.

b) Como

, por el apartado a) se tiene que

entonces
(2)
Anlogamente, aplicando el apartado a) y la hiptesis inicial, tenemos que
por tanto,

y como por hiptesis

, y
(2).

Multiplicando las igualdades (1) y (2) tenemos que

Por tanto es abeliano.

PROBLEMA 5
a) Dar un ejemplo de un grupo abeliano que contenga elementos
tales que
b) Dar un ejemplo de un grupo que contenga elementos
primos entre s y tales que

con

con

,y

, con

y ,

c) Dar un ejemplo de un grupo con dos elementos de orden infinito, cuyo producto sea de orden
finito y distinto de 1.
d) Dar un ejemplo de un grupo con dos elementos de orden finito, cuyo producto tenga orden
infinito.

Solucin:
a) Para que esto se cumpla, no pueden ser y
,
. Tenemos que
y

primos entre s. As, por ejemplo sea

, sin embargo,

b) Para que se pueda cumplir este apartado, el grupo no puede ser abeliano. Sea
diedral de orden 6 y sea
,
.
As, tenemos que
y
, ya que
,y
,y
Pero como
tenemos que
.
c) Sea
(
d) Sea

y sea

,
(

, el grupo multiplicativo de las matrices no singulares de orden

Se puede comprobar que

elementos tienen orden finito.
Sin embargo

, el grupo
.

. Ambos elementos tienen orden infinito, pero

.

y sea

),

y sea

).

( matriz identidad de orden 2), y por tanto ambos

) y es fcil ver que

) y por tanto tiene orden infinito.