Homotopy Type Theory bimodule > history (changes)

Showing changes from revision #5 to #6: Added | Removed | Changed

Definiton

< bimodule

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

Last revised on June 13, 2022 at 06:06:05. See the history of this page for a list of all contributions to it.