的关系。群 formula_1 的表示是 formula_1-模的特例：一个 formula_1-模是一个阿贝尔群 formula_5 配上 formula_1 在 formula_5 上的群作用 formula_8。等价的说法是：formula_5 是群环formula_10 上的模。通常将 formula_1 的作用写成乘法 formula_12。全体 formula_1-模自然地构成一个阿贝尔范畴。对给定的 formula_1-模 formula_5，最重要的子群之一是其 formula_1-不