冪零元

数学において、環 "R" の元 "x" はある正の整数 "n" が存在して "x""n" = 0 となるときに冪零元（べきれいげん、）という。
冪零 (nilpotent) という言葉は、ベンジャミン・パースによって、多元環の元のある冪が 0 になるという文脈で1870年頃に導入された。
性質.
（唯一の元 0 = 1 をもつ零環 {0} を除いて）冪零元は決して単元ではない。すべての 0 でない冪零元は零因子である。
体係数の "n" 次正方行列 "A" が冪零であることとその固有多項式が "t""n" であることは同値である。
"x" が冪零であれば、1 − "x" は単元である、なぜならば "x""n" = 0 によって
であるからだ。より一般に、単元 "u" とベキ零元 "x" の和 "u" + "x" はそれらが交換する（すなわち "ux" = "xu" である）ときには冪零である。
可換環.
可換環 formula_4 のベキ零元全体はイデアル formula_5 をなす。これは二項定理の結果である。このイデアルは環の冪零根基である。可換環のすべての冪零元 formula_6 はその環のすべての素イデアル formula_7 に含まれる、なぜならば formula_8 だからだ。したがって formula_5 はすべての素イデアルの共通部分に含まれる。
formula_6 が冪零でなければ、formula_6 の冪によって局所化することができる。つまり、formula_12 によって局所化して零でない環 formula_13 を得る。この局所化環の素イデアルはちょうど formula_14 であるような素イデアル formula_7 と対応する
。すべての零でない可換環は極大イデアルをもちそれは素イデアルでもあるので、どの冪零でない formula_6 もある素イデアルに含まれない。したがって formula_5 はちょうどすべての素イデアルの共通部分である。
ジャコブソン根基と単純加群の零化 (annihilation) の特徴づけに似た特徴づけが冪零根基に対してもできる。環 "R" の冪零元はちょうど環 "R" に internal なすべての整域（すなわち素イデアル "I" に対して "R"/"I" の形のもの）を零化する元である。このことは冪零根基はすべての素イデアルの共通部分であるという事実から従う。
リー環の冪零元.
formula_18 をリー環とする。このとき formula_18 の元は formula_20 に入っていて formula_21 が冪零変換であるときに冪零であるという。 も参照せよ。
物理学における冪零性.
"Q"2 = 0 を満たすオペランド "Q" は冪零である。フェルミオンの場の経路積分表現を許すグラスマン数は、その平方が消えるので、冪零である。 は物理学における重要な例である。
線型演算子は結合多元環従って環をなすので、これは初めの定義の特別な場合である。より一般に、上記の定義の観点から、演算子 "Q" は "n"∈N が存在して "Q""n" = 0 （零写像）であるときに冪零である。したがって、線型写像が冪零であることとそれがある基底で冪零行列をもつことは同値である。これの別の例は外微分である（再び "n" = 2 である）。エドワード・ウィッテンによって有名な論文で示されているように、超対称性とモース理論も通して、両者は繋がっている。 
ソースのない平面波の電磁場は、の言葉で表現されるとき、冪零である。
代数的冪零元.
2次元の二重数は冪零空間を含む。冪零空間を含む多元環や数としては他に (coquaternions)、分解型八元数、 formula_22、そして複素八元数 formula_23 がある。