与gowers关于群作用的回答类似，环R上的模是阿贝尔群M和函数$f:R\次M\到M$满足某些属性的。它可能会让初学者放心地听到，“它们就像向量空间，除了在任意环上，而不仅仅是域上”，这本身就有误导性，但对于记住定义来说是一种很好的记忆方法。然而，我通常发现更直观的做法是将R上的模看作是从R到阿贝尔群的自同态环的同态，并且使用这个定义不需要助记符。