Homotopy Type Theory module > history (changes)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

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

Definiton

< module

Let

category: redirected to nlab
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→(A→A)\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)=α(a⋅b)\alpha(a) \circ \alpha(b) = \alpha(a \cdot b)

Properties

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.

EditDiscussPrevious revisionHide changesHistory (6 revisions) Print Source