División de Ciencias Exactas, Ingeniería y Tecnología
Licenciatura en Matemáticas
Asignatura: Algebra Moderna I.
Unidad 3.
Teoremas Principales.
Evidencia de Aprendizaje.
¿Se Parecen?
Grupo: MT-MAMD1-2301-B2-001
Alumno: Norberto Ferrales Portillo
Matrícula: ES1821015206
Docente: Alan Suarez Morales.
Junio 2023
Realizar en su totalidad cada uno de los ejercicios siguientes:
a. Si bien el conjunto de biyecciones de un círculo es un grupo, es difícil
estudiarlo como un todo, sin embargo, podemos encontrar una infinidad de
subgrupos muy especiales.
b. Pensemos que dentro de la circunferencia trazamos un polígono regular de
n lados, de tal manera que el polígono queda inscrito en la circunferencia,
entonces definimos una n-simetría como una biyección que preserva
distancias y mapee al conjunto de vértices de nuestro polígono dentro del
mismo y, además, mapea vértices adyacentes en vértices adyacentes 𝐷𝑛 ∗
es el conjunto de n-simetrías.
1
3 2
c. Probar que 𝐷𝑛 ∗ es un grupo, con la composición.
Para este caso se analizo un polígono de 3 lados o triángulo regular
equilátero donde analizando el conjunto de las reflexiones y rotaciones junto
con su operación de composición forman un grupo donde
𝐺 = {𝑒, 𝜌ℎ1 , 𝜌ℎ2 , 𝜌ℎ3 , 𝑟120° , 𝑟240° }
Luego la composición de simetrías es una composición de funciones y se
efectúa de derecha a izquierda
d. Probar que cada n-simetría está completamente determinada por su acción
sobre los vértices del polígono.
Sea 𝑡 la reflexión central en un punto 𝑂 del espacio euclídeo. Entonces 𝑡 conmuta
con toda rotación cuyo eje pase por 𝑂.
Sea 𝐺 cualquier subgrupo finito del grupo euclídeo y sea H el subgrupo de todos
los movimientos directos (rotaciones). Si 𝐺 ≥ 𝐻 existe un movimiento inverso en
𝐺, y es fácil demostrar que [𝐺 ∶ 𝐻] = 2 y por tanto 𝐺 ▷ 𝐻. Sea 𝐺 el grupo de
todas las simetrías (directas e inversas) del cubo o del icosaedro. La reflexión
central 𝑡 en el centro del poliedro pertenece a G (y está en su centro). Sea 𝐾 =
〈𝑡〉. Entonces 𝐺 ▷ 𝐺𝑛 (𝑛 = 6 ó 20) y 𝐺 ▷ 𝐾, 𝐺𝑛 ∩ 𝐾 = 1 y 𝐺 = 𝐺𝑛 𝐾. Luego
𝐺 ≅ 𝐺𝑛 × 𝐾 es el producto directo interno.
e. Probar que existe un monomorfismo de grupos entre 𝐷𝑛 ∗ y 𝑆𝑛 .
Del ejemplo tenemos que 𝐾 = 𝐾𝑒𝑟(𝜑). Pero como (𝐺,∗) es simple, tenemos dos
posibilidades: (𝑖) 𝐾 = {𝐼𝐺 }, en cuyo caso estamos en lo deseado, ó (ii) K = G,
en cuyo caso obliga a tener H = G, una contradicción.
f. Probar que 𝐷𝑛 ∗ es generado por la rotación de 2𝜋/𝑛 grados y la reflexión
sobre una línea que pase por el centro y uno de los vértices.
Las 𝑛 rotaciones 𝑟𝑘 , 0 ≤ 𝑘 < 𝑛 alrededor del centro del 𝑛 − 𝑔𝑜𝑛𝑜 y con ángulos
2𝑘𝜋/𝑛 radianes son todas distintas y llevan el 𝑛 − 𝑔𝑜𝑛𝑜 en sí mismo, así que
todas ellas pertenecen a 𝐷𝑛.
Fijamos un 𝑛 − 𝑔𝑜𝑛𝑜 regular centrado en el origen en un 𝑋𝑌 − 𝑝𝑙𝑎𝑛𝑜 y
numeramos los vértices consecutivamente desde 1 hasta 𝑛 en sentido contrario
a las agujas del reloj. Sea 𝑟 la rotación con centro en el origen y ángulo 2𝜋/𝑛
radianes (en sentido contrario a las agujas del reloj). Sea s la reflexión en el eje
que pasa por el vértice 1 y el origen.
Las n reflexiones en las rectas que pasan por el centro del 𝑛 − 𝑔𝑜𝑛𝑜 y por cada
uno de los vértices y de los puntos medios de las aristas. En total hemos obtenido
2𝑛 elementos distintos de 𝐷𝑛 , así que |𝐷𝑛 | ≥ 2𝑛. Combinando con la
desigualdad anterior vemos que |𝐷𝑛 | = 2𝑛.
(UNADM, 2023)
(Herstein, 1980)
(Ramos, 2023)
(Lezama, 2023)
Referencias
Herstein, I. (1980). Algebra Moderna. México: Trillas.
Lezama, O. (1 de Mayo de 2023). https://dmd.unadmexico.mx/. Obtenido de
https://dmd.unadmexico.mx/contenidos/DCEIT/BLOQUE2/MT/07/MAMD1/U2/descar
gables/MAMD1_U2_Material_de_apoyo.pdf
Ramos, C. d. (21 de Abril de 2023). https://blog.nekomath.com/. Obtenido de
https://blog.nekomath.com/algebra-moderna-i-operacion-
binaria/#:~:text=Definici%C3%B3n.,a%20%2C%20b%20)%20%E2%88%88%20S%20.
UNADM. (21 de Abril de 2023). https://dmd.unadmexico.mx/. Obtenido de
https://dmd.unadmexico.mx/contenidos/DCEIT/BLOQUE2/MT/07/MAMD1/U1/descar
gables/MAMD1_U1_contenido.pdf
