正則列
数学、特に可換環論において正則列（せいそくれつ、英: regular sequence）とは、不定元のように振る舞う可換環の元の列のことである[1]。例えば、係数環 R を持つ多項式環 R[X1, ..., Xn] において X1, ..., Xn は正則列である。
定義 編集
R を可換環、M を R-加群とする。元 x ∈ R が M-正則元（M-regular element）であるとは、x が加群 M 上の零因子でないことである。列 x1, ..., xn ∈ R が M-正則列（ M-regular sequence）であるとは2条件
- 各 xi は M/(x1, ..., xi−1)M-正則元
- M/(x1, ..., xn)M ≠ 0
が成り立つことである。M = R のときには接頭語「R-」はしばしば省略される。
M-正則列を並び変えたものは M-正則列になるとは限らない[2]。ただしネーター局所環の極大イデアルに含まれる正則列は並び変えても正則列であることがわかる[3]。
例 編集
R を可換環とする。
- 多項式環 R[X1, ..., Xn] において X1, ..., Xn は正則列である。
脚注 編集
参考文献 編集
- Bruns, Winfried; Herzog, Jürgen (1993). Cohen-Macaulay rings. Cambridge Studies in Advanced Mathematics. 39 (Rev. ed.). Cambridge University Press. ISBN 0-521-56674-6. MR1251956. Zbl 0909.13005
- Eisenbud, David (1995). Commutative algebra. Graduate Texts in Mathematics. 150. Springer-Verlag. ISBN 0-387-94268-8. MR1322960. Zbl 0819.13001
- Matsumura, Hideyuki (1986). Commutative ring theory. Cambridge Studies in Advanced Mathematics. 8. Cambridge University Press. ISBN 0-521-36764-6. MR0879273. Zbl 0603.13001