1 半単純成分の概観
半単純成分（semi-simple component）とは、線形変換や加群の作用を「対角化可能な部分」と「冪零（べき零）な部分」に分けたときに現れる、前者側の成分を指す。数学的には、ある作用素 \(T\) から冪零成分 \(N\) を取り除き、残った作用 \(S\) を半単純成分と呼ぶ。多くの文脈で、\(T\) は \(T=S+N\) の形に分解され、さらに \(S\) と \(N\) は可換である。
この分解が特に扱いやすくなるのは、基礎体が適切な性質をもつ場合である。たとえば代数的閉体上では、固有値の分解が進むため、半単純性が固有空間の構造と結びついて理解しやすい。またヤコビ分解のような枠組みによって、半単純成分と冪零成分が体系的に取り出される。
半単純成分は固有値、固有空間、あるいは固有空間の分解に強く結びつき、同値類の分類や表現の構造解析で中核的に用いられる。冪零成分とは対をなす概念として位置づけられ、Jordan標準形に基づく理解をより概念的・一般的に拡張したものと見なせる。
1.1 半単純性と冪零性の対応
半単純性とは、作用素が対角化可能であるか、あるいは同値な条件のもとで「固有成分のみ」で記述できる性質をいう。一方、冪零性は、ある正の整数 \(k\) が存在して \(N^k=0\) が成り立つことにより特徴づけられる。ヤコビ分解では、作用 \(T\) を半単純部分 \(S\) と冪零部分 \(N\) の和として表し、それらが可換になるように組むことで、構造が読み取りやすくなる。
このとき半単純成分 \(S\) は、固有値に対応する部分を「保存した形」で保持し、冪零成分 \(N\) は、Jordan鎖が生む非対角的なズレを吸収する。したがって \(S\) を知るだけでも固有値の配置やそれに付随する一次的な分解が把握でき、\(N\) を加えることで一般の線形作用の細部が復元される。
1.2 「成分」という語の意味
「成分」という語は、作用のふるまいを複数の独立な性質（半単純性と冪零性）として分離する、という操作的・構成的な意味合いをもつ。ここでの「分ける」は、代数的な等式（例：\(T=S+N\)）を満たす対象を見つけることに対応し、概念としては分解を指示する。
半単純成分は、元の作用から冪零的な振る舞いを取り除いたものとして定義される場合が多いが、実際にはその定義は分解の枠組みに依存する。ヤコビ分解では、この枠組みが十分に一般的で、半単純成分が自然に現れる。
1.2.1 分解における一意性の考え方
半単純成分が「一意」と言われるのは、適切な条件下で、同じ \(T\) に対して取り得る半単純部分が本質的に同じになるからである。典型的には、ヤコビ分解の枠組みで \(T=S+N\) と \(T=S'+N'\) がいずれも成り立ち、かつ可換性も含めた条件が課されると、\(S\) と \(S'\) は同じ作用として一致する（あるいは同値な意味で一致する）とされる。
一意性は分類問題で重要になる。半単純成分が一意であれば、同値変換（共役）を通じて不変な不変量が半単純成分側から読み取れるため、構造解析が安定する。
1.2.2 具体例（線形変換の例）
簡単な状況として、複素数体上で2次の線形変換 \(T\) を考える。行列表示で \[ T=\begin{pmatrix}\lambda & 1\\ 0 & \lambda\end{pmatrix} \] のように、対角に同じ固有値 \(\lambda\) をもつが上三角に非零成分がある場合、Jordan形の典型例になる。このとき \[ S=\begin{pmatrix}\lambda & 0\\ 0 & \lambda\end{pmatrix},\quad N=\begin{pmatrix}0 & 1\\ 0 & 0\end{pmatrix} \] とすれば、\(T=S+N\) が成立し、しかも \(S\) と \(N\) は可換である。さらに \(N^2=0\) なので冪零性も確認できる。
この例では、半単純成分 \(S\) は単に固有値 \(\lambda\) に対応するスカラー部分を対角として表し、冪零成分 \(N\) が「対角化できない情報」（Jordan鎖の存在）を担っていることが見て取れる。
2 代数的背景：Jordan分解とヤコビ分解
半単純成分と冪零成分は、古典的にはJordan標準形の情報として理解できる。そこでは作用がJordanブロックの直和に分解され、ブロックのうち固有値部分が半単純性と見なされ、残りが冪零性と見なされる。これを基盤にして、より座標に依存しない形としてヤコビ分解が定式化される。
2.1 Jordan標準形との関係
Jordan標準形のもとでは、行列（線形変換）はJordanブロックの直和として表現できる。各ブロックは固有値 \(\lambda\) と対応する部分と、そこからの「ずれ」を表す冪零部分から組み立てられている。したがって、Jordan形の構成要素を分けることで半単純成分と冪零成分が抽出できる。
2.1.1 対角化可能部分としての半単純成分
Jordan分解における半単純成分は、対角に固有値を並べた形に対応する。具体的には、各Jordanブロックで、固有値 \(\lambda\) を表す部分を取り出すと、その合成が半単純成分になる。これにより半単純成分は対角化可能になり、基底を適切に選べば対角行列として表現できる。
冪零成分はJordanブロック内の上超対角成分（あるいはJordan鎖を生む寄与）として現れ、その冪が十分に進むと消える。結果として、Jordan分解を行うことで半単純性と冪零性の分担が明確になる。
2.1.1.1 固有値ごとの寄与
固有値 \(\lambda\) についての寄与は、半単純成分が \(\lambda\) に対応する射影（固有空間またはその近傍を規定する部分）により整理されることと関係する。代数的には、各固有値に対応する部分空間への制限が半単純成分の中で独立に扱われるため、固有値の集合とその重なり（幾何学的には固有空間の次元）によって \(S\) の骨格が定まる。
冪零成分は同じ固有値の層の間にまたがる非可換な効果を担うため、固有値ごとの構造を見積もるだけで全体が決まるわけではないが、半単純成分側は固有値の基本的配置に強く規定される。
2.2 ヤコビ分解の一般的定式化
ヤコビ分解は、特定の基底や座標に依存しない形で、線形作用 \(T\) を半単純成分 \(S\) と冪零成分 \(N\) に分ける枠組みである。典型的な設定では、作用素は代数閉体上で考えられ、さらに分解の存在と一意性が保証される。
2.2.1 半単純成分の構成方法
一般に \(T\) に対して冪零である部分を「冪零性で特徴づけ」て取り出し、それを \(T\) から引いたものを半単純成分とする。実務的には、固有多項式やその因子分解に基づく方法、あるいは関数計算（多項式や冪級数を使った作用素への適用）によって \(S\) を作ることが行われる。
また、分解が存在する環境では、半単純成分は「固有値に対応する射影を用いて組み立てた作用」として表されることが多い。結果として、\(S\) は対角化可能な性質を満たし、スペクトル（固有値の集合）を \(T\) と同じくする。
2.2.2 冪零成分との可換性
ヤコビ分解の重要な条件の一つは、半単純成分 \(S\) と冪零成分 \(N\) の可換性、すなわち \(SN=NS\) である。可換性は、分解が単なる和ではなく、演算として整合的であることを意味する。可換であるならば、両者を同時に扱うことで、べきや多項式の計算が簡潔になる。
さらに、可換性は不変部分の議論を可能にし、例えば表現の中で不変部分に制限する際に分解が自然に引き継がれる。半単純成分は固有値に基づく挙動を担い、冪零成分は変形・連結性を担うが、それらが衝突しない形で配置される点が有用である。
3 表現論・加群論での利用
半単純成分は、表現論の場面では作用の構造を「対角化可能部分」と「冪零による補正」に分ける道具として働く。加群論では、作用素の分解を通じて、部分加群や不変なフィルトレーションの理解に寄与する。
3.1 表現の構造解析への応用
群や代数の表現において、生成元が線形作用として現れると、その作用素は半単純成分と冪零成分に分かれる。このとき、半単純側は「表現のスペクトル的な性格」を反映し、冪零側は「非可換な情報」や「連鎖構造」を担う。
表現の分解はしばしば不変部分の計算に還元される。半単純成分は不変な部分を見つけやすくし、冪零成分はその内部でどのように変形が起こるかを制御する。結果として、表現の分類や、既約性・可約性の判断における補助線になる。
3.1.1 表現の分解と不変部分
半単純成分が対角化可能であることから、表現空間は固有値に対応する成分へ整理されやすい。これにより、ある作用が固定する部分（不変部分）を半単純成分の固有分解から抽出できる場合がある。
一方で、冪零成分は固有空間の内部で「階段状」に連結する効果を生むため、不変性の強さや、ある種のフィルトレーションの長さに影響を与える。したがって、半単純側と冪零側を分けて追うことで、単なる可約・既約判定より精密な情報が得られる。
3.2 加群の演算子分解としての見方
加群論では、作用が代数の元から与えられることが多い。加群上の線形作用素を分解するという見方により、加群の構造を半単純性と冪零性の混合として理解できるようになる。
3.2.1 可換代数上の作用との整合
作用する代数が可換な場合、各作用素は同時に対角化可能あるいは同時分解可能な状況が生じやすい。そうしたとき、半単純成分は加群の重み分解のような枠組みによく整合する。
可換代数では、半単純成分が「スペクトルデータ」を供給し、冪零成分が「同じ重みの内部構造」を補うと解釈できる。結果として、加群の分解や可視化が進み、重み空間や対応する射影の概念と連動して扱える。
4 代表的な性質と計算法
半単純成分は多くの計算で中心的役割を持つ。特に共役（同値変換）に対する挙動や、多項式条件との関係が実用上の手がかりになる。
4.1 同値変換に対する振る舞い
線形作用は基底選びに依存するが、半単純成分の性質は本質的には基底の変更に不変である。たとえば共役変換で \(T\) を置き換えても、半単純成分は対応する形で移り、同じ分類情報を保持する。
4.1.1 共役不変性
共役不変性は、\(T\) と \(P^{-1}TP\) が同値であるとき、半単純成分も同様に \(S\) が \(P^{-1}SP\) へ写るという形で現れる。したがって半単純成分の固有値や、その分解に基づく基本的構造は共通になる。
この性質により、半単純成分は同値類の代表を選ぶ際の基準点となる。さらに分類理論では、不変量として半単純成分に由来する情報が利用されることが多い。
4.2 最小多項式・特性多項式との関係
半単純成分は多項式条件と密接である。特性多項式は固有値を数える役割をもち、最小多項式は作用素を記述するのに必要な最短の制約を表す。半単純成分が対角化可能であることは、これら多項式に含まれる冪の形と関係する。
4.2.1 半単純成分が満たす多項式的制約
半単純成分 \(S\) は対角化可能なので、一般にはそれが満たす多項式が重根の構造を直接反映しにくい。特に、固有値ごとに対応する因子の冪が過剰に現れない形で制約を受けることが多い。直観的には、冪零成分が担っていた「Jordan鎖の長さ」に対応する情報が、多項式の冪の高さとして表れるが、半単純側ではその高さが抑制される。
その結果、最小多項式や特性多項式の比較において、半単純成分は固有値の配置を規定する中心部分として働く。冪零成分は残りの冪のデータを補い、全体の作用 \(T\) の制約を完成させる。
4.3 具体的計算の手順（例題ベース）
具体的計算では、まず \(T\) の固有値や特性多項式の因子分解を調べ、次に冪零成分を取り除くための多項式、あるいは射影を組み立てる方針を立てる。実際の例では、対角化可能かどうかで手順が単純化される。
例として、複素数体上で可換な上三角行列を考える。上三角行列は対角成分が固有値に対応し、対角成分が同じでも上超対角要素により冪零成分が生じる。そこで、対角成分のみを残した行列を半単純成分として取り出し、差を計算して冪零性を確認するという手順が現れる。
もう一つの例として、特性多項式が異なる因子に分解される場合を考える。このとき、因子ごとに対応する部分空間への分解が可能になり、射影を多項式で構成して半単純成分を組み立てることができる。計算の要点は、半単純側が「因子ごとの値」を正しく反映し、残差が冪零になるよう選ぶことである。
##