正則列
R を可換環とする。
多項式環 R[X1, ..., Xn] において X1, ..., Xn は正則列である。