定義
Aを環とし、MをA-加群とする。
A の元の列 x_1, ..., x_r が M-正則列 であるとき、
r をこの M-正則列 の長さと呼ぶ。