>
|
|
| (2) |
First, set prefixes for identifying anticommutative and noncommutative variables.
>
|
|
| (3) |
Consider now the list of objects of commutative, anticommutative, and noncommutative types.
>
|
|
| (5) |
The multiplicative inverses of these objects are:
| (6) |
In turn out that the multiplicative inverses of these inverses are the original objects themselves.
| (7) |