Homotopy Type Theory
bimodule > history (Rev #5)
Definiton
A single action ring
Let be a ring. An -bimodule is an abelian group with a trilinear multiplicative $R$-biaction .
Two different action rings
Let and be rings. A --bimodule is an abelian group with a trilinear multiplicative $R$-$S$-biaction .
Properties
- Every abelian group is a --bimodule.
- Every left -module is a --bimodule.
- Every right -module is a --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.