Definition:Cayley Table

Definition
A Cayley table is a technique for describing an algebraic structure (usually a finite group) by putting all the products in a square array:


 * $\begin{array}{c|cccc}

\circ & a & b & c & d \\ \hline a & a & a & b & a \\ b & b & c & a & d \\ c & d & e & f & a \\ d & c & d & a & b \\ \end{array}$

The column down the left hand side denotes the first (leading) operand of the operation.

The row across the top denotes the second (following) operand of the operation.

Thus, in the above Cayley table:
 * $c \circ a = d$

If desired, the symbol denoting the operation itself can be put in the upper left corner, but this is not essential if there is no ambiguity.

The order in which the rows and columns are placed is immaterial. However, it is conventional, when representing an algebraic structure with an identity element, to place that element at the head of the first row and column.

Also known as
Some sources call this an operation table, but there exists the view that this sounds too much like a piece of hospital apparatus.

Another popular name for this is a multiplication table, but this holdover from grade school terminology may be considered irrelevant to a table where the operation has nothing to do with multiplication as such.

In the field of logic, a truth table in this format is often referred to as matrix form, but note that this terminology clashes with the definition of a matrix in mathematics.

Also see

 * Cayley Table for Commutative Operation is Symmetrical about Main Diagonal