mula_1 在 formula_5 上的群作用 formula_8。等价的说法是：formula_5 是群环 formula_10 上的模。通常将 formula_1 的作用写成乘法 formula_12。全体 formula_1-模自然地构成一个阿贝尔范畴。对给定的 formula_1-模 formula_5，最重要的子群之一是其 formula_1-不变子群若 formula_18 是一个 formula_1-子模（即：是 formula_5 的子群，且在 formula_1 的作用下不变），