Let π ,π be rings, possibly non-commutative.
An (π ,π)-bimoduleπ is both a left π -module and right π-module,
such that for any πβπ , π‘βπ, and πβπmodule
(ππ)π‘=π(ππ‘)
An (π ,π )-bimodule is also called an π -bimodule.