Bimodule (source code)

= Bimodule
{wiki}

An $(R,S)$-bimodule is simultaneously a left $R$-module and a right $S$-module, with commuting scalar actions $(rm)s=r(ms)$.