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.

Un $A_1$-$A_2$-bimodule est un ensemble M muni à la fois d'une structure de module à gauche sur un anneau $A_1$ et d'une structure de module à droite sur un anneau $A_2$ vérifiant

$\forall a \in A_1,\quad \forall x \in M,\quad \forall b \in A_2,\quad a.(x.b) = (a.x).b$.

Exemples

• Tout A-module à droite est aussi un $\mathbb Z$-A-bimodule
• A est un A-A bimodule
• Si A est commutatif, tout A-module peut être vu comme un A-A bimodule. Plus généralement, pour A quelconque, un A-module à gauche peut être vu comme un $A-A^{op}$ bimodule.