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
.












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
() Primero probamos que
,
, entonces
,

,
1
.
*
0

0

0

1

0

2

0

3

1

0

1

1

1

2

1

0

0

0

0

1

0

2

0

3

1

0

1

1

1

2

1

1

0

1

0

2

0

3

0

0

1

3

1

0

1

1

1

2

0

2

0

3

0

0

0

1

1

2

1

3

1

0

1

3

0

3

0

0

0

1

0

2

1

1

1

2

1

3

1

0

1

0

1

1

1

2

1

3

0

0

0

1

0

2

0

1

1

1

1

2

1

3

1

0

0

3

0

0

0

1

0

2

1

2

1

3

1

0

1

1

0

2

0

3

0

0

0

3

1

3

1

0

1

1

1

2

0

1

0

2

0

3

0

0

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
,

,

,
1
, 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
() Primero probamos que
,
, entonces
,

,
1
.
Si
,
y , entonces =
1,
, adems
,
1
=

1
,
1
+0
de ah
que

,

,
1
=
,

1,

1
,
1
+0

=
, +

1
,
1
+0

=
1,+ +

=
1,


() Ahora probamos que
,

,

,
1
, entonces .
Si
,

,
1
entonces
,

,
1
=
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

, 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
=


=


2

=


Grupo Matagalpino de matemticas: Los Karamasov
2011

=
=

2



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
2

= 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.

*
0

0

0

1

0

2

1

0

1

1

1

0

0

0

0

1

0

2

1

0

1

1

1

1

0

1

0

2

0

0

1

2

1

0

1

2

0

2

0

0

0

1

1

1

1

2

1

0

1

0

1

1

1

2

0

0

0

1

0

2

x
y
x
y
x
y
h
0
h
1
h
2
Grupo Matagalpino de matemticas: Los Karamasov
2011










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

0
, = ,

1
, =
1
, = +,

2
, =
2
, = 2 +2, 2 2

0
, =
1
, = ,

1
, = ,

2
, = 2 2, 2 2

Adems, se toma en cuenta que

1
, = 2 + 2, 2 + 2 = ,
cuando = 120.

Una frmula conocida para encontrar los resultados de la tabla es la siguiente:

=
+

+


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

=
+

+
del prrafo anterior nos da la cerradura.
A continuacin probamos la asociatividad

=
+

++

++

++

+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

1

1

1

1

2

1

0

0

2

0

0

0

2

1

2

1

0

1

1

0

1

0

2

0

0

Imgenes de los ejes coordenados bajo la rotacin h.
Grupo Matagalpino de matemticas: Los Karamasov
2011

que

=
0

0
=

. Aplicando de 6, resulta
+

+
=
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









e a b c
e e a b c
a a e c b
b b c e a
c c b a e
e a b c
e e a b c
a a c e b
b b e c a
c c b a e
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.