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