Grupo Matagalpino de matemticas: Los Karamasov

2011

1. Grupo de Orden 8
Consideremos el plano = , : , y las aplicaciones , () definidas por
, = , y , = , . es la reflexin respecto al eje y es la rotacin de
90 en sentido opuesto a las manecillas del reloj respecto del origen. Definiendo
= : = 0,1; = 0, 1, 2, 3 y sea * en G el producto de elementos de (). Se tiene como
aplicacin
identidad
2
4
= .
*
0 0 0 1 0 2 0 3 1 0 1 1 1 2 1 3
0 0

0 0

0 1

0 2

0 3

1 0

1 1

1 2

1 3

0 1

0 1

0 2

0 3

0 0

1 3

1 0

1 1

1 2

0 2

0 2

0 3

0 0

0 1

1 2

1 3

1 0

1 1

0 3

0 3

0 0

0 1

0 2

1 1

1 2

1 3

1 0

1 0

1 0

1 1

1 2

1 3

0 0

0 1

0 2

0 3

1 1

1 1

1 2

1 3

1 0

0 3

0 0

0 1

0 2

1 2

1 2

1 3

1 0

1 1

0 2

0 3

0 0

0 1

1 3

1 3

1 0

1 1

1 2

0 1

0 2

0 3

0 0

2. Sea el conjunto de todas las aplicaciones , : definidas por , =

+ para todo nmero real r, donde , son nmeros reales 0. La pareja
(G,*) es un grupo, estando * definida como sigue:
, , = , +
Defnanse H y K como sigue,
= , | ,
y
= 1, | .
Las parejas (H,*) y (K,*) son grupos. El primero no abeliano, el segundo abeliano.
2.1 Demustrese que , , , , .
Prueba
1
() Primero probamos que , , entonces , , .

Grupo Matagalpino de matemticas: Los Karamasov

2011

Si , entonces tiene la forma , , luego

, , = , + ; luego el inverso de , es , 1 = 1 , 1 +0 , luego

, + 1 , 1 +0 = , + + = ,(2 +1) ; como (2 +
1) entonces , , 1 .
() Ahora probamos que , , ,

, entonces .

, , 1 entonces , , 1 = ,
con , ,
adems el inverso tiene la forma 1 , 1 +0 , luego tenemos que
1 , 1 +0 , , 1 = 1 , 1 +0 , de donde
, 1 = 1 , 1 + multiplicando esto ltimo por , resulta
= , 1 + 1 + = , como , ,luego .

2.2 Demustrese que , , , , .

Prueba
1
() Primero probamos que , , entonces , , .
Si , y , entonces = 1, , adems ,

= 1 , 1 +0 de ah

que
, , 1 = , 1, 1 , 1 +0
= , + 1 , 1 +0
= 1,+ +
= 1,
() Ahora probamos que , , ,

Si , ,

entonces , ,

, entonces .

= 1, , multiplicando ambos

lados por , queda , ( , 1 , ) = 1, , de donde , =

,+ multiplicando nuevamente ambos lados por 1 , 1 +0 i.e.
1 , 1 +0 , = 1 , 1 +0 ,+ resulta
= 1,+ = 1, .

Grupo Matagalpino de matemticas: Los Karamasov

2011

3. Si G es un grupo abeliano, probar que ( ) = para todos los

enteros .
Prueba
Haciendo induccin sobre 0
Si = 0 se tiene ( )0 = 0 0 , lo cual es verdadero. Supongamos que
( ) = es verdadero para todo 0. Veamos qu sucede tomando
como exponente + 1.
( )+1 =

( )

definicin de potencias

Por hiptesis inductiva

Por asociatividad y conmutatividad

+1 +1

Por definicin de potencias

Por lo que ( )+1 = +1 +1 .

Para < 0 , podemos escribir ( ) = como ( )1 =
1 1 , luego por lo probado anteriormente se concluye que ( ) =
es vlido para todo entero .

4. Si G es un grupo en el cual = , demustrese que G es abeliano.

Esto es, debemos probar que Si 2 = = ; , .
Prueba
Si realizamos el producto

Grupo Matagalpino de matemticas: Los Karamasov

=
=

2011

Hemos encontrado que = , por otro lado como todo elemento al

cuadrado en G es la identidad, entonces podemos plantear:

=
=

Porque ambos son .

Multiplicando ambos
lados por y
asociando

( )2

= ( )2
=

Dado
que
todo
elemento
de
G
elevado al cuadrado
es .
Propiedad
de
identidad.

5. Si G es el grupo definido en 2, encuntrese todas las , tales que

, , = , ,
Como , 1, = , + y 1, , = ,+ , entonces
, + = ,+ = ,+ cuando = 1, de ah que las aplicaciones buscadas
deben ser de la forma 1, .
6. Grupo Didrico de orden 6
Sea P el plano y f la aplicacin como en el punto 1. Sea = 3 y h la rotacin del plano
respecto al origen a travs de un ngulo de

= 120 en sentido opuesto a las agujas del

reloj. Se define = | = 0, 1; = 0, 1, 2 y el producto * en G va el producto usual

de aplicaciones. Se verifica que 2 = 3 = y que la pareja (G,*) es un
grupo de orden 6 no abeliano, como se ve en la tabla.
1

0 0

0 1

0 2

1 0

1 1

1 2

0 0

0 0

0 1

0 2

1 0

1 1

1 2

0 1

0 1

0 2

0 0

1 2

1 0

1 1

0 2

0 2

0 0

0 1

1 1

1 2

1 0

1 0

1 0

1 1

1 2

0 0

0 1

0 2

x
y

y
x

Grupo Matagalpino de matemticas: Los Karamasov

1 1

1 1

1 2

1 0

0 2

0 0

0 1

1 2

1 2

1 0

1 1

0 1

0 2

0 0

2011

Imgenes de los ejes coordenados bajo la rotacin h.

Para elaborar la tabla se debe tomar en cuenta las siguientes igualdades.

0 0 , = ,
0 1 , = 1 , = + ,
0 2
, = 2 , = 2 + 2, 2 2
1 0 , = 1 , = ,
1 1 , = ,
1 2 , = 2 2, 2 2
Adems, se toma en cuenta que
1 1 , = 2 + 2, 2 + 2 = ,

cuando = 120.
Una frmula conocida para encontrar los resultados de la tabla es la siguiente:
= +

1 +

7. Refirmonos al punto 6 anterior. Probar que (G,*) es un grupo para = .

Prueba

La frmula = + 1 + del prrafo anterior nos da la cerradura.

A continuacin probamos la asociatividad

1 +

( )

+ +

=
=
=
=
=

1 + +

1 + 1 +

1 1 + 1 +

1 1

1 +

Como en 6, la identidad es siempre 0 0 . Encontremos la forma que tiene el inverso de cualquier

elemento de G. Para esto tomemos . Si es el inverso de entonces debe ocurrir

Grupo Matagalpino de matemticas: Los Karamasov

2011

que = 0 0 = . Aplicando de 6, resulta + 1 + = 0 0 de

ah que + = 0 y 1 + = 0 por tanto = y = 1 , luego existe inverso y
tiene la forma =

Por todo lo anterior, la pareja (G,*) es un grupo.

Aclaracin: La suma realizada con los exponentes de coincide con la suma en 2 y anlogamente
para en 4 .

8. Demustrese que cualquier grupo G de orden 4 o menor es abeliano.

Prueba
(1) Si G tiene slo un elemento, este elemento debe ser la identidad, por tanto es evidente
que es conmutativo.
(2) Si el grupo es de orden 2 entonces tiene dos elementos . Tomamos
como la identidad. Si la operacin es entonces = = , = = .
En el caso de el resultado no puede ser dado que = implica que
1 = 1 de donde = . Esta ltima igualdad contradice la hiptesis de
que el grupo tiene 2 elementos.
(3) Si el grupo es de orden 3, entonces tiene tres elementos diferentes: , , . Supongamos
que es la identidad. Tenemos las igualdades siguientes:
= = , = = , = . Ahora bien, debemos indicar a qu
elementos son iguales las siguientes expresiones , , . Dado que
= , = , = = , = , = , = =
nos
conducen a contradicciones debe ocurrir que = , = , = = .
Revisando todas las igualdades, vemos que el grupo es conmutativo.
(4) Para un grupo de orden 4, tenemos las tablas del grupo cclico de orden 4 y del grupo de
Klein en las cuales se puede ver que se cumple la conmutatividad.
Grupo de Klein

Grupo cclico de orden 4

Grupo Matagalpino de matemticas: Los Karamasov

2011

9. Si G es cualquier grupo y , , , demostrar que si = , entonces

= , y si = , entonces = .
Prueba
Supongamos que = , entonces multiplicando ambos lados por el inverso
de , nos queda 1 = 1 de donde sale = . Anlogamente
para la otra parte.