Prisma ODS Revista Científica Multidisciplinar
Volumen 5 Número 3 - Año 2026
Página | 741
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₃. □