# Peter–Weyl theorem

The **Peter–Weyl theorem** is a foundational result in the representation theory and harmonic analysis of compact groups, proved by [Fritz Peter](https://www.edgepedia.org/fritz-peter) and [Hermann Weyl](https://www.edgepedia.org/hermann-weyl) in 1927. It states that the matrix coefficients of the irreducible unitary representations of a compact group, suitably scaled, form an orthonormal basis of the Hilbert space L²(G) of square-integrable functions on the group, and it generalizes the theory of [Fourier series](https://www.edgepedia.org/fourier-series) from the circle to arbitrary compact groups.<sup>[1](https://arxiv.org/abs/2603.07105)</sup><sup> • </sup><sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup>

| Key fact | Detail |
|---|---|
| Original publication | Fritz Peter and Hermann Weyl, *Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe*, 1927<sup>[1](https://arxiv.org/abs/2603.07105)</sup> |
| Core statement | For a compact group K, the functions \( \sqrt{\dim \pi} \, f^{\pi}_{ij} \), over all irreducible unitary representations π and indices i, j, form an orthonormal basis of L²(K)<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> |
| Orthogonality | \( \langle f_{\xi_1,\eta_1}, f_{\xi_2,\eta_2} \rangle_{L^2(K)} = \tfrac{1}{\dim \pi} \langle \xi_1, \xi_2 \rangle \langle \eta_2, \eta_1 \rangle \) for matrix coefficients of one irreducible representation<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> |
| Consequences | Every irreducible unitary representation of a compact group is finite-dimensional; every unitary representation is completely reducible<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> |
| Matrix-group corollary | Every compact Lie group is isomorphic to a closed subgroup of a unitary group U(N) for sufficiently large N<sup>[3](https://www.mat.univie.ac.at/~cap/files/LieGroups.pdf)</sup> |
| Standard proof tool | The Hilbert–Schmidt theorem, the spectral theorem for compact self-adjoint operators on a Hilbert space<sup>[4](https://ocw.mit.edu/courses/18-755-lie-groups-and-lie-algebras-ii-spring-2024/mit18_755_s24_lec_full.pdf)</sup> |
| Abelian specialization | For the torus, the classical Fourier theorem becomes a corollary of Peter–Weyl<sup>[1](https://arxiv.org/abs/2603.07105)</sup> |

## Statement

Let K be a compact group, equipped with its normalized [Haar measure](https://www.edgepedia.org/haar-measure), and let \( \widehat{K} \) denote the set of equivalence classes of irreducible unitary representations of K. For a representation \( (\pi, H) \) and vectors \( \xi, \eta \in H \), the associated **matrix coefficient** is the function \( f_{\xi,\eta}(g) = \langle \pi(g)\xi, \eta \rangle \).<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> Choosing an orthonormal basis \( (e_i) \) of H gives coordinate functions \( f_{ij}(g) = \langle \pi(g)e_i, e_j \rangle \).<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup>

In this notation, one formulation of the theorem reads: the family

\[ \left( \sqrt{\dim \pi} \, f^{\pi}_{ij} \right)_{\pi \in \widehat{K},\; i,j \in \{1,\dots,\dim \pi\}} \]

is an orthonormal basis for L²(K).<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> The scaling factor \( \sqrt{\dim \pi} \) normalizes the coefficients, whose raw inner products are governed by the orthogonality relations

\[ \langle f_{\xi_1,\eta_1}, f_{\xi_2,\eta_2} \rangle_{L^2(K)} = \frac{1}{\dim \pi} \langle \xi_1, \xi_2 \rangle \langle \eta_2, \eta_1 \rangle. \]

These relations raise practically unchanged from the finite-group setting, where they are known as the great orthogonality relations, to the compact case.<sup>[5](https://journals.library.columbia.edu/index.php/cjum/article/download/12910/6332/34508)</sup>

A second, base-free formulation emphasizes the action of \( K \times K \) on L²(K) by left and right translation. The map \( V_\pi : \mathrm{HS}(H_\pi) \to L^2(K) \) defined by \( V_\pi(T)(g) = \sqrt{\dim \pi} \, \mathrm{Tr}(\pi(g)T) \), on the Hilbert–Schmidt operators on \( H_\pi \), is an isometric intertwiner, and L²(K) decomposes as a Hilbert sum of the images of these maps.<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> In representation-theoretic language, the regular representation of K on L²(K) decomposes as a direct sum of irreducible representations, each irreducible π appearing with multiplicity equal to its dimension \( d_\pi \), so that each isotypic component is isomorphic to \( \pi \otimes \pi^{*} \).<sup>[6](https://symm4ml.mit.edu/symm4ml_s26/notes/spherical-signals)</sup>

The theorem is a package of related results rather than a single statement; the literature distinguishes a "Small Peter–Weyl Theorem" from a "Big Peter–Weyl Theorem", an extension of the compact-group result.<sup>[1](https://arxiv.org/abs/2603.07105)</sup> One commonly listed component is the density of the representative functions: the matrix coefficients of finite-dimensional representations span a dense subspace of the continuous functions C(G) in the supremum norm.<sup>[7](https://mathworld.wolfram.com/Peter-WeylTheorem.html)</sup><sup> • </sup><sup>[8](https://www.math.uchicago.edu/~may/REU2021/REUPapers/Goldman.pdf)</sup>

## Consequences for representations

The theorem settles the basic structure of representations of compact groups. Every irreducible unitary representation of a compact group is finite-dimensional, and the regular representation decomposes as a direct sum of these finite-dimensional irreducibles.<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> Moreover, every unitary representation of a compact group is completely reducible: the argument uses Fell's absorption principle to bound any representation π by a multiple of the regular representation, which the theorem decomposes into irreducibles.<sup>[2](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)</sup> This contrasts with non-compact groups such as SL₂(ℝ), which admit interesting infinite-dimensional irreducible unitary representations.<sup>[9](https://www.dpmms.cam.ac.uk/~jcsl5/notes.pdf)</sup>

A geometric corollary follows from the density of matrix coefficients in C(G). If two distinct elements of a compact [Lie group](https://www.edgepedia.org/lie-group) acted trivially in every finite-dimensional representation, they would agree on all matrix coefficients and hence on all continuous functions, which is impossible; assembling finitely many representations with successively smaller kernels yields an injective homomorphism into some unitary group. Thus every compact Lie group is isomorphic to a closed subgroup of U(N) for sufficiently large N, that is, every compact Lie group is a matrix group.<sup>[3](https://www.mat.univie.ac.at/~cap/files/LieGroups.pdf)</sup><sup> • </sup><sup>[7](https://mathworld.wolfram.com/Peter-WeylTheorem.html)</sup>

## Proof strategy

The standard proof passes through functional analysis. One proves first that for each continuous function f the convolution operator \( T_f(\psi)[x] = \int_G f(g)\psi(g^{-1}x)\,dg \) is compact, then applies the Hilbert–Schmidt theorem, the spectral theorem for compact self-adjoint operators, to obtain finite-dimensional eigenspaces that are G-invariant.<sup>[4](https://ocw.mit.edu/courses/18-755-lie-groups-and-lie-algebras-ii-spring-2024/mit18_755_s24_lec_full.pdf)</sup><sup> • </sup><sup>[8](https://www.math.uchicago.edu/~may/REU2021/REUPapers/Goldman.pdf)</sup> Approximating the Dirac delta by a bounded sequence of continuous functions then shows that every continuous function lies in the closure of the finite-dimensional invariant subspaces, which gives density.<sup>[8](https://www.math.uchicago.edu/~may/REU2021/REUPapers/Goldman.pdf)</sup> A course on compact Lie groups typically places the theorem in a sequence: complete reducibility, [Schur's lemma](https://www.edgepedia.org/schurs-lemma), and the orthogonality relations first, then the Peter–Weyl theorem via compact operators, followed by maximal tori, the Weyl integral formula, and the [Weyl character formula](https://www.edgepedia.org/weyl-character-formula).<sup>[10](https://www.icts.res.in/lectures/CLG2024)</sup>

## Relation to Fourier analysis

Peter–Weyl is the non-abelian generalization of Fourier series. When the compact group is abelian, every irreducible representation is one-dimensional, so the decomposition of L²(G) reduces to a sum over characters; for the torus \( \mathbb{T} \), the classical Fourier theorem, the expansion of periodic functions in exponentials \( e^{2\pi i n t} \), becomes a corollary of Peter–Weyl.<sup>[1](https://arxiv.org/abs/2603.07105)</sup><sup> • </sup><sup>[9](https://www.dpmms.cam.ac.uk/~jcsl5/notes.pdf)</sup> In the Hilbert-algebra formulation, a metrizable compact abelian group has all its minimal ideals one-dimensional, and every unitary representation is a Hilbert sum of one-dimensional representations.<sup>[11](https://www.cis.upenn.edu/~cis5150/cis700-24sl4.pdf)</sup>

For the rotation group SO(3), the theorem says that the [Wigner D-matrix](https://www.edgepedia.org/wigner-d-matrix) entries \( D^l_{mn} \) form a complete orthogonal basis of L²(SO(3)). The irreducible representation of angular frequency l has dimension \( 2l+1 \), so it contributes \( (2l+1)^2 \) basis functions, and bandlimited expansions on SO(3) grow cubically in the cutoff \( L_{\max} \), compared with quadratically for spherical harmonics on the sphere \( S^2 \cong \mathrm{SO}(3)/\mathrm{SO}(2) \).<sup>[6](https://symm4ml.mit.edu/symm4ml_s26/notes/spherical-signals)</sup> More broadly, the theorem underlies the identification of special functions with representation theory: SO(2) yields [Fourier analysis](https://www.edgepedia.org/fourier-analysis), SO(3) yields spherical harmonics, and the Euclidean group E(2) yields Bessel functions.<sup>[12](https://www.researchgate.net/publication/228923944_Representation_theory_in_classical_and_quantum_physics)</sup>

## Generalizations

The theorem has been extended in several directions. Woronowicz's Peter–Weyl theory for compact quantum groups has been generalized further to settings such as projective representations of compact quantum groups.<sup>[13](https://arxiv.org/abs/1006.2278)</sup> A 2023 work of Nikolai Edeko, Asgar Jamneshan, and Henrik Kreidler, mathematicians working in topological dynamics and ergodic theory, established a Peter–Weyl-type representation theory for compact group bundles, connected to extensions with relative discrete spectrum.<sup>[14](https://arxiv.org/abs/2302.13630)</sup> A 2025 note generalizes the approximation by representative functions to scalar-valued functions on locally compact groups possessing a nontrivial compact open subgroup, such as the p-adic rationals \( \mathbb{Q}_p \) with the compact open subgroup \( \mathbb{Z}_p \); the result specializes to the classical theorem when the compact open subgroup is the whole group.<sup>[1](https://arxiv.org/abs/2603.07105)</sup>

There is also a constructive line of work in the Bishop–Coquand–Spitters tradition. Constructively, the theorem is read less as a statement that all irreducibles exist at once and more as the possibility of approximating continuous functions by explicit finite-rank operators built from convolution with central functions arising from characters; related work connects the theorem to almost periodic functions, whose translation behavior determines compact completions on which the constructive Peter–Weyl theorem applies.<sup>[15](https://arxiv.org/abs/2603.17618)</sup>

## Historical note

The theorem appeared in 1927 in a German paper whose title translates as "The completeness of the primitive representations of a closed continuous group".<sup>[1](https://arxiv.org/abs/2603.07105)</sup> Weyl published further work connecting group theory with quantum mechanics in the same year, in *Quantenmechanik und Gruppentheorie* in *Zeitschrift für Physik*, volume 46.<sup>[16](https://openurl.ebsco.com/contentitem/doi%3A10.1007/bf02055756?id=ebsco%3Adoi%3A10.1007%2Fbf02055756&sid=ebsco%3Aplink%3Acrawler)</sup> One widely used modern presentation of both parts of the theorem, in terms of Hilbert algebras, is due to the French mathematician [Jean Dieudonné](https://www.edgepedia.org/jean-dieudonne), author of a multi-volume treatise on analysis.<sup>[11](https://www.cis.upenn.edu/~cis5150/cis700-24sl4.pdf)</sup>

## References

1. [A Note on the Peter–Weyl Theorem, arXiv:2603.07105](https://arxiv.org/abs/2603.07105)
2. [Sven Raum, Lecture notes on abstract harmonic analysis, Theorem 8.1.11 and surrounding lemmas](https://sven.raum-brothers.eu/data/teaching/2016-17/AHA/aha-lecture-notes-2017-05-18.pdf)
3. [Andreas Cap, Lie Groups lecture notes, Corollary 3.12](https://www.mat.univie.ac.at/~cap/files/LieGroups.pdf)
4. [MIT OpenCourseWare, 18.755 Lie Groups and Lie Algebras, Lecture 36: Proof of the Peter–Weyl theorem](https://ocw.mit.edu/courses/18-755-lie-groups-and-lie-algebras-ii-spring-2024/mit18_755_s24_lec_full.pdf)
5. [The Peter–Weyl theorem and harmonic analysis on Sⁿ, Columbia Journal of Undergraduate Mathematics](https://journals.library.columbia.edu/index.php/cjum/article/download/12910/6332/34508)
6. [Signals on Spheres and Spherical Convolution, Symm4ML course notes, MIT](https://symm4ml.mit.edu/symm4ml_s26/notes/spherical-signals)
7. [Peter–Weyl Theorem, Wolfram MathWorld](https://mathworld.wolfram.com/Peter-WeylTheorem.html)
8. [An Overview of Lie Theory and the Peter–Weyl Theorem, University of Chicago REU paper](https://www.math.uchicago.edu/~may/REU2021/REUPapers/Goldman.pdf)
9. [Cambridge DPMMS lecture notes, Theorem 11.18 (Peter–Weyl theorem)](https://www.dpmms.cam.ac.uk/~jcsl5/notes.pdf)
10. [Compact Lie Groups, ICTS lecture series by T. N. Venkataramana](https://www.icts.res.in/lectures/CLG2024)
11. [Represent (UPenn CIS notes), Chapter 4: The Peter–Weyl Theorem, I](https://www.cis.upenn.edu/~cis5150/cis700-24sl4.pdf)
12. [Representation theory in classical and quantum physics, ResearchGate](https://www.researchgate.net/publication/228923944_Representation_theory_in_classical_and_quantum_physics)
13. [On projective representations for compact quantum groups, arXiv:1006.2278](https://arxiv.org/abs/1006.2278)
14. [Edeko, Jamneshan, Kreidler (2023), A Peter–Weyl theorem for compact group bundles, arXiv:2302.13630](https://arxiv.org/abs/2302.13630)
15. [Constructive Peter–Weyl Theory: What is Known and What Remains Open, arXiv:2603.17618](https://arxiv.org/abs/2603.17618)
16. [Weyl, H. (1927), Quantenmechanik und Gruppentheorie, Zeitschrift für Physik 46, p. 1](https://openurl.ebsco.com/contentitem/doi%3A10.1007/bf02055756?id=ebsco%3Adoi%3A10.1007%2Fbf02055756&sid=ebsco%3Aplink%3Acrawler)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Algebraic structures › Group theory › Group representation theory › Representations of topological and compact groups*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license