Es esta tabla de Cayley bien calculada? Si es así, es la forma correcta de presentación de este diedro grupo?

Question

Es la tabla siguiente para $D_4$ correcto?

$$\begin{array}{c|c|c|c|c|c|c|c|c|} * & 1 & g & g^2& g^3& f& fg & fg^2 & fg^3 \\ \hline 1 & 1 & g & g^2 & g^3 & f & fg & fg^2 & fg^3 \\ \hline g & g & g^2 & g^3 & 1 & fg^3 & f & fg & fg^2 \\ \hline g^2 & g^2 & g^3 & 1 & g & fg^2 & fg^3 & f & fg \\ \hline g^3 & g^3 & 1 & g & g^2 & fg & fg^2 & fg^3 & f \\ \hline f & f& fg & fg^2 & fg^3 & 1 & g& g^2 & g^3 \\ \hline fg& fg& fg^2 & fg^3 & f& g^3 & 1 & g & g^2 \\ \hline fg^2 & fg^2 & fg^3 & f & fg & g^2 & g^3 & 1 & g \\ \hline fg^3 & fg^3 & f & fg& fg^2 & g & g^2 & g^3 & 1 \\ \hline \end{array}$$

Answer 1

Con respecto a este gran enlace y los siguientes códigos en la BRECHA, usted puede comprobar la corrección de la tabla por ti mismo:

gap> G:=FreeGroup("a","b");;
     a:=G.1;; b:=G.2;;
     s:=G/[a^4,b^2,(a*b)^2];;
     e:=Size(s);;
     T:=MultiplicationTable(s);;

    for i in [1..e] do
        for j in [1..e] do
        Print(T[i][j],"__", "|");
        od;
    Print("\n");
    od;

---

 1__|2__|3__|4__|5__|6__|7__|8__|
 2__|4__|5__|6__|7__|1__|8__|3__|
 3__|8__|1__|7__|6__|5__|4__|2__|
 4__|6__|7__|1__|8__|2__|3__|5__|
 5__|3__|2__|8__|1__|7__|6__|4__|
 6__|1__|8__|2__|3__|4__|5__|7__|
 7__|5__|4__|3__|2__|8__|1__|6__|
 8__|7__|6__|5__|4__|3__|2__|1__|

Answer 2

Una presentación de $D_4$$\langle g,f \mid g^4=1, f^2=1, gf=fg^{-1}\rangle$. Así que tenemos la $8$ elementos $\lbrace 1,g,g^2,g^3,f,gf=fg^3,g^2f=fg^2,g^3f=fg\rbrace$, y la tabla de multiplicar de la siguiente manera a partir de las relaciones en la medida de lo que puedo ver, la tabla es correcta.