This is a group of order 8:

These are the multiplications of all pairs of elements, numbered as returned by GroupElementPosition:

Generate all eight permutations of the group:

The product of permutations 5 and 2 is permutation 7 in the list:

Multiplication tables can be constructed for any finite group:

In permutation-group algebra the basic elements are linear combinations of the permutations of a group. It is possible to avoid recomputation of products of permutations by using a multiplication table. Denoting elements of the group algebra as lists of coefficients, it is possible to multiply them:

This is a nilpotent element:

This is an idempotent:

Every row and every column of the multiplication table of a group contains every permutation once, but in different order. Hence, the table is a Latin square (note that not every Latin square corresponds to a group, because associativity is not guaranteed):

Multiplication table of the trivial group:

The Cayley theorem states that every finite group is isomorphic to a subgroup of some symmetric group of permutations. Hence every multiplication table is a subtable of the table of a symmetric group, perhaps after renumbering of permutations.

This is the multiplication table of a subgroup of :

Therefore it can be extracted as a subtable of the table of :

A group is Abelian if and only if its multiplication table is symmetric under transposition. Take the symmetric group of degree 3:

The group is not Abelian:

When all elements of a group are involutions, the group is Abelian. That is, if the multiplication table has only 1s in the diagonal, then it is symmetric:

The multiplication table can be obtained by direct use of PermutationProduct and GroupElementPosition:

Two groups are isomorphic as abstract groups if they have the same group multiplication table, modulo reordering of their elements:

However, those two groups are not isomorphic as permutation groups, because their permutations have different cyclic structures:

The product table follows "array indexing" in which the first element is represented in the vertical axis and the second element in the horizontal axis, and not "Cartesian indexing", in which these are reversed:

Matrix plot of the multiplication table of the symmetric group :