零化イデアル

数学、特に加群論において、集合の零化イデアルあるいは零化域（, /ənáiəlèitər/, /ə-ˈnī-ə-ˌlā-tər/）はねじれや直交性を一般化した概念である。
定義.
"R" を環とし、"M" を左 "R"-加群とする。"M" の部分集合 "S" をとる。"S" の零化イデアル (annihilator) は "S" の任意の元 "s" に対して であるような "R" のすべての元 "r" からなる集合であり、Ann"R"("S") （あるいは ann"R"("S")）と表記される。つまり、集合の表記では 
である。これは "S" を「零化する」(annihilate) "R" の元（"S" が torsion であるような元）の集合である。右加群の部分集合に対しても、""という修正をして同様に定義される。
1つの元 "x" の零化イデアルは普通 Ann"R"({"x"}) の代わりに Ann"R"("x") と書かれる。環 "R" が文脈からわかる場合には、添え字 "R" は落としてもよい,
"R" はそれ自身の上の加群であるので、"S" は "R" 自身の部分集合ととってもよいが、"R" は右と左両方の "R" 加群であるので、左と右どちら側なのかを示すために表記を少し修正しなければならない。その必要があるときには通常 formula_2 と formula_3 や formula_4 と formula_5 あるいは類似の添え字が左と右の零化イデアルを区別するために使われる。
"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") = "r"0 = 0 である。（同様の証明によって右加群の部分集合の零化イデアルは右イデアルである。）
"S" が "M" の部分加群であれば、Ann"R"("S") は両側イデアルにもなる。 "rs" は "S" の元なので、("ar")"s" = "a"("rs") = 0 である。
"S" が "M" の部分集合で "N" が "S" で生成される "M" の部分加群であれば、一般に Ann"R"("N") は Ann"R"("S") の部分集合であるが、必ずしも等しいとは限らない。"R" が可換であれば、等号が成り立つことを確認するのは容易である。
"M" は作用 formula_6 を用いて "R"/Ann"R"("M")-加群と考えることもできる。ちなみに、いつもこの方法で "R"-加群を "R"/"I"-加群に できるわけではないが、イデアル "I" が "M" の零化イデアルの部分集合であれば、この作用は well-defined である。"R"/Ann"R"("M")-加群として、"M" は自動的に忠実加群になる。
零化イデアルの鎖条件.
formula_4、ただし "S" は "R" の部分集合、の形のイデアルの束は包含関係で順序を入れると完備束をなす。この束（あるいはその右バージョン）が昇鎖条件 (A.C.C.) か降鎖条件 (D.C.C.) を満たすような環を研究することは面白い。
"R" の左零化イデアルの束を formula_8 と書き、"R" の右零化イデアルの束を formula_9 と書く。formula_8 が A.C.C. を満たすことと formula_9 が D.C.C. を満たすことが同値であること、そして対称的に、formula_9 が A.C.C. を満たすことと formula_8 が D.C.C. を満たすことが同値であることが知られている。どちらかの束がこれらの鎖条件のどちらかを満たせば、"R" は冪等元の無限直交集合をもたない。
"R" が、formula_8 が A.C.C. を満たし "R""R" が有限のユニフォーム次元をもつような環であれば、"R" は左 と呼ばれる。
可換環に対する圏論的記述.
"R" が可換環で "M" が "R"-加群のとき、Ann"R"("M") を、によって恒等写像 "M" → "M" の随伴写像によって決定される作用写像 "R" → End"R"("M") の核として、記述することができる。
より一般に、加群の双線型写像 formula_15 が与えられたとき、部分集合 formula_16 の annihilator は formula_17 を零化する formula_18 のすべての元からなる集合である。
逆に、formula_20 が与えられたとき、formula_21 の部分集合として annihilator を定義できる。
annihilator は formula_21 と formula_18 の部分集合の間のを与え、それに伴う は span よりも強い。とくに：
重要な例はベクトル空間上の非退化形式、特に内積が与えられているときに現れる。このとき写像 formula_26 に伴う annihilator は直交補空間と呼ばれる。