Homotopy Type Theory module > history (Rev #6)


Let AA be an abelian group, let RR be a commutative ring. AA is an RR-module if it comes with an abelian group homomorphism α:R(AA)\alpha:R \to (A \to A) such that

  • α(1)=id A\alpha(1) = id_A

  • for all a:Ra:R and b:Rb:R, α(a)α(b)=α(ab)\alpha(a) \circ \alpha(b) = \alpha(a \cdot b)


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

See also

Revision on June 14, 2022 at 16:35:57 by Anonymous?. See the history of this page for a list of all contributions to it.