查看“︁诱导特征标”︁的源代码

[[数学]]上，'''诱导特征标'''是指由一个[[有限群]] ''G'' 的[[子群]] ''H'' ≤ ''G'' 的[[群表示論|表示]] ''W'' 诱导得到的 ''G'' 的表示''V'' 的特征标。一般地，也有''H'' 上的[[類函數|类函数]]''f'' 的诱导类函数<math>\operatorname{Ind}(f)</math>，由下面的公式给出：

: <math>\operatorname{Ind}(f)(s) = \frac{1}{|H|} \sum_{t \in G,\  t^{-1} st \in H} f(t^{-1} st).</math>

若 ''f'' 是 ''H'' 的表示 ''W'' 的一个特征标，用这个公式就可以计算 ''G'' 的诱导表示 ''V'' 的特征标。<ref>{{Citation|last=Serre|first=Jean-Pierre|author-link=Jean-Pierre Serre|isbn=0-387-90190-6|place=New York|mr=0450380|at=7.2, Proposition 20|publisher=Springer-Verlag|title=Linear Representations of Finite Groups|year=1977}}</ref>

关于诱导特征标的基本结果是{{link-en|Brauer 诱导特征标定理|Brauer's theorem on induced characters}}，其指出 ''G'' 上的每个不可约特征标都是初等子群的特征标诱导而来的指标的整系数线性组合。

== 参考文献 ==
{{Reflist}}
[[Category:群论]]