Homotopy Type Theory bimodule > history (Rev #4)

Definiton

Let $R$ and $S$ be rings. A $R$-$S$-bimodule is an abelian group $B$ with a trilinear multiplicative $R$-$S$-biaction $(-)(-)(-):R \times B \times S \to B$.

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)
• bimodule homomorphism
• ideal (ring theory)
• vector space?