Es fácil verificar por cómputo directo que los elementos deG son\{ \identity, \sigma, \sigma^2, \sigma^3, \tau, \sigma \tau, \sigma^2 \tau, \sigma^3 \tau \} y que las relaciones\(\tau^2 = \ide...Es fácil verificar por cómputo directo que los elementos deG son\{ \identity, \sigma, \sigma^2, \sigma^3, \tau, \sigma \tau, \sigma^2 \tau, \sigma^3 \tau \} y que las relaciones\tau^2 = \identity\text{,}\sigma^4 = \identity\text{,} y\tau \sigma \tau = \sigma^{-1} están satisfechas; por lo tanto,G deben ser isomórficos aD_4.
