# 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.

A **torus** in a compact Lie group *G* is a compact, connected, abelian Lie subgroup of *G* (and therefore isomorphic to^{[1]} the standard torus **T**^{n}). A **maximal torus** is one which is maximal among such subgroups. That is, *T* is a maximal torus if for any torus *T*′ containing *T* we have *T* = *T*′. Every torus is contained in a maximal torus simply by dimensional considerations. A noncompact Lie group need not have any nontrivial tori (e.g. **R**^{n}).

The dimension of a maximal torus in *G* is called the **rank** of *G*. The rank is well-defined since all maximal tori turn out to be conjugate. For semisimple groups the rank is equal to the number of nodes in the associated Dynkin diagram.

The unitary group U(*n*) has as a maximal torus the subgroup of all diagonal matrices. That is,

*T* is clearly isomorphic to the product of *n* circles, so the unitary group U(*n*) has rank *n*. A maximal torus in the special unitary group SU(*n*) ⊂ U(*n*) is just the intersection of *T* and SU(*n*) which is a torus of dimension *n* − 1.

The symplectic group Sp(*n*) has rank *n*. A maximal torus is given by the set of all diagonal matrices whose entries all lie in a fixed complex subalgebra of **H**.

Given a torus *T* (not necessarily maximal), the Weyl group of *G* with respect to *T* can be defined as the normalizer of *T* modulo the centralizer of *T*. That is,

Suppose *f* is a continuous function on *G*. Then the integral over *G* of *f* with respect to the normalized Haar measure *dg* may be computed as follows: