## Definiton ## Let $R$ and $S$ be [[ring]]s. A $R$-$S$-bimodule is an [[abelian group]] $B$ with a [[trilinear function|trilinear]] multiplicative [[biaction|$R$-$S$-biaction]]. ## Properties ## * Every abelian group is a $\mathbb{Z}$-$\mathbb{Z}$-bimodule. * Every left $R$-module is a $R$-$\mathbb{Z}$-bimodule. * Every right $R$-module is a $\mathbb{Z}$-$R$-bimodule. ## See also ## * [[abelian group]] * [[trilinear function]] * [[biaction]] * [[module]] * [[algebra (module theory)]] * [[ideal (ring theory)]] * [[vector space]]