Definition If and are two rings, a - bimodule is an abelian group that is both a left -module and a right -module such that