En algèbre linéaire, un --bimodule est un ensemble muni à la fois d'une structure de module à gauche sur un anneau et d'une structure de module à droite sur un anneau , ces deux structures possédant la même addition et vérifiant:
.
Exemples
Tout A-module à droite est aussi un -A-bimodule.
A est un A-A bimodule.
Si A est commutatif, tout A-module peut être vu comme un A-A bimodule.