Wikipedia

準正則元

この記事は現代代数学の分野である環論の文脈における準正則性の概念についてのものです。数学における準正則性の他の概念については、英語版の曖昧さ回避ページ quasiregular をご覧ください。

数学、特に環論において、準正則性 (quasiregularity) の概念は環のジャコブソン根基で研究するための計算的に便利な方法を提供してくれる[1]。直感的には、準正則性は環の元が「悪い」、つまり、望ましくない性質をもっているとはどういうことかを捉える[2]。「悪い元」は準正則である必要があるが、準正則元はかなりあいまいな意味で「悪い」必要はない。この記事においては、主として単位的環に対して準正則性の概念を考える。しかしながら、一節は非単位的環における準正則性の理論に割かれる。これは非可換環論の重要な側面を構成する。

定義 編集

R を（単位元をもつ）環とし、 r を R の元とする。このとき r が準正則 (quasiregular) であるとは、1 − r が R の単元である、つまり、乗法について可逆であるということである[1]。右または左準正則性 (right or left quasiregularity) の概念はそれぞれ 1 − r が右または左逆元をもつ状況に対応する[1]。

単位的でない環の元 x が右準正則 (right quasiregular) であるとは、ある y が存在して x + y − xy = 0 となるということである[3]。左準正則 (left quasiregular) 元の概念も同様に定義される。元 y を x の右準逆元 (right quasi-inverse) と呼ぶことがある[4]。環が単位的であれば、この準正則性の定義は上で与えられた定義と一致する[3]。x * y = x + y − xy と書けば、この二項演算 * は結合的である[5]。それゆえ、元が左と右の準逆元を両方とももてば、それらは等しい[6]。

注意 編集

準正則性について、別の定義が存在する。すなわち、rng R において、二項演算   を   と定義すると、これにより上記の * と同様 R は 0 を単位元とするモノイドとなり、y ∈ R は、この演算に関して左逆元が存在するときに、左準正則というのである（右準正則も同様）[7]。このとき、R が単位的環であれば、r ∈ R が左（resp. 右）準正則であることと 1 + r が環の乗法について左（resp. 右）逆元を持つことが同値である。

"* による定義"がジャコブソンによるオリジナルのものである[8]。  であるから、符号を考慮すれば定義を行き来出来る[9]。例えば、一方の定義で y が左準正則であることともう一方の定義で −y が左準正則であることは同値である[9]。

本記事では、"* による定義"を採用するが、上記注意により"   による定義"でのステートメントに修正することは容易である。

例 編集

  • R が環であれば、R の加法単位元 0 はつねに準正則である。
  • x2 が右（resp. 左）準正則であれば、±x は右（resp. 左）準正則である[10][11]。
  • R が環であれば、R のすべての冪零元は準正則である[12][13]。
  • 行列はその加法逆元が固有値として −1 をもたなければ行列環において準正則である。より一般に、有界作用素はその加法逆元が −1 がそのスペクトルになければ準正則である[要出典]。
  • 単位的バナッハ代数において、  であれば、幾何級数   は収束する。したがって、すべてのそのような x は準正則である。
  • R が環で S = R [[X1, ..., Xn]] が R 上 n 不定元形式的冪級数環であれば、S の元が準正則であることとその定数項が R の元として準正則であることは同値である。

性質 編集

  • （可換とは限らない）環のジャコブソン根基のすべての元は準正則である[14]。実は、環のジャコブソン根基はすべての元が右準正則であるという性質に関して極大な、環の唯一の右イデアルとして特徴づけることができる[15][16]。しかしながら、右準正則元がジャコブソン根基の元であるとは限らない[17]。これは記事の初めのリマークを正当化する - 準正則元が「悪い」必要はないが、「悪い元」は準正則である。環のジャコブソン根基の元はしばしば「悪い」と思われる。
  • 環の元が冪零かつ中心的であれば、それは環のジャコブソン根基の元である[18]。これはその元で生成される単項右イデアルが準正則（実は冪零）元のみからなるからだ。
  • 環の元 r ≠ 0 が冪等であれば、環のジャコブソン根基の元ではありえない[19]。これは冪等元が準正則ではありえないからだ。この性質は、上記の性質と同様、記事のトップで与えられた、準正則性の概念はジャコブソン根基で研究するときに計算的に便利であるというリマークを正当化する[1]。

半環への一般化 編集

準正則元の概念は直ちに半環 (semiring) へと一般化される。a が半環 S の元であれば、S から自身へのアフィン写像は   である。S の元 a が右準正則 (right quasiregular) であるとは、  が一意とは限らない固定点をもつときにいう。各そのような固定点は a の左準逆元 (left quasi-inverse) と呼ばれる。b が a の左準逆元でさらに b = ab + 1 であれば、b は a の準逆元 (quasi-inverse) と呼ばれる。準逆元をもつ半環の任意の元を準正則 (quasiregular) と言う。半環のすべてではなく一部の元が準正則であるということはあり得る。例えば、通常の加法と乗法による非負の実数の半環において、  は固定点   をすべての a < 1 に対してもつが、a ≥ 1 に対しては固定点をもたない[20]。半環のすべての元が準正則であれば半環は準正則半環 (quasi-regular semiring)、閉半環 (closed semiring)[21]、あるいは時折レーマン半環 (Lehmann semiring)[20]と呼ばれる（後者は Daniel J. Lehmann の論文[22] に敬意を払っている）。

準正則半環の例はクレイニ代数（英語版）（それらの中でも顕著に、正則表現の代数）によって提供される。そこでは準逆元は最小固定点解として定義される単項演算（a* で表記される）の役割に持ち上げられる。クレイニ代数は加法的に冪等であるがすべての準正則半環がそうであるわけではない。非負実数の例を無限大を含むように拡張でき、それは任意の元 a ≥ 1 の準逆元が無限大である準正則半環になる。この準正則半環はしかしながら加法的に冪等ではないので、クレイニ代数でない[21]。しかしながらそれは complete semiring である[23]。より一般に、すべての complete semiring は準正則である[24]。用語 closed semiring は実は著者によってはただの準正則ではなく complete semiring を意味するために用いられる[25][26]。

Conway 半環（英語版）はまた準正則である。2つの Conway の公理は実は独立である、つまり、the product-star [Conway] axiom, (ab)* = 1 + a(ba)*b のみを満たし the sum-star axiom, (a + b)* = (a*b)*a* を満たさない半環が存在し、and vice-versa。半環が準正則であることを意味しているのは the product-star [Conway] axiom である。その上、可換半環（英語版）が準正則であることと the product-star Conway axiom を満たすことは同値である[20]。

準正則半環は最短経路問題の一般化である algebraic path problems において現れる[21]。

関連項目 編集

脚注 編集

  1. ^ a b c d Isaacs, p. 180
  2. ^ Isaacs, p. 179
  3. ^ a b Lam, Ex. 4.2.
  4. ^ Polcino & Sehgal (2002), p. 298.
  5. ^ Lam, Ex. 4.1.
  6. ^ 0 が乗法単位元なので、  であれば、  である。準正則性は環が乗法単位元をもつことを要求しない。
  7. ^ Kaplansky, p. 85
  8. ^ Lam, Ex. 4.2 の後のコメント参照。Jacobson, "Structure of Rings" (Colloquium Publications) AMS.
  9. ^ a b Lam, Ex. 4.2 の後のコメント
  10. ^ Lam, Ex. 4.4 の証明参照。
  11. ^ "  による定義"であれば、「−x2 が右（resp. 左）準正則であれば、±x は右（resp. 左）準正則である」となる。Kaplansky, p. 108
  12. ^ Lam, Ex. 4.2.(2)
  13. ^ "  による定義"では、この事実はまた初歩的な計算によって確認される。すなわち、xn + 1 = 0 であれば、 
  14. ^ Isaacs, Theorem 13.4(a), p. 180
  15. ^ Isaacs, Theorem 13.4(b), p. 180
  16. ^ Isaacs, Corollary 13.7, p. 181
  17. ^ Isaacs, p. 181
  18. ^ Isaacs, Corollary 13.5, p. 181
  19. ^ Isaacs, Corollary 13.6, p. 181
  20. ^ a b c Jonathan S. Golan (30 June 2003). Semirings and Affine Equations over Them. Springer Science & Business Media. pp. 157–159 and 164–165. ISBN 978-1-4020-1358-4. https://books.google.co.jp/books?id=jw4Hmgz5ETQC&pg=PA157&redir_esc=y&hl=ja 
  21. ^ a b c Marc Pouly; Jürg Kohlas (2011). Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. pp. 232 and 248–249. ISBN 978-1-118-01086-0 
  22. ^ Lehmann, D. J. (1977). “Algebraic structures for transitive closure”. Theoretical Computer Science 4: 59. doi:10.1016/0304-3975(77)90056-1. 
  23. ^ Droste, M., & Kuich, W. (2009). Semirings and Formal Power Series. Handbook of Weighted Automata, 3–28. doi:10.1007/978-3-642-01492-5_1, pp. 7-10
  24. ^ U. Zimmermann (1981). Linear and combinatorial optimization in ordered algebraic structures. Elsevier. p. 141. ISBN 978-0-08-086773-1. https://books.google.co.jp/books?id=7LAwym3Nh0AC&pg=PA141&redir_esc=y&hl=ja 
  25. ^ Dexter Kozen (1992). The Design and Analysis of Algorithms. Springer Science & Business Media. p. 31. ISBN 978-0-387-97687-7. https://books.google.co.jp/books?id=L_AMnf9UF9QC&pg=PA31&redir_esc=y&hl=ja 
  26. ^ J.A. Storer (2001). An Introduction to Data Structures and Algorithms. Springer Science & Business Media. p. 336. ISBN 978-0-8176-4253-2. https://books.google.co.jp/books?id=S-tXjl1hsUYC&pg=PA336&redir_esc=y&hl=ja 

参考文献 編集

  • I. Martin Isaacs (1993). Algebra, a graduate course (1st ed.). Brooks/Cole Publishing Company. ISBN 0-534-19002-2 
  • Irving Kaplansky (1969). Fields and Rings. The University of Chicago Press 
  • Milies, César Polcino; Sehgal, Sudarshan K. (2002). An introduction to group rings. Springer. ISBN 978-1-4020-0238-0 
  • Lam, Tsit-Yuen (2003). Exercises in Classical Ring Theory. Problem Books in Mathematics (2nd ed.). Springer-Verlag. ISBN 978-0387005003 
「https://ja.wikipedia.org/w/index.php?title=準正則元&oldid=91173260」から取得