順序環とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 順序環の意味・解説 

順序環

(ordered ring から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/09/14 07:07 UTC 版)

実数全体 は順序環であり順序体でもある。 整数全体 は順序環だが順序体ではない。

抽象代数学において、順序環(じゅんじょかん、: Ordered ring)は、演算と両立するような全順序が定義された(通常は可換な)を言う。即ち、R が順序環であるとき、任意の a, b, cR に対し、以下の二つが成り立つ[1]

  • ab ならば a + cb + c.
  • 0 ≤ a かつ 0 ≤ b ならば 0 ≤ ab.

順序環は算術においてなじみ深い代数系である。整数全体の成す集合 有理数全体の成す集合 実数全体の成す集合 はすべて通常の大小関係を順序として順序環となる (後ろの二つは順序体でもある)[2]。それに対し複素数全体の成す集合 はいかなる順序のもとでも順序環にはならない(虚数単位 i を0以上としても0以下としても矛盾が生じるため)。

正元

実数の集合における概念のアナロジーとして、0 < c である元 cc < 0 である元 cの元と呼ぶ。0 は正でも負でもないとする。

順序環 R の正元全体の成す集合をしばしば R+ と表記する。

絶対値

順序環 R の任意の元 a に対し、以下のように絶対値 |a| を定めることができる。

ここで aa加法逆元である。

離散順序環

01 との間に元を持たないような順序環を、離散順序環 (discrete ordered ring) と呼ぶ。整数全体の成す集合 Z などがその例であり、有理数全体の集合 Q や実数全体の集合 R はそうではない。

性質

Rの任意の元 a, b, c に対し、

  • ab かつ 0 ≤ c ならば acbc[3]。この性質を順序環の定義に用いることもある。
  • |ab| = |a| |b|[4]
  • 自明でない順序環は無限環である[5]
  • 次の3つのうち、いずれか一つのみが成り立つ英語版: a は正、a は正、あるいは a = 0[6]。この性質は順序環が加法に関してアーベル群かつ全順序群英語版であることから導かれる。これより、 が順序環にはならないことが従う。
  • 順序環 R の正元の集合が乗法で閉じているならば、そのときに限り R零因子を持たない[7]
  • 任意の 0 でない元の2乗は正になる[8]。実際、a ≠ 0a = b2 であるとすると、b ≠ 0 かつ a = (-b )2 となる。上述の性質より bb のどちらかは正だから、定義の2番目の性質より a も正である。

関連項目

出典

以下の出典にはIsarMathLibプロジェクトの証明を含む。

  1. ^ Lam, T. Y. (1983), Orderings, valuations and quadratic forms, CBMS Regional Conference Series in Mathematics, 52, American Mathematical Society, ISBN 0-8218-0702-1, Zbl 0516.12001 
  2. ^ Lam, T. Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics, 131 (2nd ed.), New York: Springer-Verlag, pp. xx+385, ISBN 0-387-95183-0, MR1838439, Zbl 0980.16001 
  3. ^ OrdRing_ZF_1_L9
  4. ^ OrdRing_ZF_2_L5
  5. ^ ord_ring_infinite
  6. ^ OrdRing_ZF_3_L2, see also OrdGroup_decomp
  7. ^ OrdRing_ZF_3_L3
  8. ^ OrdRing_ZF_1_L12



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「順序環」の関連用語

順序環のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



順序環のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの順序環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS