+    Ficha Técnica
 +    Mapa Publicaciones
 +    Videos Asociados


Grupos Diédricos desde Arquímedes
Simetría y Reflexión
 

José Enrique González Cornejo
mayo 2025








 Introducción

A partir de la presentación del Método de Arquímedes, desarrollada en el artículo y video Cálculo de PI ~ Algoritmo de Arquímedes , donde se expone un algoritmo que aproxima con alta precisión el valor de la constante $\large{\pi}$, surge naturalmente el concepto de grupos diédricos.

En dichas publicaciones, —tanto el artículo como el video—, se observa que al duplicar sucesivamente polígonos regulares inscritos en una circunferencia, se genera un Grupo de Permutación, conocido como $ D_n $ o grupo diédrico de orden $ 2n $. Este grupo es finito para todo $ n > 3 $, con $ n \in \mathbb{N} $, donde $ n $ representa el número fijo de lados del polígono, es decir, simetrías discretas.



Cálculo de $\large{\pi}$ ~ Algoritmo de Arquímedes


El grupo $ D_n $ describe las simetrías (rotaciones y reflexiones) de un polígono regular de $ n $ lados. Al considerar una familia numerable de estos grupos, como en el caso de $ \{D_4, D_8, D_{16}, D_{32}, \dots\} $, obtenemos una secuencia infinita de grupos finitos, todos relacionados con las simetrías de los polígonos inscritos en la circunferencia.

En general, una transformación que mapea uno a uno un conjunto sobre sí mismo y que conserva ciertas propiedades, forma un grupo.

Los grupos de simetría y reflexión en este contexto se generan al girar un polígono regular de forma que se superpone perfectamente sobre sí mismo. Además, existen ejes de reflexión que pasan por vértices y por lados opuestos, dividiendo al polígono en partes con simetría axial.

Cada polígono inscrito, —al ir duplicando sus lados—, da lugar a un grupo, ya que el conjunto de sus rotaciones y reflexiones:
    - Conserva la forma del polígono (invarianza).

    - Posee una operación binaria cerrada (composición de transformaciones).

    - Tiene un elemento neutro (la rotación de $ 0^\circ $).

    - Cada transformación posee su inversa.
Estas transformaciones forman una bijección, es decir, un mapeo uno a uno sobre el conjunto de vértices del polígono. Así, las simetrías de un polígono regular de $ n $ lados pueden representarse como permutaciones de sus vértices.

Por lo tanto, el grupo $ D_n $ puede interpretarse como un subgrupo del grupo simétrico $ S_n $, lo cual lo convierte en un Grupo de Permutación.



Cuando tratamos con familias numerables de tales grupos, por ejemplo:


$D_{16}$ Polígono regular de 16 lados rotando

Nótese que el polígono de $16$ lados está inscrito en un círculo y rota lentamente de manera continua (giro), los nodos o vertices (rotulados con letras) se permutan simétricamente y cambian de vértice uno a uno sincronizados con el giro, donde cada cambio es una acción de rotación que va reetiquetado y preservándose simétricamente.

Las rotaciones continuas de un objeto invariante constituyen un Grupo de Lie , no así el objeto $D_n$ fijo que no posee una estructura diferenciable .


 Rotaciones y Reflexión

Supongamos los vertices numerados {$1,2,3,\dots , n-1, n$} en la dirección de giro de las agujas del reloj.

De donde los mapeos de $D_n$ son congruentes que preservan la distancia de la figura sobre sí misma, i.e. estas transformaciones preservan la forma del polígono, aunque cambien la posición de los vértices.

Luego, todas las simetrías y reflexión pueden estar representados como permutaciones por matrices de transformaciones del grupo diédrico $ D_n $, utilizando como base un polígono regular con vértices numerados del $1$ al $ n $.


  • $D_4$ Polígono regular de 4 lados

  • A fin de simplificar la modelación de la simetría y reflexión de grupo diédricos, se hará con $D_4$, i.e. un cuadrado, describiendo sus características y propiedades.

    (Ver [B12] Video Grupos de permutaciones ~ Universidad Abierta y a Distancia de México ~ Distrito Federal, México, 2015 ~ Yannina Ovalle Rodriguez )


    Notación Significado
    $\large{ r_0 }$ Identidad antihorario
    $\large{ r_1 }$ Rotar $90^\circ \quad (\frac{\pi}{2})$
    $\large{ r_2 }$ Rotar $180^\circ \quad (\pi)$
    $\large{ r_3 }$ Rotar $270^\circ \quad (\frac{3\pi}{2})$

    $\large{ s_0 }$ Reflexión vertical
    $\large{ s_1 }$ reflexión respecto a la diagonal principal (de arriba izquierda a abajo derecha).
    \( s_2 \) reflexión respecto al eje horizontal.
    \( s_3 \) reflexión respecto a la diagonal secundaria (de arriba derecha a abajo izquierda).


    En el caso de $D_4$, los generadores típicos son $\large{r_0}$ una rotación de $\large{\frac{\pi}{2}}$ en sentido horario y $\large{s_k}$ en una reflexión respecto a un eje de simetría. Es decir, cualquier elemento de este grupo se puede expresar como una composición de $\large{r}$ y $\large{s}$.

    $D_4$ Polígono regular de 4 lados rotando


  • Rotaciones con $n=4$


  • En efecto, las rotaciones forman un subgrupo cíclico de orden $ n $. Cada rotación $ r_k $ (con $ k = 0, 1, ..., n-1 $) corresponde a un desplazamiento de los vértices en $ k $ posiciones en sentido horario.

    $$ r_k: i \mapsto (i + k) \mod n $$

    Por ejemplo, para $ n = 4 $:

    La representación gráfica del grupo $ D_4 $ en sentido horario:

    $\require{AMScd}$ \begin{CD} 1 @> >> 2\\ @V V V @VV V\\ 3 @>> > 4 \end{CD}
    $$\implies$$
      - $ r_0 $: $ (1,2,3,4) \to (1,2,3,4) $
      - $ r_1 $: $ (1,2,3,4) \to (4,1,2,3) $
      - $ r_2 $: $ (1,2,3,4) \to (3,4,1,2) $
      - $ r_3 $: $ (1,2,3,4) \to (2,3,4,1) $

    Donde ($r_0$ es la identidad) su representación matricial de permutación $ R_k $ de tamaño $ n \times n $, tiene la posición $ (i,j) $ es $1$ si el vértice $ j $ se mapea al vértice $ i $, y $0$ en otro caso. Por ejemplo para $ n=4 $, la matriz de rotación $ r_1 $:

    $$ R_1 = \begin{bmatrix} 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix} $$
    Las Rotaciones por extensión:

    • $ r_0 \longrightarrow $ Nada cambia (Identidad).

    • $ r_1 \longrightarrow $ Gira 90° antihorario:

       $ 1 \to 2,\quad 2 \to 3,\quad 3 \to 4,\quad4 \to 1 $

    • $ r_2 \longrightarrow $ Gira 180°:

       $ 1 \to 3,\quad 2 \to 4,\quad 4 \to 1,\quad 4 \to 2 $

    • $ r_3 \longrightarrow$ Gira 270° antihorario:

       $ 1 \to 4,\quad 4 \to 3,\quad 3 \to 2,\quad 2 \to 1 $



  • Permutaciones de los Vértices - Notación de Cauchy


    • Rotación $0°$ (identidad):

      $$ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 2 & 3 & 4 \end{pmatrix} $$
      Rotación $90°$ (una posición a la derecha):

      $$ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 1 & 2 & 3 \end{pmatrix} $$
      Rotación $180°$:

      $$ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 1 & 2 \end{pmatrix} $$
      Rotación $270°$:

      $$ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 3 & 4 & 1 \end{pmatrix} $$


  • Reflexiones $D_4$



  • Reflexiones $D_4$




    Se generan $ n=4 $ reflexiones, y su eje puede ser:

      - Una línea que pasa por un vértice y el centro.

      - Una línea que pasa por el centro de un lado y el centro.

    $$ \large{ \begin{array}{ccc} & s_1 & \\ & | & \\ s_0 & \xrightarrow{\ r_0\ } & s_2 \\ & | & \\ & s_3 & \end{array} } $$
    El efecto depende del eje elegido. Las reflexiones invierten el orden de los vértices, respetando su simetría.

    - Reflexión vertical (eje pasa por vértices $1$ y $3$):

    $$ (1, 2, 3, 4) \to (1, 4, 3, 2) $$

    - Reflexión diagonal (eje pasa por lados entre vértices):

    $$ (1, 2, 3, 4) \to (3, 2, 1, 4) $$

    Para su representación matricial también se usa una matriz de permutación para cada reflexión. Por ejemplo para reflexión que intercambia $2$ y $4$ (manteniendo $1$ y $3$):


    $$ S = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ \end{bmatrix} $$
    Cada matriz de reflexión es involutiva. Es decir,

    $$ S \cdot S = I $$


     Conclusión

    Formalmente el grupo diédrico \( D_n \) puede definirse como:

    $$ D_n = \langle r,\quad s \mid r^n = e,\quad s^2 = e,\quad s·r·s = r^{-1} \rangle $$
    Donde
      - $ r $ representa una rotación de $ \frac{2\pi}{n}$.
      - $ s $ representa una reflexión.
      - $ e $ es el elemento identidad.

    Todas las matrices del grupo $ D_n $ son ortogonales y preservan distancias y ángulos. Las rotaciones forman un subgrupo cíclico de orden $ n $. El grupo completo $ D_n $ tiene $ 2n $ elementos: $\large{ \{ r_k, s_k \} }$, donde $ \large{ s_k = r_k \cdot s_0 } $ y satisface la relación:

    $$ \large{s^2 = 1,\quad s·r = r^{-1}s} $$

    En síntesis, la estructura $D_4$ tiene $8$ elementos ($4$ rotaciones más $4$ reflexiones). Sus operaciones binarias se conforman como composición de movimientos, es un grupo no abeliano cuyos subgrupos de rotaciones {$\large{r_0,r_1,r_2,r_3}$} es cíclico, donde cada reflexión genera subgrupos de orden $2$.

    Estos grupos $D_n$ no son grupos de Lie, dado que los grupos de Lie son grupos topológicos diferenciables y tienen una estructura suave, como la del espacio real $R^n$ en algún entorno local. En cambio el grupo $D_n$ es finito, no posee una estructura diferenciable ni topológica continua y no puede parametrizarse con variables reales de manera suave.




    En efecto, los grupos de Lie son grupos topológicos diferenciables, con una operación interna binaria, pueden describirse con coordenadas continuas, derivables y tienen una estructura suave, como la del espacio real $\mathbb {R^n} $ en algún entorno local. En cambio los grupos $D_n$ son finitos con solo $2n$ elementos, su estructura no es diferenciable ni topológica continua, no pueden ser parametrizado con variables reales de manera suave.





     Notas Adjuntas







     Videografía y Bibliografía


    Ver Artículos del Autor

    Ver Videos DocIRS


  • [B1]
    Quantum Computation 5: A Quantum Algorithm
    David Deutsch, Autor del Algoritmo
    Centre for Quatum Computation
    https://www.youtube.com/watch?v=3I3OBFlJmnE

  • [B2]
    Curso Computación Cuántica
    Eduardo Sáenz de Cabezón
    26 abril 2019
    Instituto de Matemáticas de la UNAM, México
    https://www.youtube.com/watch?v=KKwjeJzKezw

  • [B3]
    Quantum Optics
    Miguel Orszag,
    Pontificia Universidad Católica - Santiago de Chile
    Editorial Springer ~ 2016


  • [B4]
    Quantum Optics - Mark Fox - Oxford University Press
    22 jun. 2006 - Oxford Master Series in Physics.
    Capítulo 13
    https://www.academia.edu/24696066/



  • [B5]
    Quantum Computing Explain
    David McMahon on 2007
    WILEY-INTERSCIENCE
    A John Wiley & Sons, Inc., Publication
    https://www.academia.edu/31537353

    /_David_McMahon_Quantum_
    Computing_Explained_BookFi_1_

  • [B6]
    Programming a Quantum Computer with Cirq (QuantumCasts)
    Dave Bacon
    Google

  • [B7]
    The Quantum World ~ Quantum Physics for Everyone
    Kenneth W. Ford
    Harvard University Press
    Cambridge Massachusetts
    London England ~ 2004

  • [B8]
    Principios Fundamentales de Computación cuántica
    Vicente Moret Bonillo
    Profesor Titular de Universidad. Senior Member, IEEE.
    Departamento de Computación. Facultad de Informática.
    Universidad de la Coruña
    2O13

  • [B9]
    Quantum Networks for Elementary Arithmetic Operations
    Vlatko Vedral, Adriano Barenco and Artur Ekert
    Clarendon Laboratory, Department of Physics
    University of Oxford, Oxford, OX1 3PU, U.K.
    (Submitted to Phys. Rev. A)
    16 de Noviembre 1995

  • [B10]
    Quantum computing for the determined
    Michael Nielsen on June 10, 2011
    http://michaelnielsen.org/blog/

    quantum-computing-for-the-determined/
    https://www.youtube.com/watch?v=x6gOp_o7Bi8

  • [B11]
    QC — Quantum Algorithm with an example
    Jonathan Hui
    Dec 6, 2018

  •  
  • [B12]
    Grupos de permutaciones
    Universidad Abierta y a Distancia de México
    Distrito Federal, México, 2015
    Yannina Ovalle Rodriguez

  • [B13]
    Programación Cuántica
    Francisco Gálvez
    T3chFest 2017
    IBM
    https://www.youtube.com/watch?v=FYAkeCcOgeQ

  • [B14]
    Quantum Computation (CMU 18-859BB, Fall 2015)
    Lecture 1: Introduction to the Quantum Circuit Model
    September 9, 2015
    Lecturer: Ryan O’Donnell Scribe: Ryan O’Donnell

  • [B15]
    Hipertexto: Tratamiento Documental de Datos
    José Enrique González Cornejo
    Centro de Investigación y Desarrollo de la Educación,
    CIDE, Santiago – Chile, 1990.
    Registro Nº81.183 - 1991 ~ Editoria Argué Ltda

  • [B16]
    Algoritmo para el Cambio de Base Numérica
    José Enrique González Cornejo
    DocIRS Technology
    Math-Computing Open Academy Junio 2014

  • [B17]
    Algoritmo, Generación Distribución
    Aleatoria Discreta de Suma 1
    José Enrique González Cornejo
    11 de julio 2012
    DocIRS Technology
    Math-Computing Open Academy

    https://www.docirs.cl/
    Algoritmo_Distribucion_Aleatoria.htm

  • [B18]
    Naïve Bayes ~ Simple Algoritmo de Clasificación
     Modelo de Variables Discretas
    José Enrique González Cornejo
    01 de agosto 2019
    DocIRS Technology
    Math-Computing Open Academy

  • [B19]
    Problema de la Ruta Optima
    José Enrique González Cornejo
    01 de mayo 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B20]
    Nomenclatura DocIRS para la Programación
    José Enrique González Cornejo
    24 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B21]
    Acerca del Estilo en Programación
    José Enrique González Cornejo
    18 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B22]
    Acerca de la Calidad de una Aplicación
    José Enrique González Cornejo
    18 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B23]
    Fundamentos Teóricos de los
    Lenguajes Estructurados
    José Enrique González Cornejo
    12 de julio de 2011
    DocIRS Technology
    Math-Computing Open Academy

  • [B24]
    Propiedades Geométricas Cualitativas
    José Enrique González Cornejo
    15 de marzo 1997
    DocIRS Technology
    Math-Computing Open Academy

  • [B25]
    Lunch & Learn: Quantum Computing
    Andrea Morello
    Quantum Engineering at University

     of New South Wales Australia
    21 nov. 2018

  • [B26]
    21 Lessons for the 21st Century
    Talks at Google
    Yuval Noah Harari 11 octubre 2018


  • [B27]
    Homo-Deus-A-Brief-History-of-Tomorrow
    Universidad de California,
    Yuval Noah Harari
    27 febrero 2017

  • [B28]
    MIND BLOWN: Quantum Computing &
    Financial Arbitrage
    Andrea Morello
    Quantum Engineering at University

     of New South Wales Australia
    18 jun. 2020

  • [B29]
    Algoritmo cuántico de Deutsch y Jozsa en GAMA
    M. Paredes López - A. Meneses Viveros - G. Morales-Luna
    Departamento de Matemáticas, Cinvestav, Av. Instituto

    Politécnico Nacional 2508, CDMX
    Departamento de Computación, Cinvestav,

    Av. Instituto Politécnico Nacional 2508, CDMX
    Rev. mex. fís. E vol.64 no.2 México jul./dic. 2018

  • [B30]
    Principios Fundamentales de Computación Cuántica
    2013, Vicente Moret Bonillo
    Universidad de la Coruña-España

  • [B31]
    Informática Cuántica - Parte 1
    Tecnologias Disruptivas
    Alejandro Alomar
    9 jul. 2018
    https://www.youtube.com/watch?v=SisRIgS3oO4

  • [B32]
    Computación Cuántica para Torpes
    Publicado el 26 de septiembre de 2016 por Sergio Montoro

  • [B33]
    Intro to Quantum Computing
    Steve Spicklemire
    Lesson 38 Quantum Computing, Deutsch's Problem

  • [B34]
    Learn Quantum Computation using Qiskit
    Page created by The Jupyter Book Community
    Qiskit Development Team Last updated on 2020/07/17.

  • [B35]
    Disfruta de la Experiencia cuántica de IBM
    Francisco R. Villatoro (Francis Naukas)
    2 noviembre, 2018
    https://francis.naukas.com/2018/11/02/

    disfruta-de-la-experiencia-cuantica-de-ibm/

  • [B36]
    Inversión de Matrices de Números Complejos
    reshish.com 2011 - 2020

  • [B37]
    Algoritmo de Deutsch
    13 octubre 2016
    Felipe Fanchini
    https://www.youtube.com/watch?v=Sb5WRs8XUuU

  • [B38]
    Desarrollo de un simulador para el protocolo
    de criptografía cuántica E91
    en un ambiente distribuido
    Ingeniare. Rev. chil. ing. vol.23 no.2 Arica abr. 2015
    Luis Cáceres Alvarez,
    Roberto Fritis Palacios,
    Patricio Collao Caiconte

  • [B39]
    Effect of an artificial model’s vocal expressiveness
     on affective and cognitive learning
    . Llaima Eliza González Brouwer
    0999377
    MSc. Human Technology Interaction
    Department of Innovation Sciences
    Eindhoven University of Technology
    August 2018

  • [B40]
    Así Cambiará el Mundo la Computación Cuántica
    2016
    Ignacio Cirac
    https://www.youtube.com/watch?v=WJ3r6btgzBM

  • [B41]
    GIPHY
    Imagen de Animación Gif / Partículas
    Explore Partículas Gif

  • [B42]
    MathJax
    MathJax es una biblioteca javascript
    American Mathematical Society.
    Accessible Math in All Browsers


  • [B43]
    El Algoritmo de Deutsch-Jozsa
    KET.G
    25 mar. 2020
    Twitter: https://twitter.com/KetPuntoG


  • [B44]
    Apuntes de Grupos de Lie
    Badajoz, 30 de diciembre de 2017
    Volumen 3
    1.2. Grupos de Lie

  • [B45]
    Teoria de Grupos
    Marshall Hall jr.
    Biblioteca de Matemática Superior
    1967 Maximilian Company, N.Y. USA

  • [B46]
    Tutorial Grupos de Lie
    Javier García
    29 jun. 2017
    Serie de Capítulos ~ España

  • [B47]
    Matrices de Pauli - Pauli matrices Matrices de Pauli
    Enciclopedia libre Matrices de Pauli

  • [B48]
    La Mecánica Cuántica
    Los grupos de rotación I
    Matrices de Pauli

  • [B49]
    Física Matemática
    Grupos de Lie, rotaciones, unitarios, Poincaré.
    Monte Carlo
    L. L. Salcedo
    Departamento de Física Atómica, Molecular y Nuclear
    Universidad de Granada, E-18071 Granada, Spain
    29 de julio de 2020

  • [B50]
    Matrices de Pauli - Pauli matrices Matrices de Pauli
    De Wikipedia, la enciclopedia libre Matrices de Pauli

  • [B51]
    Phisics
    Explore our Questions

  • [B52]
    Entrevista a Jorge Antonio Vargas,
    FAMAF
    Universidad Nacional de Córdoba de Argentina,
    Investigador del Conicet
    20/01/2010, Pagina|12
    ,

  • [B53]
    Introducción a Grupos y Álgebras de Lie de Dimensión Infinita,
    Matthew Dawson,
    CIMAT- Mérida México noviembre de 2020,
    Instituto de Matemáticas de la UNAM

    (Universidad Nacional Autónoma de México)
    ,

  • [B54]
    Lie Groups:Introduction,
    Richard E. BORCHERDS,
    University of California,
    Department of Mathematics, USA
    ,

  • [B55]
    Lie theory for the Roboticist,
    Joan Solà,
    Institut de Robòtica i Informàtica Industrial, en catalán,
    Consejo Superior de Investigaciones Científicas (CSIC),

     Cataluña
    Universidad Politécnica de Cataluña (UPC). España

  • [B56]
    A micro Lie theory for state estimation in robotics,
    Joan Solà, Jeremie Deray, Dinesh Atchuthan,
    Diciembre 2021
    arXiv ~ https://arxiv.org,
    Web Accessibility Assistance -arXiv Operational Status

  • [B57]
    Graph Theory,
    Frank Harary,
    1969
    Addison-Wesley
    USA

  • [B58]
    RobotDocIRS,
    José Enrique González Cornejo
    abril 2003
    DocIRS Technology
    Math-Computing Open Academy


  • [B59]
    Introducción a la Topología Algebraica,
    Williams S. Massey,
    1972
    Editorial Reverté S.A.
    España


  • [B60]
    Lie Algebra Representations
    André Henriques
    Instituto de Matemáticas de la Universidad de Oxford
    agosto del 2015.


  • [B61]
    The Lie group $SL(2,C)$ and its Lie algebra $sl(2,C)$
    Dr. Frederic Schuller
    Friedrich-Alexander-Universität Erlangen-Nürnberg
    21 sept 2015


  • [B62]
    The Theory of Groups
    Marshall Hall, JR.
    The Macmillan Company 1967
    New York. N.Y. USA.
    English Publication.


  • Paginas Independientes del autor que Contienen los Capítulos del Documento:

  • Conceptos Matemáticos Básicos de
     Computación Cuántica
    José Enrique González Cornejo
    20 de marzo 2020
    DocIRS Technology
    Math-Computing Open Academy

  • Algoritmo de Deutsch
    José Enrique González Cornejo
    20 de marzo 2020
    DocIRS Technology
    Math-Computing Open Academy