数学、特に加群論において、集合の零化イデアルあるいは零化域[1](英: annihilator, /?nai?leit?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))と表記される。つまり、集合の表記では A n n R ( S ) = { r ∈ R ∣ ∀ s ∈ S , r s = 0 } {\displaystyle \mathrm {Ann} _{R}(S)=\{\,r\in R\mid \forall s\in S,rs=0\,\}\,} である。これは S を「零化する」[1](annihilate) R の元(S が torsion であるような元)の集合である。右加群の部分集合に対しても、"sr = 0"という修正をして同様に定義される。 1つの元 x の零化イデアルは普通 AnnR({x}) の代わりに AnnR(x) と書かれる。環 R が文脈からわかる場合には、添え字 R は落としてもよい, R はそれ自身の上の加群であるので、S は R 自身の部分集合ととってもよいが、R は右と左両方の R 加群であるので、左と右どちら側なのかを示すために表記を少し修正しなければならない。その必要があるときには通常 ℓ R ( S ) {\displaystyle \ell _{R}(S)} と r R ( S ) {\displaystyle r_{R}(S)} や ℓ . A n n R ( S ) {\displaystyle \ell .\mathrm {Ann} _{R}(S)\,} と r . A n n R ( S ) {\displaystyle r.\mathrm {Ann} _{R}(S)\,} あるいは類似の添え字が左と右の零化イデアルを区別するために使われる。 R-加群 M が AnnR(M) = 0 を満たすとき、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 である[5]。 S が M の部分集合で N が S で生成される M の部分加群であれば、一般に AnnR(N) は AnnR(S) の部分集合であるが、必ずしも等しいとは限らない。R が可換であれば、等号が成り立つことを確認するのは容易である。 M は作用 r ¯ m := r m {\displaystyle {\overline {r}}m:=rm\,} を用いて R/AnnR(M)-加群と考えることもできる。ちなみに、いつもこの方法で R-加群を R/I-加群に できるわけではないが、イデアル I が M の零化イデアルの部分集合であれば、この作用は well-defined である。R/AnnR(M)-加群として、M は自動的に忠実加群になる。 ℓ . A n n R ( S ) {\displaystyle \ell .\mathrm {Ann} _{R}(S)\,} 、ただし S は R の部分集合、の形のイデアルの束は包含関係で順序を入れると完備束をなす。この束(あるいはその右バージョン)が昇鎖条件 (A.C.C.) か降鎖条件 (D.C.C.) を満たすような環を研究することは面白い。 R の左零化イデアルの束を L A {\displaystyle {\mathcal {LA}}\,} と書き、R の右零化イデアルの束を R A {\displaystyle {\mathcal {RA}}\,} と書く。 L A {\displaystyle {\mathcal {LA}}\,} が A.C.C. を満たすことと R A {\displaystyle {\mathcal {RA}}\,} が D.C.C. を満たすことが同値であること、そして対称的に、 R A {\displaystyle {\mathcal {RA}}\,} が A.C.C. を満たすことと L A {\displaystyle {\mathcal {LA}}\,} が D.C.C. を満たすことが同値であることが知られている。どちらかの束がこれらの鎖条件のどちらかを満たせば、R は冪等元の無限直交集合をもたない[6][7]。 R が、 L A {\displaystyle {\mathcal {LA}}\,} が A.C.C. を満たし RR が有限のユニフォーム次元をもつような環であれば、R は左 Goldie 環 R が可換環で M が R-加群のとき、AnnR(M) を、Hom とテンソルの随伴性
定義
性質
零化イデアルの鎖条件
可換環に対する圏論的記述
より一般に、加群の双線型写像 F : M × N → P {\displaystyle F\colon M\times N\to P} が与えられたとき、部分集合 S ⊂ M {\displaystyle S\subset M} の annihilator は S {\displaystyle S} を零化する N {\displaystyle N} のすべての元からなる集合である。 Ann ( S ) := { n ∈ N ∣ ∀ s ∈ S , F ( s , n ) = 0 } {\displaystyle \operatorname {Ann} (S):=\{\,n\in N\mid \forall s\in S,F(s,n)=0\,\}}
逆に、 T ⊂ N {\displaystyle T\subset N} が与えられたとき、 M {\displaystyle M} の部分集合として annihilator を定義できる。
annihilator は M {\displaystyle M} と N {\displaystyle N} の部分集合の間のガロワ対応を与え、それに伴う閉包演算子
(英語版) は span よりも強い。