To test whether a set along with an operation on the members of the set forms a group, we must test the group properties in turn. These are

G1: Closure – ifthenwhereis the group operation.

G2: Associativity – ifthen

G3: Identity – every group has an identity elementsatisfyingfor all

G4: Inverses - ifthenwhereand

Only one of the group axioms needs not to be satisified for a set to fail to form a group.

Example: The setis a group. We test that the group properties are satisfied one by one.

G1: We can construct the group table.

{}times{}-5 |
1 |
2 |
3 |
4 |

1 |
1 |
2 |
3 |
4 |

2 |
2 |
4 |
1 |
3 |

3 |
3 |
1 |
4 |
2 |

4 |
4 |
3 |
2 |
1 |

All the highlighted elements are in the set so the closure axiom is satisfied.

G2: Associativity is a property of multiplication, so G2 is satisfied.

G3: The identity element is 1 sinceandandso G3 is satisfied.

G4: We can read off the inverse of each element from the group table. To find the inverse of an element, find that element in the left margin. Go along in the corresponding row to the identity elemt then up to the top margin. The elemt in that cell is the inverse.

The inverse of 1 is 1

The inverse of 2 is 3

the inverse of 3 is 2

The inverse of 4 is 4.

The set of matrices of the formis not a group under matrix multiplication. Axiom G1 is not satisfied, since

and this is not of the required form.