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.
Références
Catégorie:Module