零化イデアル

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

定義

R を環とし、M を左 R-加群とする。M の部分集合 S をとる。S の零化イデアル (annihilator) は S の任意の元 s に対して テンプレート:Nowrap であるような R のすべての元 r からなる集合でありテンプレート:Sfn、Ann_R(S) （あるいは ann_R(S)）と表記される。つまり、集合の表記では

${\mathrm{A}\mathrm{n}\mathrm{n}}_R(S)=\{r\in R\mid \mathrm{\forall }s\in S,rs=0\}$

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

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

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

R-加群 M が テンプレート:Nowrap を満たすとき、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 の部分加群であれば、Ann_R(S) は両側イデアルにもなる。 rs は S の元なので、(ar)s = a(rs) = 0 であるテンプレート:Sfn。

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

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

零化イデアルの鎖条件

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

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

R が、$ℒ𝒜$ が A.C.C. を満たし _RR が有限のユニフォーム次元をもつような環であれば、R は左 テンプレート:仮リンクと呼ばれるテンプレート:Sfn。

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

R が可換環で M が R-加群のとき、Ann_R(M) を、テンプレート:仮リンクによって恒等写像 M → M の随伴写像によって決定される作用写像 R → End_R(M) の核として、記述することができる。

より一般に、加群の双線型写像 $F:M\times N\to P$ が与えられたとき、部分集合 $S\subset M$ の annihilator は $S$ を零化する $N$ のすべての元からなる集合である。

$\mathrm{Ann}(S):=\{n\in N\mid \mathrm{\forall }s\in S,F(s,n)=0\}$

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

annihilator は $M$ と $N$ の部分集合の間のテンプレート:仮リンクを与え、それに伴うテンプレート:仮リンク は span よりも強い。とくに：

• annihilator は部分加群である。
• $\mathrm{Span}(S)\le \mathrm{Ann}(\mathrm{Ann}(S))$
• $\mathrm{Ann}(\mathrm{Ann}(\mathrm{Ann}(S)))=\mathrm{Ann}(S)$

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

環の他の性質との関係

• 零化イデアルは左 テンプレート:仮リンク や テンプレート:仮リンク を定義するのに使われる。
• テンプレート:Mvar の（左）零因子の集合 テンプレート:Mvar は次のように書ける。

$D_S=\bigcup _{x\in S,x\ne 0}{\mathrm{A}\mathrm{n}\mathrm{n}}_R(x).$

（テンプレート:Math は零因子と考えている。）

とくに、テンプレート:Math ととって、テンプレート:Mvar をそれ自身に左 テンプレート:Mvar 加群として作用させることで、テンプレート:Mvar は テンプレート:Mvar の（左）零因子の集合である。

• テンプレート:Mvar が可換ネーター環のとき、集合 テンプレート:Mvar はちょうど テンプレート:Mvar の素因子の和集合に等しい。

• 有限次元多元環 テンプレート:Mvar が準フロベニウスである必要十分条件はすべての左イデアル テンプレート:Mvar と右イデアル テンプレート:Mvar に対して

${\ell }_A\left(r_A\left(I\right)\right)=I,r_A\left({\ell }_A\left(J\right)\right)=J$

が成り立つことであるテンプレート:Sfn。

参考文献

• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Citation
• Israel Nathan Herstein (1968) Noncommutative Rings, Carus Mathematical Monographs #15, Mathematical Association of America, page 3.
• テンプレート:Citation
• テンプレート:Citation

外部リンク

• テンプレート:SpringerEOM
• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:Nlab
• テンプレート:ProofWiki

関連項目

• socle