1 冪零の定義
1.1 封入される対象（元・写像・行列）
冪零性が考察される「対象」は、ある演算によって自己増殖的に繰り返し適用された結果が、ある段階で零になる状況で共通する。代表的には、(1) 環の元に対する積、(2) 線形空間上の線形写像（作用素）に対する合成、(3) 行列に対する行列積が挙げられる。いずれの場合も「累乗」や「反復」に対応する演算が定義されていることが前提となり、零になる先の性質は同一の概念語で捉えられる。
零の意味は文脈により確定する。環なら零元、線形写像なら零写像（任意のベクトルを零ベクトルへ送る写像）、行列なら零行列である。したがって冪零性とは「ある反復演算で、無効化される（完全に消える）」というふるまいを表す用語である。
1.2 冪零の形式的定義
1.2.1 べき乗が零になる条件
環 \(R\) の元 \(a\) について、正の整数 \(k\) が存在して \[ a^k=0 \] となるとき、\(a\) は冪零である。同様に、線形写像 \(T\) に対しては、ある正の整数 \(k\) が存在して反復合成 \[ T^k= \underbrace{T\circ T\circ\cdots\circ T}_{k\text{ 回}}=0 \] が成り立つとき、\(T\) は冪零と呼ばれる。行列 \(A\) なら \(A^k=O\)（零行列）となることで冪零性が定まる。
この定義は「ある有限回の反復で完全に零へ到達する」ことのみを要求する。指数の大きさや、その到達までの途中段階でのふるまいは問われない。
1.2.2 最小の指数（冪零指数）
\(a\) が冪零であるとき、満たす正の整数 \(k\) の集合には最小要素が存在する（少なくとも有限個の候補の中から最初に成立する値が現れる）。この最小の正の整数を冪零指数、あるいは指数と呼ぶことがある。線形写像や行列でも同様に最小の反復回数が定義される。
冪零指数は「冪零性の強さ」を反映し、同じく冪零でも指数が異なれば、構造の深さや分解の細かさが異なる場合がある。たとえば指数が小さい冪零ほど、より短い反復で消えていく性質を持つ。
1.3 直観的な意味合い
冪零という性質は、反復した演算がもはや効果を持ち得ない状態に入ることを示す。線形代数では、固有値の観点から「拡大・縮小としての振る舞い」が見えなくなり、作用が最終的に零へ押し込まれる状況として理解されることが多い。
さらに直観的には、冪零性は「非対角化の障害」や「成分の連鎖」を表すことがある。たとえば上三角形表示では、対角成分が零でありながら上側の成分が残る場合があり、その残り方が反復回数と結びついて、最終的に零へ至るメカニズムを作る。
2 環・加群・線形代数における冪零
2.1 可換環と非可換環での扱い
2.1.1 可換性の有無による注意点
可換環では \(a^k\) の意味が単純で、指数法則も一般に扱いやすい。一方、非可換環でも \(a^k\) 自体（同じ元を左から順に積む定義）は問題なく定義されるため、冪零性の定義はそのまま適用できる。
ただし、冪零元の集合が一般に可換な直観どおりに振る舞うとは限らない。たとえば「積で閉じる」「和で閉じる」といった性質は、環の可換性の有無で大きく左右され得る。従って、具体的な命題は環の構造（可換性、加群の条件、評価対象の演算がどの順序で現れるか）を確認してから適用する必要がある。
2.2 行列としての冪零
2.2.1 冪零行列の基本性質
行列 \(A\) が冪零であるとは、ある正の整数 \(k\) で \(A^k=O\) が成り立つことをいう。冪零行列は一般に、固有値がすべて零であることと結びつく。さらに、冪零行列はべき乗を繰り返すほど作用の「影響範囲」が狭まり、最終的に全成分が零へ到達する。
このとき、冪零性はランクや像の連鎖（後述の分解とも関係）と自然に結びつく。具体的には、\(A\) の像、\(A^2\) の像、…の間には包含関係が現れ、ある段階で零空間へ沈む。これが「反復で消える」ことの線形写像版の現れである。
2.2.2 上三角形表示との関係
冪零行列は、適切な基底で上三角形に見える。特に対角成分がすべて零になる形が得られる。上三角形の対角が零であるにもかかわらず、上側の成分が残る場合には、行列積を繰り返すことでそれらの寄与が連鎖的に消えていき、有限回で零になることが説明できる。
この視点は、後のジョルダン標準形へつながる。ジョルダンブロックは、対角が一定値（冪零なら零）で、上側の帯状成分が反復消滅を担うという構造を持つためである。
2.3 線形写像（作用素）としての冪零
2.3.1 合成の反復と零写像
線形写像 \(T:V\to V\) について、ある \(k\) が存在して \(T^k=0\)（零写像）となるとき、\(T\) は冪零である。ここで \(T^k\) は反復合成であり、任意のベクトルを \(k\) 回作用させると最終的に零ベクトルへ送られることを意味する。
この状況では、像空間の連鎖 \[ \operatorname{Im}(T)\supseteq \operatorname{Im}(T^2)\supseteq \cdots \] が有限次元なら必ず収束し、最終的に零空間に至る。冪零性はこの収束を保証する条件として理解できる。
2.3.2 （隣接しない）不変部分の存在
冪零作用素では、しばしば \(T\) によって保たれる部分空間の構成が容易になる。具体的には、\(T^i(V)\) は \(T\) によって安定であり、その結果として階層的な部分空間の列が得られる。これが冪零部分の分解や指数の推定に役立つ。
この列は、単に概念的なものに留まらず、計算面では冪零指数やブロックの大きさを反映するデータとして機能する。
3 ジョルダン標準形と冪零
3.1 ジョルダンブロックの分類
ジョルダン標準形では、線形変換はジョルダンブロックの直和に分解される。各ブロックはある固有値 \(\lambda\) に対応し、対角に \(\lambda\) が並び、その近傍に非対角成分が配置される。ブロックのサイズは幾何学的・代数的な情報を反映する。
冪零は固有値として零のみを許す状況に対応するため、ジョルダンブロックの分類は「零に対応するブロックサイズ」の列として捉えられる。これにより、冪零性が構造的な分解に落ちる。
3.2 固有値ゼロと冪零性
有限次元の線形変換を考えると、固有値がすべて零であることは冪零性と同値になる。理由は、ジョルダン形で固有値が対角成分として現れるためである。つまり、すべての固有値が零なら、ブロックの対角が零になり、上側の成分があっても有限べきで消える構造が再現される。
逆に、冪零なら \(A^k=0\) が成立するので、固有値は零以外を取りえない。これは固有値とべき乗の関係から導かれる。
3.3 冪零部分の分解（概観）
ジョルダン標準形の枠組みでは、線形変換を（固有値ごとの）ブロック群に分割できる。冪零部分は固有値が零に対応する部分として切り出される。これにより、一般の変換でも「零固有値に由来する挙動」と「それ以外の挙動」が分離して扱える。
この概観は、冪零だけを対象にする場合にも直接適用できる。冪零変換はその全体が零固有値側のブロックの直和として表されるため、分解の理解がそのまま分類に直結する。
4 基本的性質と演算に関する結果
4.1 和・積と冪零性の保存
4.1.1 一般に保存される場合／されない場合
冪零性は、和や積で常に保存されるわけではない。たとえば、互いに独立した冪零元の和が冪零になるとは限らず、逆に、冪零の積が冪零になるかどうかも一様ではない。
ただし、特定の条件下では保存が成り立つことがある。具体的には、関係する演算が可換であったり、ある種の同時三角化が可能であったり、あるいは追加の構造（冪零部分が同じ鎖構造に収まる等）がある場合に、閉性を得やすい。一般論としては「保存は一概に保証されない」が基本であり、命題の適用には前提の確認が必要となる。
4.2 素因数分解に類する考え方（冪の振る舞い）
冪零性は「べきによって零へ落ちる」という点で、指数のパターンが重要になる。加群や線形変換では、どのべき段階で像が消えるか、どの段階で核が拡大するかが、構造の分解に対応する。
この発想は、数の素因数分解のように「複雑な対象を主要な成分へ分ける」役割を持つ。冪零では零だけが主要成分だが、その内部での階層（指数、ブロックサイズ）が同様の分解データとして働く。従って、冪の振る舞いを追跡することは分類や計算の第一歩になる。
4.3 同値変換と冪零性
線形代数では、同値変換（基底変換）によって行列 \(A\) と \(S^{-1}AS\) は同じ線形写像を異なる基底で表したものに過ぎない。冪零性はこの同値関係で不変である。すなわち、あるべきで零になるかどうかは、共通の演算（べき乗）と同値変換が整合するため、基底の選び方に依存しない。
同様に線形写像の文脈でも、線形同型により写像が対応するなら冪零性も移る。したがって冪零性は「計算の都合」ではなく「構造そのもの」の属性として扱える。
5 応用と関連概念
5.1 冪零元と冪零イデアル
環論では、冪零元が集合として振る舞うとき、冪零イデアルの概念が現れる。冪零イデアルとは、イデアル \(I\) のあるべき \(I^k\) が零イデアルになる性質を持つ対象である。ここで \(I^k\) はイデアル積の反復として定義される。
冪零性は要素レベルから理想レベルへ拡張でき、局所的な消滅（要素がある指数で零）と大域的な消滅（イデアル全体がある指数で零イデアル化）の橋渡しになる。これにより、分解や構造解析がより体系的に行える。
5.2 ノルムや距離を使わない位相的側面（概観）
冪零は解析学的な「距離」ではなく、代数的な反復の停止という性質に基づく。そのため、位相的議論でもノルムや距離を前面に出さない形で扱われる場面がある。たとえば、冪零が関わる連鎖（像の降下系列、核の上昇系列）は位相構造に依存しない純代数的データとして理解できる。
概観としては、冪零成分がある種の収束や有限段階での安定化を支えるため、位相的な構造が背景にあっても、冪零性そのものは有限回の演算で記述される。これが「代数的位相観」の一部を形成する。
5.3 既約構造・分解定理との接点（概観）
冪零は、分解定理の中で基本部品として現れる。たとえば有限次元の線形変換では、ジョルダン標準形が分解を与え、冪零ブロックがその一部を構成する。さらに加群の分解でも、冪零に対応する部分が抽出されることで、残りが別の型として分類される。
この接点により、冪零は単なる計算上の便利さにとどまらず、対象の構造を理解するための基礎部品になる。概観としては「複雑な変換を単純なブロックの直和へ整理する」という思想の中核に位置づけられる。
6 例題と計算
6.1 小さな次元での冪零行列の具体例
次元 \(2\) の例として、\[ A=\begin{pmatrix} 0&1\\ 0&0 \end{pmatrix} \] を考えると、\(A^2=O\) なので \(A\) は冪零である。指数は \(2\) である。
次元 \(3\) では、\[ B=\begin{pmatrix} 0&1&0\\ 0&0&1\\ 0&0&0 \end{pmatrix} \] を取ると \(B^2\neq O\) だが \(B^3=O\) となり、指数は \(3\) になる。この形は、上三角で対角が零、上側に帯状成分が並ぶ典型的構造を反映している。
6.2 入射条件から冪零指数を求める手順
冪零指数を求める実務的手順は、次のように整理できる。まず行列 \(A\) について \(A^2, A^3,\dots\) を計算し、最初に零行列になるべき乗を見つける。指数はそのべき数である。
計算を軽くするためには、冪零性の候補を先に絞る方法がある。たとえば対角成分がすべて零であること、上三角形にできるなら対角が零であること、あるいはランクや像の次元が段階的に落ちることを確認する。これにより、指数の探索範囲が狭まる。
6.3 最小多項式と冪零性の見分け方
最小多項式 \(m_A(x)\) は、 \(m_A(A)=0\) を満たす最小の単項係数多項式である。冪零性の判定では、最小多項式が \(x^t\) の形（ある正の整数 \(t\) について）になるかどうかが中心になる。具体的には、\(A\) が冪零なら \(m_A(x)=x^t\) が成り立つ。
また、この \(t\) は冪零指数と一致する。したがって最小多項式を特定できる状況では、べき乗の逐次計算を避けて冪零性や指数を確定できる。実際には最小多項式の求め方が別途必要になるが、その結果があれば判定は直接的である。なお線形写像でも同様に、作用素の最小多項式を用いて同じ基準で扱える。