Homotopy Type Theory
bimodule > history (Rev #6, changes)
Showing changes from revision #5 to #6:
Added | Removed | Changed
Definiton
< bimodule
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 June 13, 2022 at 06:06:05 by
Anonymous?.
See the history of this page for a list of all contributions to it.