群の表現
有限群 G の正規部分群 N を取る。このとき FN 加群 W に対して
T = { t ∈ G ∣ W t ≅ W } {\displaystyle T=\{\,t\in G\mid W^{t}\cong W\,\}}
を W の惰性群(inertia group)という。
既約 FG 加群 V とその制限 VN の既約部分 FN 加群 W に対して、分岐指数(ramification index)と呼ばれる自然数 e が存在して、次の FN 加群としての同型が成り立つ。
V N ≅ e ⨁ t ∈ G / T W t {\displaystyle V_{N}\cong e\bigoplus _{t\in G/T}W^{t}}