零化域とは? わかりやすく解説

零化イデアル

(零化域 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/08/17 13:58 UTC 版)

数学、特に加群論において、集合の零化イデアルあるいは零化域[1]: annihilator, /ənáiəlèitər/,[2] /ə-ˈnī-ə-ˌlā-tər/[3])はねじれ直交性を一般化した概念である。

定義

Rとし、M を左 R-加群とする。M の部分集合 S をとる。S零化イデアル (annihilator) は S の任意の元 s に対して rs = 0 であるような R のすべての元 r からなる集合であり[4]、AnnR(S) (あるいは annR(S))と表記される。つまり、集合の表記では

である。これは S を「零化する」[1](annihilate) R の元(S が torsion であるような元)の集合である。右加群の部分集合に対しても、"sr = 0"という修正をして同様に定義される。

1つの元 x の零化イデアルは普通 AnnR({x}) の代わりに AnnR(x) と書かれる。環 R が文脈からわかる場合には、添え字 R は落としてもよい,

R はそれ自身の上の加群であるので、SR 自身の部分集合ととってもよいが、R は右と左両方の R 加群であるので、左と右どちら側なのかを示すために表記を少し修正しなければならない。その必要があるときには通常 あるいは類似の添え字が左と右の零化イデアルを区別するために使われる。

R-加群 MAnnR(M) = 0 を満たすとき、M忠実加群(faithful module)と呼ばれる。

性質

S が左 R-加群 M の部分集合であれば、Ann(S) は R の左イデアルである。証明: ab が両方とも S を零化すれば、各 sS に対して、(a + b)s = as + bs = 0 であり、任意の rR に対して、(ra)s = r(as) = r0 = 0 である。(同様の証明によって右加群の部分集合の零化イデアルは右イデアルである。)

SM の部分加群であれば、AnnR(S) は両側イデアルにもなる。 rsS の元なので、(ar)s = a(rs) = 0 である[5]

SM の部分集合で NS で生成される M の部分加群であれば、一般に AnnR(N) は AnnR(S) の部分集合であるが、必ずしも等しいとは限らない。R が可換であれば、等号が成り立つことを確認するのは容易である。

M は作用 を用いて R/AnnR(M)-加群と考えることもできる。ちなみに、いつもこの方法で R-加群を R/I-加群に できるわけではないが、イデアル IM の零化イデアルの部分集合であれば、この作用は well-defined である。R/AnnR(M)-加群として、M は自動的に忠実加群になる。

零化イデアルの鎖条件

、ただし SR の部分集合、の形のイデアルの束は包含関係で順序を入れると完備束をなす。この束(あるいはその右バージョン)が昇鎖条件 (A.C.C.) か降鎖条件 (D.C.C.) を満たすような環を研究することは面白い。

R の左零化イデアルの束を と書き、R の右零化イデアルの束を と書く。 が A.C.C. を満たすことと が D.C.C. を満たすことが同値であること、そして対称的に、 が A.C.C. を満たすことと が D.C.C. を満たすことが同値であることが知られている。どちらかの束がこれらの鎖条件のどちらかを満たせば、R冪等元の無限直交集合をもたない[6][7]

R が、 が A.C.C. を満たし RR が有限のユニフォーム次元をもつような環であれば、R は左 Goldie 環英語版と呼ばれる[7]

可換環に対する圏論的記述

R が可換環で MR-加群のとき、AnnR(M) を、Hom とテンソルの随伴性英語版によって恒等写像 M → M随伴写像によって決定される作用写像 R → EndR(M) の核として、記述することができる。

より一般に、加群の双線型写像 が与えられたとき、部分集合 の annihilator は を零化する のすべての元からなる集合である。

逆に、 が与えられたとき、 の部分集合として annihilator を定義できる。

annihilator は の部分集合の間のガロワ対応英語版を与え、それに伴う閉包演算子英語版 は span よりも強い。とくに:

  • annihilator は部分加群である。

重要な例はベクトル空間上の非退化形式、特に内積が与えられているときに現れる。このとき写像 に伴う annihilator は直交補空間と呼ばれる。

環の他の性質との関係

  • 零化イデアルは左 Rickart 環英語版Baer 環英語版 を定義するのに使われる。
  • S の(左)零因子の集合 DS は次のように書ける。
0 は零因子と考えている。)
とくに、S = R ととって、R をそれ自身に左 R 加群として作用させることで、DRR の(左)零因子の集合である。
  • R が可換ネーター環のとき、集合 DR はちょうど R素因子の和集合に等しい。
  • 有限次元多元環 A準フロベニウスである必要十分条件はすべての左イデアル I と右イデアル J に対して
が成り立つことである[8]

脚注

参考文献

外部リンク

関連項目


零化域

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/08/29 16:13 UTC 版)

連続的双対空間」の記事における「零化域」の解説

W をノルム空間 V の閉線型部分空間とするとき、W の V′ における零化域 (annihilator) を W ⊥ = { φ ∈ V ′ : W ⊂ ker ⁡ φ } {\displaystyle W^{\perp }=\{\varphi \in V':W\subset \ker \varphi \}} で定めると、商空間 V / W の双対は W⊥ と同一視され、かつ W の双対商空間 V′ / W⊥ に同一視される実際、P を V から商 V / W  への標準全射とすると、その転置 P′ は (V / W )′ から V′ への等距な同型写像であり、その値域は W⊥ に等しい。また j を W から V への標準単射とすると、その転置 j′ の ker(j′) = W^⊥ は W の零化域であり、ハーン・バナッハの定理から j′ は等距同型 V′ / W⊥ → W′ を誘導する

※この「零化域」の解説は、「連続的双対空間」の解説の一部です。
「零化域」を含む「連続的双対空間」の記事については、「連続的双対空間」の概要を参照ください。

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


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