コンテンツにスキップ

冪零元

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学において、 R の元 x はある正の整数 n が存在して xn = 0 となるときに冪零元(べきれいげん、: nilpotent element)という。

冪零 (nilpotent) という言葉は、ベンジャミン・パースによって、多元環の元のある冪が 0 になるという文脈で1870年頃に導入された[1]

[編集]
  • この定義は特に正方行列に対して適用することができる。行列
A3 = 0 なのでベキ零である。より多くの情報は冪零行列を見よ。
  • 剰余環 Z/9Z において、3 の同値類は冪零である、なぜならば 32 は 9 を法として 0 と合同だからである。
  • (非可換)環 R の二元 abab = 0 を満たすとする。このとき元 c = bac2 = (ba)2 = b(ab)a = 0 なので冪零である。行列での例は(ab に対して)
このとき AB = 0, BA = B である。

性質

[編集]

(唯一の元 0 = 1 をもつ零環 {0} を除いて)冪零元は決して単元ではない。すべての 0 でない冪零元は零因子である。

係数の n 次正方行列 A が冪零であることとその固有多項式tn であることは同値である。

x が冪零であれば、1 − x単元である、なぜならば xn = 0 によって

であるからだ。より一般に、単元 u とベキ零元 x の和 u + x はそれらが交換する(すなわち ux = xu である)ときには冪零である。

可換環

[編集]

可換環 のベキ零元全体はイデアル をなす。これは二項定理の結果である。このイデアルは環の冪零根基である。可換環のすべての冪零元 はその環のすべての素イデアル に含まれる、なぜならば だからだ。したがって はすべての素イデアルの共通部分に含まれる。

が冪零でなければ、 の冪によって局所化することができる。つまり、 によって局所化して零でない環 を得る。この局所化環の素イデアルはちょうど であるような素イデアル と対応する [2]。すべての零でない可換環は極大イデアルをもちそれは素イデアルでもあるので、どの冪零でない もある素イデアルに含まれない。したがって はちょうどすべての素イデアルの共通部分である[3]

ジャコブソン根基と単純加群の零化 (annihilation) の特徴づけに似た特徴づけが冪零根基に対してもできる。環 R の冪零元はちょうど環 R に internal なすべての整域(すなわち素イデアル I に対して R/I の形のもの)を零化する元である。このことは冪零根基はすべての素イデアルの共通部分であるという事実から従う。

リー環の冪零元

[編集]

をリー環とする。このとき の元は に入っていて が冪零変換であるときに冪零であるという。リー環におけるジョルダン分解英語版 も参照せよ。

物理学における冪零性

[編集]

Q2 = 0 を満たすオペランド Q は冪零である。フェルミオンの場の経路積分表現を許すグラスマン数は、その平方が消えるので、冪零である。BRST 電荷英語版物理学における重要な例である。 線型演算子は結合多元環従って環をなすので、これは初めの定義の特別な場合である[4][5]。より一般に、上記の定義の観点から、演算子 QnN が存在して Qn = 0 (零写像)であるときに冪零である。したがって、線型写像が冪零であることとそれがある基底で冪零行列をもつことは同値である。これの別の例は外微分である(再び n = 2 である)。エドワード・ウィッテンによって有名な論文で示されているように[6]超対称性モース理論も通して[7]、両者は繋がっている。

ソースのない平面波の電磁場は、物理的空間の代数学英語版の言葉で表現されるとき、冪零である[8]

代数的冪零元

[編集]

2次元の二重数は冪零空間を含む。冪零空間を含む多元環や数としては他に 分解型四元数英語版 (coquaternions)、分解型八元数双四元数英語版 、そして複素八元数 がある。

関連項目

[編集]

参考文献

[編集]
  1. ^ Polcino & Sehgal (2002). "§3.1 A Brief History". An Introduction to Group Rings. p. 127.
  2. ^ Matsumura, Hideyuki (1970). “Chapter 1: Elementary Results”. Commutative Algebra. W. A. Benjamin. pp. 6. ISBN 978-0-805-37025-6 
  3. ^ Atiyah, M. F.; MacDonald, I. G. (February 21, 1994). “Chapter 1: Rings and Ideals”. Introduction to Commutative Algebra. Westview Press. pp. 5. ISBN 978-0-201-40751-8 
  4. ^ Peirce, B. Linear Associative Algebra. 1870.
  5. ^ Milies, César Polcino; Sehgal, Sudarshan K. An introduction to group rings. Algebras and applications, Volume 1. Springer, 2002. ISBN 978-1-4020-0238-0
  6. ^ E. Witten, Supersymmetry and Morse theory. J.Diff.Geom.17:661–692,1982.
  7. ^ A. Rogers, The topological particle and Morse theory, Class. Quantum Grav. 17:3703–3714,2000 doi:10.1088/0264-9381/17/18/309.
  8. ^ Rowlands, P. Zero to Infinity: The Foundations of Physics, London, World Scientific 2007, ISBN 978-981-270-914-1