Man nennt M {\displaystyle {}M} einen R {\displaystyle {}R} -Modul, wenn eine Operation
festgelegt ist, die folgende Axiome erfüllt (dabei seien r , s ∈ R {\displaystyle r,s\in R} und u , v ∈ M {\displaystyle u,v\in M} beliebig):