零化イデアル

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

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

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

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

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

R-加群 M が  を満たすとき、M は忠実加群（faithful module）と呼ばれる。

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

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

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

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

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

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

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

可換環に対する圏論的記述 
R が可換環で M が R-加群のとき、AnnR(M) を、によって恒等写像 M → M の随伴写像によって決定される作用写像 R → EndR(M) の核として、記述することができる。

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

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

annihilator は  と  の部分集合の間のを与え、それに伴う は span よりも強い。とくに：
 annihilator は部分加群である。
 
 

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

環の他の性質との関係 
 零化イデアルは左  や  を定義するのに使われる。
  の（左）零因子の集合  は次のように書ける。

（ は零因子と考えている。）
とくに、 ととって、 をそれ自身に左  加群として作用させることで、 は  の（左）零因子の集合である。

  が可換ネーター環のとき、集合  はちょうど  の素因子の和集合に等しい。

 有限次元多元環  が準フロベニウスである必要十分条件はすべての左イデアル  と右イデアル  に対して
 
 が成り立つことである。

脚注

参考文献 
 

 Israel Nathan Herstein (1968) Noncommutative Rings, Carus Mathematical Monographs #15, Mathematical Association of America, page 3.

外部リンク

関連項目 
 socle

イデアル
加群論
環論
数学に関する記事