Maximal torus¶
In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups.
Core Idea¶
Maximal torus is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups. In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups. A torus in a compact Lie group G is a compact, connected, abelian Lie subgroup of G (and therefore isomorphic to the standard torus T n ).
Scope of Application¶
-
Weyl integral formula. An important special case of this result occurs when f is a class function, that is, a function invariant under conjugation.
-
Weyl integral formula. Then the Weyl integral formula for class functions takes the following explicit form.
-
Weyl integral formula. Suppose f is a continuous function on G.
-
Examples. The unitary group U(n) has as a maximal torus the subgroup of all diagonal matrices.
-
Examples. T = \left{\operatorname{diag}\left(e{i\theta1},e\right}.},\dots,e^{i\thetan}\right) : \forall j, \thetaj \in \mathbb{R
Clarity¶
A clear use of Maximal torus names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups.
Manages Complexity¶
Maximal torus compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—concretely, one maximal torus consists of all block-diagonal matrices with 2\times 2 diagonal blocks, where each diagonal block is a rotation matrix.—and the practical consequence—the Weyl group is generated by reflections about the roots of the associated Lie algebra.
Abstract Reasoning¶
- Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
- State the relation. Use the source-grounded identity: In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups.
- Check operation and conditions. For example, in the rotation group SO(3) the maximal tori are given by rotations about a fixed axis.
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Maximal torus transfers literally when a new case preserves the same carrier type, relation, and recognition test. An important special case of this result occurs when f is a class function, that is, a function invariant under conjugation. Then the Weyl integral formula for class functions takes the following explicit form. Beyond the home domain. No canonical parent is asserted for Maximal torus. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.
Relationships to Other Abstractions¶
Current abstraction Maximal torus Domain-specific
Parents (1) — more general patterns this builds on
-
Maximal torus is a kind of Lie group Domain-specific
A maximal torus is a compact connected abelian Lie subgroup maximal among torus subgroups.
Neighborhood in Abstraction Space¶
Maximal torus sits in a sparse region of the domain-specific corpus (73rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Structures, Groups & Operators (42 abstractions)
Nearest neighbors
- Rotation matrix — 0.84
- Riesz's lemma — 0.84
- J-homomorphism — 0.83
- Julia set — 0.82
- Complex Lie group — 0.82
Computed from structural-signature embeddings · 2026-10-08