|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 極 ： [きょく, ごく] 1. (adv,n) quite 2. very ・ 極大 ： [きょくだい] (adj-na,n) maximum ・ 右 ： [みぎ] 【名詞】 1. (1) right hand side 2. (2) above 3. afore-mentioned 4. foregoing 5. forgoing
環 の極大左イデアル（きょくだいひだりいである、）とは、 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。すなわち、左イデアル を真に含む左イデアルが しかないときに を の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証される〔あらかじめ環にネーター性を仮定しておけば、ツォルンの補題を避けることもできる。〕。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。 == 性質 == * 環 において、両側イデアル が極大であることと、剰余環 が単純環であることは同値である。特に可換環のイデアルが極大であることと、その剰余環が体であることは同値である。 * 環 において、左イデアル が極大であることと、剰余加群 が単純加群であることは同値である。 * 環の極大両側イデアルは素イデアルである。逆は一般には成り立たない〔自明な反例としては整数環 のゼロイデアル がある。これは素イデアルだが、極大イデアルではない。〕。 * 全射環準同型による左極大イデアルの引き戻しは左極大イデアルとなるが、一般の環準同型に対してはこれは成り立たない〔例えば自然な単射 Z → Q〕。 * （体でない）単項イデアル整域の0でない素イデアルは極大イデアルである。 * アルティン環の素イデアルは極大イデアルである。 * 可換アルティン環は有限個しか極大イデアルを持たない。 * クルルの定理より、0 でない可換環には極大イデアルが存在する。また、0 でない非可換環には極大左イデアルおよび極大右イデアルが存在する。 * 単位元を持たない環は極大（左／右）イデアルを持たないことがある。しかし、0 でない冪等元を持てば、極大左イデアルを持つ。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「極大イデアル」の詳細全文を読む スポンサード リンク
|