全線型環とは? わかりやすく解説

原始環

(全線型環 から転送)

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

環論において、左原始環(ひだりげんしかん、: left primitive ring)とは、忠実単純加群をもつである。よく知られた例として、ベクトル空間自己準同型環や、標数0の体上のワイル代数がある。

定義

R忠実単純R-加群をもつとき、左原始環という。右原始環も同様に定義される。左原始環であって右原始環でない環、また右原始環であって左原始環でない環が存在する。最初の例はGeorge M. Bergman (Bergman 1964) によって構成された。また、Jategaonkar による例が(Rowen 1988, p.159)にある。

R が左原始的であることと、{0}でない両側イデアルを含まない極大左イデアルが存在することは同値である。また、左イデアル AR であって任意の両側イデアル A'≠0 に対して A+A'=R となるようなものが存在することとも同値である。右原始環についても同様のことが成り立つ。

左原始環の構造はジャコブソンの稠密性定理英語版によって完全に決定される。すなわち、環が左原始的であることと可除環上の左加群の自己準同型環の稠密な部分環に同型であることは同値である。

性質

左(右)原始環は半原始環であり素環である。素環の直積環は素環ではないので、原始環の直積も原始環ではない。

アルティン環においては、"左原始的"、"右原始的"、""、"単純"はすべて同値であることが知られており、このとき可除環上の行列環に同型な半単純環になる。一般に、極小片側イデアルをもつ任意の環において、左原始環であること、右原始環であること,素環であることは同値である。

可換環が左原始的であることと体であることは同値である。

左原始的であることは森田不変である。

単位元をもつ任意の単純環 R は左原始的かつ右原始的である。(単位元をもたない場合にはそうなるとは限らない。)このことは、R が極大左イデアル M をもつことと剰余加群 R/M が単純左 R-加群であること、そしてその零化イデアルR の真の両側イデアルであることから従う。R は単純環なので零化イデアルは{0}であり、それゆえ R/M は忠実左 R-加群である。

標数0の体上のワイル代数は原始的であり、かつ非可換整域であるので、これは極小片側イデアルを持たない例になる。

全線型環

原始環の特別な場合は全線型環 (full linear ring) である。左全線型環 (left full linear ring) とは可除環上の無限次元左ベクトル空間のすべての線型変換からなる環である。(右全線型環は代わりに右ベクトル空間を使う。)記号で書けば、 ただし V は可除環 D 上の左ベクトル空間。R が左全線型環であることと、Rフォン・ノイマン正則左自己移入的で、socle が soc(RR) ≠ {0} であることが同値であることが知られている (Goodearl 1991, p. 100)。線型代数の議論を通じて、行有限行列の環 に同型であることを示すことができる。ここで I はサイズが VD 上の次元である添え字集合である。同様にして右全線型環は D 上の列有限行列環として実現できる。

これを用いて単純でない左原始環が存在することがわかる。ジャコブソンの稠密性の特徴づけによって、左全線型環 R は常に左原始的である。dimDV が有限であれば RD 上の正方行列の環であるが、dimDV が無限であれば、有限ランクの線型変換全体からなる集合は R の非自明な両側イデアルであり、したがって R は単純でない。

参考文献


全線型環

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

原始環」の記事における「全線型環」の解説

原始環特別な場合は全線型環 (full linear ring) である。左全線型環 (left full linear ring) とは可除環上の無限次元ベクトル空間すべての線型変換からなる環である。(右全線型環は代わりにベクトル空間を使う。)記号書けば、 ただし V は可除環 D 上のベクトル空間。R が左全線型環であることと、R がフォン・ノイマン正則、左自己移入的で、soclesoc(RR) ≠ {0} であることが同値であることが知られている (Goodearl 1991, p. 100)。線型代数議論通じて、 は行有限行列の環 に同型であることを示すことができる。ここで I はサイズが V の D 上の次元である添え字集合である。同様にして右全線型環は D 上の有限行列環として実現できる。 これを用いて単純でない左原始環存在することがわかる。ジャコブソンの稠密性の特徴づけによって、左全線型環 R は常に左原始的である。dimD V が有限であれば R は D 上の正方行列の環であるが、dimD V が無限であれば有限ランク線型変換全体からなる集合は R の非自明な両側イデアルであり、したがって R は単純でない。

※この「全線型環」の解説は、「原始環」の解説の一部です。
「全線型環」を含む「原始環」の記事については、「原始環」の概要を参照ください。

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


英和和英テキスト翻訳>> 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