正則列





数学、特に可換環論において正則列(せいそくれつ、英: regular sequence)とは、不定元のように振る舞う可環環の元の列のことである[1]。例えば、係数環 R を持つ多項式環 R[X1, ..., Xn] において X1, ..., Xn は正則列である。




目次






  • 1 定義


  • 2


  • 3 脚注


  • 4 参考文献


  • 5 関連項目





定義


R を可換環、MR-加群とする。元 xRM-正則元M-regular element)であるとは、x が加群 M 上の零因子でないことである。列 x1, ..., xnRM-正則列
M-regular sequence)であるとは2条件



  • xiM/(x1, ..., xi−1)M-正則元

  • M/(x1, ..., xn)M ≠ 0


が成り立つことである。M = R のときには接頭語「R-」はしばしば省略される。


M-正則列を並び変えたものは M-正則列になるとは限らない[2]。ただしネーター局所環の極大イデアルに含まれる正則列は並び変えても正則列であることがわかる[3]





R を可換環とする。



  • 多項式環 R[X1, ..., Xn] において X1, ..., Xn は正則列である。


脚注





  1. ^ Bruns & Herzog 1993.


  2. ^ Eisenbud 1995, Example 17.3.


  3. ^ Eisenbud 1995, Corollary 17.2.




参考文献




  • 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. MR 1251956. Zbl 0909.13005. https://books.google.com/books?id=LF6CbQk9uScC&pg=PA3. 


  • Eisenbud, David (1995). Commutative algebra. Graduate Texts in Mathematics. 150. Springer-Verlag. ISBN 0-387-94268-8. MR 1322960. Zbl 0819.13001. https://books.google.com/books?id=xDwmBQAAQBAJ&pg=PA417. 


  • Matsumura, Hideyuki (1986). Commutative ring theory. Cambridge Studies in Advanced Mathematics. 8. Cambridge University Press. ISBN 0-521-36764-6. MR 0879273. Zbl 0603.13001. https://books.google.com/books?id=yJwNrABugDEC&pg=PA123. 



関連項目


  • 深さ (環論)



Popular posts from this blog

'app-layout' is not a known element: how to share Component with different Modules

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

WPF add header to Image with URL pettitions [duplicate]