Gfrktyl

Basically I've just taken the answer to the question you linked and changed few lines to adapt to your needs.

Here's the code, followed by the output you will get and a brief explanation of what's going on.

The code below produces 2 tables, in one there's written ANYTHING in the top left corner, in the second one there's a white space (just don't put anything in the column "argument".

documentclass[10pt]{article}

usepackage{array}



begin{document}



    setlengthextrarowheight{3pt}

noindentbegin{tabular}{c | c c c c c}

    ANYTHING & 0 & 1 & 2 & 3 & 4  \

    cline{1-6}

    0 & 0 & 0 & 0 & 0 & 0 \

    1 & 0 & 0 & $a^2$ & 25 & 25 \

    2 & $a^2$ & 0 & 20 & 25 & 25 \

    2 & 0 & $a^2$ & 20 & 25 & 25 \

    2 & 0 & 0 & 20 & 25 & 25 \

end{tabular}





noindentbegin{tabular}{c | c c c c c}

     & 0 & 1 & 2 & 3 & 4  \

    cline{1-6}

    0 & 0 & 0 & 0 & 0 & 0 \

    1 & 0 & 0 & $a^2$ & 25 & 25 \

    2 & $a^2$ & 0 & 20 & 25 & 25 \

    2 & 0 & $a^2$ & 20 & 25 & 25 \

    2 & 0 & 0 & 20 & 25 & 25 \

end{tabular}



end{document}

How does it work? A table is done with the environment {tabular}, which requires as argument the numer of columns (or rows... just read the documentation to know more) which is specified by the argument {c | c c c c c}: 6 columns divided by a line between the first and the second col. The 'c' stands for centered meaning that the column will be aligned to the center, if you want you can change it to l (left) or r (right).

Then in the tables all the entries are done by spacing them with &, and the cline takes as argument the number of columns that you want it to span: from column 1 to column 6.

The command setlengthextrarowheight{3pt} adds some extra row height (how surprising!).

Package {array} is needed for the length extrarowheight.

Your input is almost good, but you can do better.

documentclass{article}

usepackage{amsmath}

usepackage{array}



begin{document}



This is a Cayley table

[

    begin{array}{l|*{5}{l}}

        & 1   & a   & a^2 & a^3  & a^4 \

    hline

    1   & 1   & a   & a^2 & a^3  & a^4 \

    a   & a   & a^2 & a^3 & a^4  & a^5 \

    a^2 & a^2 & a^3 & a^4 & a^5  & a^6 \

    a^3 & a^3 & a^4 & a^5 & a^6  & a^7 \

    a^4 & a^4 & a^5 & a^6 & a^7  & a^8 \

    end{array} 

]



This is the same, but with some more spacing,

[

    setlength{extrarowheight}{3pt}% local setting

    begin{array}{l|*{5}{l}}

        & 1   & a   & a^2 & a^3  & a^4 \

    hline

    1   & 1   & a   & a^2 & a^3  & a^4 \

    a   & a   & a^2 & a^3 & a^4  & a^5 \

    a^2 & a^2 & a^3 & a^4 & a^5  & a^6 \

    a^3 & a^3 & a^4 & a^5 & a^6  & a^7 \

    a^4 & a^4 & a^5 & a^6 & a^7  & a^8 \

    end{array} 

]



end{document}

With array, each cell is assumed to be in math mode. The setting of extrarowheight will not propagate to other instances of array, because [...] forms a group.

Some automatizing is in order here

documentclass{article}

usepackage{amsmath, amssymb}

usepackage{array}



usepackage{xinttools}

usepackage{bnumexpr}

begin{document}



This is a Cayley table

[

    begin{array}{l|*{5}{l}}

        & 1   & a   & a^2 & a^3  & a^4 \

    hline

    1   & 1   & a   & a^2 & a^3  & a^4 \

    a   & a   & a^2 & a^3 & a^4  & a^5 \

    a^2 & a^2 & a^3 & a^4 & a^5  & a^6 \

    a^3 & a^3 & a^4 & a^5 & a^6  & a^7 \

    a^4 & a^4 & a^5 & a^6 & a^7  & a^8 \

    end{array} 

]



This is the same, but with some more spacing,

[

    setlength{extrarowheight}{3pt}% local setting

    begin{array}{l|*{5}{l}}

        & 1   & a   & a^2 & a^3  & a^4 \

    hline

    1   & 1   & a   & a^2 & a^3  & a^4 \

    a   & a   & a^2 & a^3 & a^4  & a^5 \

    a^2 & a^2 & a^3 & a^4 & a^5  & a^6 \

    a^3 & a^3 & a^4 & a^5 & a^6  & a^7 \

    a^4 & a^4 & a^5 & a^6 & a^7  & a^8 \

    end{array} 

]



Again, but illustrating that $a=4$ generates a cyclic sub-group of order

$5$ of $(mathbb{Z}/11mathbb{Z})^*$:

[

    setlength{extrarowheight}{3pt}% local setting

    begin{array}{c|*{5}{c}}

        & 1   & a   & a^2 & a^3  & a^4 \

    hline

    xintFor #1 in {0, 1, 2, 3, 4}:

    {ifnum #1=0 1else a^{#1}fi 

       xintFor #2 in {0, 1, 2, 3, 4}:

      {%

       &thebnumexpr 4^(#1+#2) /: 11relax

      }%

    \

    }%

    end{array} 

]

and $a=2$ generates the full group:

[

    setlength{extrarowheight}{3pt}% local setting

    begin{array}{c|*{10}{c}}

        & 1 & a  xintFor*#1 in {23456789}:{&a^{#1}}\

    hline

    xintFor* #1 in {0123456789}:

    {ifnum #1=0 1else a^{#1}fi 

       xintFor* #2 in {0123456789}:

      {%

       &thebnumexpr 2^(#1+#2) /: 11relax

      }%

    \

    }%

    end{array} 

]

end{document}

Perhaps I over automate, but I'd want to have a macro CayleyTable that produces the Cayley table of the corresponding cyclic group, so that the commands:

  CayleyTable{3}

  CayleyTable{4}

  CayleyTable[x]{9}

would produce:

(The an optional argument gives the name of the generator, which defaults to a). Arguably, CyclicGroupCayleyTable would be a better name. In any case,
here's the code:

documentclass{article}

usepackage{array}

setlength{extrarowheight}{3pt}% local setting



usepackage{xparse}



ExplSyntaxOn

int_new:N l_n_int

tl_new:N  l_gen_tl

cs_new_protected:Npn print_exponent #1 {%  {l_gen_tl}^{#1}

  int_compare:nTF {#1=0}{1}{l_gen_tl int_compare:nT{#1>1}{^{#1}}}

}

cs_new_protected:Npn print_Cayley_header:n #1 { 

    & print_exponent {int_eval:n{#1-1}} 

}

cs_new_protected:Npn print_Cayley_cell:nn #1 #2 {

    & print_exponent {int_eval:n { int_mod:nn {#1+#2-2}{l_n_int}} }

}

cs_new_protected:Npn print_Cayley_row:n #1 {

  print_exponent {int_eval:n {#1-1}}

  int_step_inline:nn {l_n_int} {print_Cayley_cell:nn {##1}{#1}} \

}

NewDocumentCommandCayleyTable{ O{a} m}{

   tl_set:Nn l_gen_tl {#1}

   int_set:Nn l_n_int {#2}

   [

      begin{array}{c|*{int_eval:n{l_n_int+1}}{c}}

        int_step_function:nN {l_n_int} print_Cayley_header:n

        \hline

        int_step_function:nN {l_n_int} print_Cayley_row:n

      end{array}

   ]

}

ExplSyntaxOff



begin{document}



  CayleyTable{3}



  CayleyTable{4}



  CayleyTable[x]{9}



end{document}