A constructive proof of the Peter-Weyl theorem

DOI10.1002/MALQ.200410037MaRDI QIDQ5462987zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Bas Spitters

Publication date 1 August 2005

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200410037

zbMATH Keywords

constructive mathematics, compact groups, Peter-Weyl theorem, \(C^*\)-algebras, Burnside's algorithm

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Compact groups (22C05) (C^*)-algebras and (W^*)-algebras in relation to group representations (22D25) Harmonic analysis on general compact groups (43A77)

Recommendations

• Peter-Weyl theorem for homogeneous spaces of compact groups
• scientific article; zbMATH DE number 3929321
• A constructive proof of Brauer's theorem on induced characters in the group ring \(\mathcal R[G]\).
• Generalization of Peter-Weyl approximation theorem on L^p
• A local Peter-Weyl theorem

Cited in

(1)

• scientific article; zbMATH DE number 6907655 (Why is no real title available?)

This page was built for publication: A constructive proof of the Peter-Weyl theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5462987)