opposite ring
If is a ring, then we may construct the opposite ring which has the same underlying abelian group structure
, but with multiplication in the opposite order: the product of and in is .
If is a left -module, then it can be made into a right -module, where a module element , when multiplied on the right by an element of , yields the that we have with our left -module action on . Similarly, right -modules can be made into left -modules.
If is a commutative ring, then it is equal to its own opposite ring.
Similar constructions occur in the opposite group and opposite category.