Weyl integration formula
E1435395
UNEXPLORED
The Weyl integration formula is a fundamental result in representation theory and Lie group theory that expresses integration of class functions over a compact Lie group in terms of integration over a maximal torus with a specific Jacobian factor.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Weyl integration formula canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T20509329 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Weyl integration formula Context triple: [Weyl denominator, relatedTo, Weyl integration formula]
-
A.
Weyl character formula
The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.
-
B.
Weyl dimension formula
The Weyl dimension formula is a fundamental result in representation theory that gives an explicit product expression for the dimension of each finite-dimensional irreducible representation of a semisimple Lie algebra or compact Lie group in terms of its highest weight and the root system.
-
C.
Weyl denominator
The Weyl denominator is a key product expression in Lie theory that appears in the Weyl character formula, encoding the alternating sum over the Weyl group and playing a central role in describing characters of irreducible representations of semisimple Lie algebras.
-
D.
Harish-Chandra character formula
The Harish-Chandra character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible admissible representations of real reductive Lie groups.
-
E.
Weyl group
A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Weyl integration formula Target entity description: The Weyl integration formula is a fundamental result in representation theory and Lie group theory that expresses integration of class functions over a compact Lie group in terms of integration over a maximal torus with a specific Jacobian factor.
-
A.
Weyl character formula
The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.
-
B.
Weyl dimension formula
The Weyl dimension formula is a fundamental result in representation theory that gives an explicit product expression for the dimension of each finite-dimensional irreducible representation of a semisimple Lie algebra or compact Lie group in terms of its highest weight and the root system.
-
C.
Weyl denominator
The Weyl denominator is a key product expression in Lie theory that appears in the Weyl character formula, encoding the alternating sum over the Weyl group and playing a central role in describing characters of irreducible representations of semisimple Lie algebras.
-
D.
Harish-Chandra character formula
The Harish-Chandra character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible admissible representations of real reductive Lie groups.
-
E.
Weyl group
A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.