4. To each item there must be an inverse, i.e. too ( ) -1 and too in (-) -1 . From the definition AA -l = E with E = and A = or A = - one receives the relations
( ) -1 =
- (-) -1 =
From the fact we infer that applies: ( ) -1 = and (-) -1 = -, i.e. each item is its own inverse.
It is situated thus a group forwards with the order ......