Prisma ODS Revista Científica Multidisciplinar
Volumen 5 Número 4 - Año 2026
Página | 59
La distribución de órdenes de los elementos de FR(3) coincide exactamente con la del grupo
de simetrías del triángulo equilátero, es decir, un elemento identidad, dos rotaciones de orden
tres y tres reflexiones de orden dos (Armstrong, 1988; Carter, 2009).
Teorema 8. El grupo de funciones de frase FR(3) es isomorfo al grupo diedral D₃.
Demostración. El grupo FR(3) consta de los seis elementos FR(3) = {f₁, f₂, f₃, −f₁, −f₂, −f₃},
donde f₁, f₂ y f₃ son funciones de frase de rotación, mientras que −f₁, −f₂ y −f₃ son funciones de
frase de reflexión.
De manera análoga, el grupo diedral D₃ está formado por las seis simetrías del triángulo
equilátero: tres rotaciones y tres reflexiones (Armstrong, 1988; Carter, 2009).
Sea r una rotación de 120° y sea s una reflexión. Entonces, D₃ = r,s | r³ = e, s² = e, sr = r⁻¹s.
Definimos la aplicación φ : FR(3) → D₃ mediante
φ(f₁) = e, φ(f₂) = r, φ(f₃) = r², φ(−f₁) = s, φ(−f₂) = sr, y φ(−f₃) = sr².
La aplicación φ es biyectiva, ya que establece una correspondencia uno a uno entre las tres
funciones de frase de rotación y las tres rotaciones del triángulo equilátero, así como entre las
tres funciones de frase de reflexión y las tres reflexiones del triángulo.
Además, φ(g h) = φ(g)φ(h) para todos g, h FR(3), lo cual se deduce directamente de la
Tabla 2 y de la tabla de multiplicación del grupo diedral D₃.
Por lo tanto, φ es un isomorfismo de grupos y, en consecuencia, FR(3) D₃. □
Corolario 2. El grupo de funciones de frase FR(3) es isomorfo al grupo simétrico S₃.
Demostración. Del Teorema 8 se tiene que FR(3) D₃.
Por otra parte, es un resultado clásico de la teoría de grupos que el grupo diedral D₃,
correspondiente al grupo de simetrías del triángulo equilátero, es isomorfo al grupo simétrico
S₃ de todas las permutaciones de tres elementos (Armstrong, 1988; Carter, 2009; Fraleigh,
2003).
Por lo tanto, D₃ S₃. Aplicando la transitividad de los isomorfismos se obtiene FR(3) S₃. □