Está en la página 1de 7

Grupo Matagalpino de matemáticas: Los Karamasov

2011

1. Grupo de Orden 8

Consideremos el plano =

, : ,

y las aplicaciones , () definidas por

, = , y , = , . es la reflexión respecto al eje y es la

rotación 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

aplicación 2 = 4 .

 

identidad

*

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 número real r, donde , son números reales 0. La pareja (G,*) es un grupo, estando * definida como sigue:

, , = , +

Defínanse H y K como sigue, = , | ,

= 1, | .

Las parejas (H,*) y

y

(K,*) son grupos. El primero no abeliano, el segundo abeliano.

2.1 Demuéstrese que , , , ∗∗ , .

Prueba () Primero probamos que , , entonces , ∗∗ , 1 .

Grupo Matagalpino de matemáticas: 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 ,

además el inverso tiene la forma 1 , 1 +0 , luego tenemos que

∗∗ , 1 = ,

con ∈ℚ, ∈ℝ ,

1 , 1 +0

, ∗∗ , 1 = 1 , 1 +0 , de donde

, 1 = 1 , 1 + multiplicando esto último por , resulta

= , 1 + 1 + = , como ∈ ℚ, ′′ ∈ ℝ ,luego .

2.2 Demuéstrese que , , , ∗∗ , . Prueba () Primero probamos que , , entonces , ∗∗ , 1 .

Si , y , entonces = 1, que

∈ ℝ , además , 1 = 1 , 1 +0 de ahí

, , 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 matemáticas: Los Karamasov

2011

3. Si

G

es un grupo abeliano, probar que () = para todos los

enteros .

Prueba

Haciendo inducción 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

=

=

=

=

()

+1 +1

definición de potencias

Por hipótesis inductiva

Por asociatividad y conmutatividad

Por definición de potencias

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

Para

1

< 0 ,

=

1 , luego por lo probado anteriormente se concluye que () =

podemos

escribir () =

como

() 1

es válido para todo entero .

4.

Si G es un grupo en el cual = , demuéstrese que G es abeliano.

Esto es, debemos probar que Si

2 =

∀ →∗ = ; , .

Prueba Si realizamos el producto

∗ ∗ ∗

=

∗ ∗ ∗

=

2

=

Grupo Matagalpino de matemáticas: Los Karamasov

2011

= 2

=

Hemos encontrado que

cuadrado en G es la identidad, entonces podemos plantear:

∗ ∗ ∗

= , por otro lado como todo elemento al

∗ ∗ ∗

() 2 ∗ ∗ ∗

∗ ∗

=

 

=

∗ ∗ ∗

∗ ∗

=

() 2

=

∗ ∗

=

Porque ambos son .

Multiplicando

ambos

lados

por

y

asociando

 

Dado

que

todo

elemento

de

G

elevado

al

cuadrado

es .

Propiedad

 

de

identidad.

 

5. Si G es el grupo definido en 2, encuéntrese todas las , tales que

, , = , ,

Como , 1, = , + y 1, , = ,+ , entonces

, + = ,+ = ,+

deben ser de la forma 1, .

cuando = 1, de ahí que las aplicaciones buscadas

6. Grupo Diédrico de orden 6

Sea P el plano y f

respecto al origen a través de un ángulo de 2

reloj. Se define =

la aplicación como en el punto 1. Sea = 3 y h la rotación del plano

= 120 en sentido opuesto a las agujas del

y el producto * en G vía el producto usual

| = 0, 1; = 0, 1, 2

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

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

h 1

y

x y y x
x
y
y
x

h 0

x

h 2

Grupo Matagalpino de matemáticas: Los Karamasov

2011

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

Imágenes de los ejes coordenados bajo la rotación h.

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

0 1 , = 1 , = + ,

0 2 , = 2

, = 2 + 2, 22

1 0 , = 1 , = , 1 1 , = −−, 1 2 , = 22, 22

Además, se toma en cuenta que

1 1 , = 2 + 2, 2 + 2 = −−,

cuando = 120.

Una fórmula conocida para encontrar los resultados de la tabla es la siguiente:

= + 1 +

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

Prueba

La fórmula

= + 1 + del párrafo anterior

nos da la cerradura.

A continuación probamos la asociatividad

=

+ 1 +

= + + 1

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 matemáticas: Los Karamasov

2011

que

ahí que + = 0

tiene la

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

1 , luego existe inverso y

forma = 1 .

y

1 + = 0

por tanto =

y =

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

Aclaración: La suma realizada con los exponentes de coincide con la suma en 2 y análogamente para en 4 .

8. Demuéstrese que cualquier grupo G de orden 4 o menor es abeliano.

Prueba

(1) Si G tiene sólo 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 operación es entonces = = , = = . En el caso de el resultado no puede ser dado que = implica que

1 = 1 de donde = . Esta última igualdad contradice la hipótesis 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

que = , = , = = .

Revisando todas las igualdades, vemos que el grupo es conmutativo. (4) Para un grupo de orden 4, tenemos las tablas del grupo cíclico de orden 4 y del grupo de

= , = , = = , = , = , = =

conducen a contradicciones

debe ocurrir

Klein en las cuales se puede ver que se cumple la conmutatividad.

Grupo de Klein

e

a

b

c

e

e

a

b

c

a

a

e

c

b

b

b

c

e

a

c

c

b

a

e

Grupo cíclico de orden 4

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 matemáticas: 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

para la otra parte.

1 ∗ ∗ = 1 ∗ ∗

de donde sale = . Análogamente