|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 主 ： [ぬし, おも] 【名詞】 1. owner 2. master 3. lover 4. god ・ 主イデアル ： [しゅいである, おもいである] (n) principal idea ・ 環 ： [わ, かん] 【名詞】 1. circle 2. ring 3. link 4. wheel 5. hoop 6. loop
数学において、単項右（左）イデアル環、主右（左）イデアル環 (principal right (left) ideal ring) は環 ''R'' であってすべての右（左）イデアルがある ''x'' ∈ ''R'' に対して ''xR'' (''Rx'') の形であるようなものである。（1つの元で生成されたこの形の右と左のイデアルは単項イデアルである。）これが左と右のイデアル両方に対して満たされるとき、例えば ''R'' が可換環のような場合、''R'' を単項イデアル環、主イデアル環 (principal ideal ring) あるいはシンプルに 単項環、主環 (principal ring) と呼ぶことができる。 ''R'' の有限生成右イデアルだけが単項であるならば、''R'' は右ベズー環 (right Bézout ring) と呼ばれる。左ベズー環は同様に定義される。これらの条件は域 (domain) においてベズー域として研究される。 整域でもあるような可換単項イデアル環は''単項イデアル整域'' (PID) と呼ばれる。この記事において焦点は域とは限らない単項イデアル環のより一般的な概念に当てる。 == 一般的な性質 == ''R'' が右単項イデアル環であれば、それは確かに右ネーター環である、なぜならばすべての右イデアルは有限生成だからだ。それは右ベズー環でもある、なぜならばすべての有限生成右イデアルは単項だからだ。それにまた、単項右イデアル環はちょうど右ベズーかつ右ネーターな環であることは明らかである。 単項右イデアル環は有限直積で閉じている。 であれば、''R'' の各右イデアルは の形である、ただし各 は ''R''i の右イデアルである。すべての ''R''i が単項右イデアル環であれば、''A''i=''x''i''R''i であり、 であることがわかる。それほどさらに努力しなくても右ベズー環もまた有限個の直積で閉じていることが証明できる。 単項右イデアル環と右ベズー環はまた商についても閉じている、つまり、''I'' が単項右イデアル環 ''R'' の真のイデアルであれば、商環 ''R/I'' もまた単項右イデアル環である。これは環の同型定理からただちに従う。 上記のすべての性質は左でも同様に成り立つ。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「単項イデアル環」の詳細全文を読む スポンサード リンク
|