Homotopy Type Theory module > history (changes)

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


< module


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

Last revised on June 14, 2022 at 21:20:03. See the history of this page for a list of all contributions to it.