Homotopy Type Theory module > history (Rev #6, changes)

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

Definiton

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

Properties

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

See also

• abelian group
• action
• monoid
• algebra (module theory)
• graded module