極大部分加群とは? わかりやすく解説

極大イデアル

(極大部分加群 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/07/10 00:44 UTC 版)

R極大左イデアル(きょくだいひだりいである、: maximal left ideal)とは、R 以外の左イデアルの中で(集合の包含関係に関して)極大なもののことである。すなわち、左イデアル I を真に含む左イデアルが R しかないときに IR の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは(環が 0 でなく単位元をもつとき)ツォルンの補題によって存在が保証される[注釈 1]。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。

性質

  • R において、両側イデアル I が極大であることと、剰余環 R/I単純環であることは同値である。特に可換環のイデアルが極大であることと、その剰余環がであることは同値である[1]
  • R において、左イデアル I が極大であることと、剰余加群 R/I単純加群であることは同値である。
  • 環の極大両側イデアルは素イデアルである[2]。逆は一般には成り立たない[注釈 2]
  • 全射環準同型による左極大イデアルの引き戻しは左極大イデアルとなるが、一般の環準同型に対してはこれは成り立たない[注釈 3]
  • (体でない)単項イデアル整域の0でない素イデアルは極大イデアルである。
  • アルティン環の素イデアルは極大イデアルである。
  • 可換アルティン環は有限個しか極大イデアルを持たない。
  • 選択公理の下、クルルの定理より、0 でない可換環には極大イデアルが存在する。また、0 でない非可換環には極大左イデアルおよび極大右イデアルが存在する。
  • 単位元を持たない環は極大(左/右)イデアルを持たないことがある。しかし、0 でない冪等元を持てば、極大左イデアルを持つ。

  • 整数環 Z の極大イデアルは、ある素数 p で生成されるイデアル (p) = pZ であり、また任意の素数 p についてイデアル (p) は極大イデアルである[1]
  • 一般に単項イデアル整域において、0 でない素イデアルは極大イデアルである。
  • 整数係数の1変数多項式環 Z[x] の極大イデアルは、ある素数 pZ/pZ 係数多項式としてと見て既約な多項式 ƒ で生成されるイデアル (p, f) である[3]
  • k を取り、k成分の2次下三角行列からなる環

極大部分加群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/12 06:02 UTC 版)

極大イデアル」の記事における「極大部分加群」の解説

環 R 上の加群 M の真の部分加群のうち極大なものを極大部分加群という。つまり、M の部分加群 N が極大部分加群であるとは、M ≠ N であり、かつ、 N ⊊ K ⊊ M {\displaystyle N\varsubsetneq K\varsubsetneq M} となる部分加群 K が存在しないことである。極大イデアル正則加群 R の極大部分加群に他ならない。 極大部分加群は存在するとは限らないが、例えば0でない有限生成加群であれば存在する

※この「極大部分加群」の解説は、「極大イデアル」の解説の一部です。
「極大部分加群」を含む「極大イデアル」の記事については、「極大イデアル」の概要を参照ください。

ウィキペディア小見出し辞書の「極大部分加群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


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

辞書ショートカット

すべての辞書の索引

「極大部分加群」の関連用語

極大部分加群のお隣キーワード
検索ランキング

   

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



極大部分加群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS