Conjugación de isometrías en el espacio euclidiano

En un grupo , el conjugado por g de h es ghg ⁻¹ .

Traducción

Si h es una traslación, entonces su conjugación mediante una isometría se puede describir como aplicar la isometría a la traslación:

• la conjugación de una traducción por una traducción es la primera traducción
• la conjugación de una traslación por una rotación es una traslación por un vector de traslación rotado
• la conjugación de una traslación por una reflexión es una traslación por un vector de traslación reflejado

Así, la clase de conjugación dentro del grupo euclidiano E ( n ) de una traducción es el conjunto de todas las traducciones a la misma distancia.

El subgrupo más pequeño del grupo euclidiano que contiene todas las traslaciones a una distancia determinada es el conjunto de todas las traslaciones. Entonces, este es el cierre conjugado de un singleton que contiene una traducción.

Así, E ( n ) es un producto directo del grupo ortogonal O ( n ) y el subgrupo de traslaciones T , y O ( n ) es isomorfo con el grupo cociente de E ( n ) por T :

O ( n ) E ( n ) /T ${\displaystyle \cong }$

Así, hay una partición del grupo euclidiano con en cada subconjunto una isometría que mantiene fijos los orígenes, y su combinación con todas las traslaciones.

Cada isometría está dada por una matriz ortogonal A en O ( n ) y un vector b :

${\displaystyle x\mapsto Ax+b}$

y cada subconjunto del grupo de cocientes está dado únicamente por la matriz A.

De manera similar, para el grupo ortogonal especial SO ( n ) tenemos

ASI QUE ( n ) E ⁺ ( n ) / T ${\displaystyle \cong }$

inversión

El conjugado de la inversión en un punto por una traslación es la inversión en el punto trasladado, etc.

Así, la clase de conjugación dentro del grupo euclidiano E ( n ) de inversión en un punto es el conjunto de inversiones en todos los puntos.

Dado que una combinación de dos inversiones es una traducción, la clausura conjugada de un singleton que contiene inversión en un punto es el conjunto de todas las traslaciones y las inversiones en todos los puntos. Este es el grupo diédrico generalizado dih ( R ⁿ ).

De manera similar { I , − I } es un subgrupo normal de O ( n ), y tenemos:

mi ( norte ) / dih ( R ^norte ) O ( norte ) / { yo , − yo } ${\displaystyle \cong }$

Para n impar también tenemos:

O ( n ) SO ( n ) × { I , − I } ${\displaystyle \cong }$

y por lo tanto no sólo

O ( norte ) / SO ( norte ) { yo , - yo } ${\displaystyle \cong }$

pero también:

O ( n ) / { I , − I } ENTONCES ( n ) ${\displaystyle \cong }$

Incluso para n tenemos:

mi ⁺ ( norte ) / dih ( R ^norte ) SO ( norte ) / { I , − I } ${\displaystyle \cong }$

Rotación

En 3D, el conjugado por una traslación de una rotación alrededor de un eje es la rotación correspondiente alrededor del eje trasladado. Tal conjugación produce el desplazamiento del tornillo que se sabe que expresa un movimiento euclidiano arbitrario según el teorema de Chasles .

La clase de conjugación dentro del grupo euclidiano E (3) de una rotación alrededor de un eje es una rotación del mismo ángulo alrededor de cualquier eje.

El cierre conjugado de un singleton que contiene una rotación en 3D es E ⁺ (3).

En 2D es diferente en el caso de una rotación k veces: el cierre conjugado contiene k rotaciones (incluida la identidad) combinadas con todas las traslaciones.

E (2) tiene el grupo cociente O (2) /Ck _y E + ⁽ 2) tiene el grupo cociente SO (2) / _Ck . Para k = 2 esto ya se cubrió anteriormente.

Reflexión

Los conjugados de una reflexión son reflexiones con un plano especular trasladado, rotado y reflejado. La clausura conjugada de un singleton que contiene una reflexión es el conjunto E ( n ).

Rotorreflexión

La clase lateral izquierda y derecha de una reflexión en un plano combinada con una rotación de un ángulo dado alrededor de un eje perpendicular es el conjunto de todas las combinaciones de una reflexión en el mismo plano o en un plano paralelo, combinada con una rotación del mismo ángulo. aproximadamente el mismo eje o un eje paralelo, preservando la orientación

Grupos de isometría

Se dice que dos grupos de isometría son iguales hasta la conjugación con respecto a transformaciones afines si hay una transformación afín tal que todos los elementos de un grupo se obtienen tomando los conjugados mediante esa transformación afín de todos los elementos del otro grupo. Esto se aplica, por ejemplo, a los grupos de simetría de dos patrones que pertenecen a un tipo particular de grupo de papel tapiz . Si solo consideráramos la conjugación con respecto a las isometrías, no permitiríamos el escalado y, en el caso de una red paralelogramática , el cambio de forma del paralelogramo . Sin embargo, tenga en cuenta que el conjugado con respecto a una transformación afín de una isometría en general no es una isometría, aunque se conservan el volumen (en 2D: área) y la orientación .

Grupos cíclicos

Los grupos cíclicos son abelianos, por lo que el conjugado de cada elemento de cada elemento es el último.

Z _mn / Z _m Z _n . ${\displaystyle \cong }$

Z _mn es el producto directo de Z _m y Z _n si y sólo si myn son coprimos . Así, por ejemplo, Z ₁₂ es el producto directo de Z ₃ y Z ₄ , pero no de Z ₆ y Z ₂ .

Grupos diédricos

Considere el grupo de puntos de isometría 2D D _n . Los conjugados de una rotación son iguales y la rotación inversa. Los conjugados de una reflexión son las reflexiones rotadas por cualquier múltiplo de la unidad de rotación completa. Para n impares , todas estas son reflexiones, para n pares , la mitad de ellas.

Este grupo, y más generalmente, el grupo abstracto Dih _n , tiene el subgrupo normal Z _m para todos los divisores m de n , incluido el propio n .

Además, Dih _{2 n} tiene dos subgrupos normales isomorfos con Dih _n . Ambos contienen los mismos elementos de grupo que forman el grupo Z _n , pero cada uno tiene además una de las dos clases de conjugación de Dih _{2 n} \ Z _{2 n} .

De hecho:

Dih _mn / Z _n Dih _n ${\displaystyle \cong }$

Dih _{2 norte} / Dih _norte Z ₂ ${\displaystyle \cong }$

Dih _{4 norte +2} Dih _{2 norte +1} × Z ₂ ${\displaystyle \cong }$

Referencias