Homotopy Type Theory bimodule > history (Rev #3)

Definiton

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

Properties

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

See also

Revision on May 25, 2022 at 03:24:19 by Anonymous?. See the history of this page for a list of all contributions to it.