誘導特徵標

數學上，誘導特徵標是指由一個有限群 G 的子群 H ≤ G 的表示 W 誘導得到的 G 的表示V 的特徵標。一般地，也有H 上的類函數f 的誘導類函數$\operatorname {Ind} (f)$，由下面的公式給出：

$\operatorname {Ind} (f)(s)={\frac {1}{|H|}}\sum _{t\in G,\ t^{-1}st\in H}f(t^{-1}st).$

若 f 是 H 的表示 W 的一個特徵標，用這個公式就可以計算 G 的誘導表示 V 的特徵標。

關於誘導特徵標的基本結果是Brauer 誘導特徵標定理，其指出 G 上的每個不可約特徵標都是初等子群的特徵標誘導而來的指標的整係數線性組合。