Bimodule

Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En algèbre linéaire, un ${\displaystyle A}$-${\displaystyle B}$-bimodule est^[1] un ensemble ${\displaystyle M}$ muni à la fois d'une structure de module à gauche sur un anneau ${\displaystyle A}$ et d'une structure de module à droite sur un anneau ${\displaystyle B}$, ces deux structures possédant la même addition et vérifiant :

${\displaystyle \forall a\in A\quad \forall x\in M\quad \forall b\in B\quad a(xb)=(ax)b}$.

Exemples

• Tout A-module à droite est aussi un ${\displaystyle \mathbb {Z} }$-A-bimodule.
• A est un A-A bimodule^[1].
• Si A est commutatif, tout A-module peut être vu comme un A-A bimodule.

Référence

• Portail de l’algèbre