Homotopy Type Theory module > history (Rev #1)

Definiton

Let AA be an abelian group, let RR be a commutative ring, and let α l:R×AA\alpha_l:R \times A \to A be a left multiplicative RR-action on AA and α r:A×RA\alpha_r:A \times R \to A be a right multiplicative RR-action on AA. AA is a left RR-module if α l\alpha_l is a bilinear function, and AA is a right RR-module if α r\alpha_r is a bilinear function.

Properties

Every abelian group is a left \mathbb{Z}-module and a right \mathbb{Z}-module.

See also

Revision on March 14, 2022 at 21:25:15 by Anonymous?. See the history of this page for a list of all contributions to it.