Homotopy Type Theory bimodule > history (Rev #3)

Definiton

Let $R$ and $S$ be rings. A $R$-$S$-bimodule is an abelian group $B$ with a trilinear multiplicative $R$-$S$-biaction.

Properties

• Every abelian group is a $\mathbb{Z}$-$\mathbb{Z}$-bimodule.
• Every left $R$-module is a $R$-$\mathbb{Z}$-bimodule.
• Every right $R$-module is a $\mathbb{Z}$-$R$-bimodule.

See also

• abelian group
• trilinear function
• biaction
• module
• algebra (module theory)
• ideal (ring theory)
• vector space?