Explanation: Operation Table

(related to Part: Algebraic Structures - Overview)

If the set $X$ in an algebraic structure is finite, then it is possible to write down the operation table. This is a tabular schema in which all elements $x_1,\ldots,x_n\in X$ are the headers of columns and rows and in which the entry in the $i$-th row and the $j$-th column is the element $x_{ij}\in X$ which fulfills the property $x_ij=x_i\ast x_j$.

$$\begin{array}{c|ccccc} \ast&x_1&\ldots&x_j&\ldots &x_n\\ \hline x_1&x_1\ast x_1&\ldots&x_1\ast x_j&\ldots& x_1\ast x_n\\ \vdots&\vdots&&\vdots&&\vdots\\ x_i&x_i\ast x_1&\ldots&x_i\ast x_j&\ldots& x_i\ast x_n\\ \vdots&\vdots&&\vdots&&\vdots\\ x_n&x_n\ast x_1&\ldots&x_n\ast x_j&\ldots& x_n\ast x_n\\ \end{array}$$

In some cases it is possible to recognize the properties of the binary operation "$\ast$" looking at the operation table:

Motivations: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001