Let be an
-algebra. Define an operation
by
. This algebra
is called the opposite algebra to
. We verify that it forms an
-algebra.
Bilinearity comes from the following computations:
Associativity is true from
The unity element is the same unity element :
,
.