个 formula_1-模 之长度是一个整数（包括无穷大），它推广了向量空间的维度。有限长度的模与有限维向量空间有许多共通性。
动机.单模是除了零和本身外没有子模的模，这种模有时也称为"不可约模"。例如不可约的向量空间（视为域或除环上的模）是一条直线。对于单模，我们只可能造出一种严格递增的子模链：单模是容易处理的对象。对于一个环 formula_1 上的 formula_1-模 formula_6，如果我们能找到一条严格递增的子模链：使得每个子商 formula_8 都是单