The composition tables are useful in examining the following axioms in the manner explained below:
Closure Property: If all the elements of the table belong to the set (say) then is closed under the Composition a (say). If any of the elements of the table does not belong to the set, the set is not closed.
Existence of Identity: The element (in the vertical column) to the left of the row identical to the top row (border row) is called an identity element in the with respect to operation “”.
Existence of Inverse: If we mark the identity elements in the table then the element at the top of the column passing through the identity element is the inverse of the element in the extreme left of the row passing through the identity element and vice versa.
Commutative: If the table is such that the entries in every row coincide with the corresponding entries in the corresponding column i.e., the composition table is symmetrical about the principal or main diagonal, the composition is said to have satisfied the commutative axiom otherwise it is not commutative.
The process will be clearer with the help of following illustrative examples.
Prove that the set of cube roots of unity is an Abelian finite group with respect to multiplication.
The set of cube roots of unity is . Let us form the composition table as given below.
(G1) Closure Axiom: Since each clement obtained in the table is a unique element of the given set , multiplication is a binary operation. Thus the closure axiom is satisfied.
(G2) Associative Axiom: The elements of arc all complex numbers and we know that multiplication of complex number is always associative. Hence associative axiom is also satisfied.
(G3) Identity Axiom: Since row of the table is identical with the top border row of elements of the set, (the element to the extreme left of this row) is the identity element in .
(G4) Inverse Axiom: The inverse of are and respectively.
(G5) Commutative Axiom: Multiplication is commutative in because the elements equidistant with the main diagonal are equal to each other.
The number of elements in is 3. Hence is a finite group of order 3.
Prove that the is Abelian multiplicative finite group of order 4.
Let . The following will be the composition table for .
(G1) Closure Axiom: Since all the entries in the composition table are elements of the set , the set is closed under the operation multiplication. Hence closure axiom is satisfied.
(G2) Associative Axiom: Multiplication for complex numbers is always associative.
(G3) Identity Axiom: Row 1 of the table is identical with that at the top border, hence the element in the extreme left column heading row is the identity clement.
(G4) Inverse Axiom: Inverse of is . Inverse of is . Inverse of is and of is . Hence inverse axiom is satisfied in .
(G5) Commutative Axiom: Since in the table the 1st row is identical with 1st column, 2nd row is identical with the 2nd column, 3rd row identical with the 3rd column and 4th row is identical with the 4th column, hence the multiplication in is commutative.
The number of elements in is 4. Hence is an Abelian finite group of 4 with respect to multiplication.