Homotopy Type Theory bimodule > history (Rev #5)

Definiton

A single action ring

Let RR be a ring. An RR-bimodule is an abelian group BB with a trilinear multiplicative $R$-biaction ()()():R×B×RB(-)(-)(-):R \times B \times R \to B.

Two different action rings

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

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 26, 2022 at 17:36:31 by Anonymous?. See the history of this page for a list of all contributions to it.