前スレ２の967の補足

A をネーター局所環とし、M ≠ 0 を有限生成 A-加群とする。
dim(M) = 0 のとき、空集合を M-切断列 と考える。