F. Peter, H. Weyl (1927), Mathematische Annalen 97:737–755 — DOI-10.1007/BF01447892
Standing in the record
Registered on 2026-09-29 at the owner’s request, because the owner’s prior-art novelty map (a private working document on concepts as projectors, the linear representation hypothesis and their neighbours) cites it: row 7: predicate harmonics = characters; irrep multiplets = spectral degeneracies. It is seeded from metadata and published descriptions and has not been read here.
Identification notes: Program name; canonical primary unambiguous. Nucleation holds a different Weyl work (LIT-108, Philosophy of Mathematics and Natural Science) — not this.
It was filed Deferred, unread. NOTE-305 is the close reading of 2026-09-29, and it placed the work: Active — worth reading as the primary source of the Peter–Weyl theorem, and it is short and constructive. Its setting is compact Lie groups and continuous functions. For arbitrary compact groups and the L²(G) = ⊕ (dim π)·π decomposition in modern form, a textbook statement (e.g. Weil 1940, or Folland’s A Course in Abstract Harmonic Analysis) supersedes it.