and
such that
A right module
is analogously defined to
except for two things that are different in its definition:
If the ring
is commutative one can prove that the category of left
-modules and the category of right
-modules are equivalent (in the sense of an equivalence of categories, or categorical equivalence).
As of this snapshot date, this entry was owned by bci1.