按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。
Woit · 2025-10-20
已登记出处中的最早位置:§9.4 · zh-CN。
来源短摘录与定位
§9.4 · zh-CN · machine_draft · machine-draft-not-reviewed
定理(Weyl 特征标公式)
对于的不可约表示以及下面的对角元素,
证明
由下列恒等式和方程(9.2)可得此公式:
§9.4 · en · machine_draft · machine-draft-not-reviewed
Theorem (Weyl character formula)
For the irreducible representation of and the diagonal element below,
Proof
The formula follows from the identity
together with equation (9.2).