#
Homotopy Type Theory
module > history (changes)

Showing changes from revision #6 to #7:
Added | ~~Removed~~ | ~~Chan~~ged

## Definiton

< module

~~Let ~~

~~$A$~~~~ be an ~~~~abelian group~~~~, let ~~~~$R$~~~~ be a ~~~~commutative ring~~~~. ~~~~$A$~~~~ is an ~~~~$R$~~~~-module if it comes with an ~~~~abelian group homomorphism~~~~ ~~~~$\alpha:R \to (A \to A)$~~~~ such that~~~~
~~~~
~~## Properties

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

~~
~~## See also

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