Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Peter–Weyl theorem | Statement: [Weyl character formula, relatedTo, Peter–Weyl theorem]

Target entity: Peter–Weyl theorem
Context triple: [Weyl character formula, relatedTo, Peter–Weyl theorem]

• A. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• B. Plancherel theorem for real reductive groups
  The Plancherel theorem for real reductive groups is a fundamental result in representation theory that describes how square-integrable functions on a real reductive Lie group decompose into irreducible unitary representations, generalizing Fourier analysis to this non-abelian setting.
• C. Methods of Representation Theory
  Methods of Representation Theory is a foundational multi-volume work in mathematics that systematically develops the theory of group and algebra representations, coauthored by Israel Gelfand and collaborators.
• D. Gelfand–Naimark theorem
  The Gelfand–Naimark theorem is a foundational result in functional analysis that characterizes C*-algebras as algebras of bounded operators on a Hilbert space (and, in the commutative case, as algebras of continuous functions on a locally compact Hausdorff space).
• E. Wigner–Eckart theorem
  The Wigner–Eckart theorem is a fundamental result in quantum mechanics that factorizes matrix elements of tensor operators into a reduced matrix element and a purely geometric part given by Clebsch–Gordan coefficients, greatly simplifying angular momentum calculations.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Peter–Weyl theorem
Triple: [Weyl character formula, relatedTo, Peter–Weyl theorem]

The Peter–Weyl theorem is a fundamental result in representation theory and harmonic analysis that decomposes square-integrable functions on a compact topological group into a direct sum of finite-dimensional irreducible unitary representations.

Target entity: Peter–Weyl theorem
Target entity description: The Peter–Weyl theorem is a fundamental result in representation theory and harmonic analysis that decomposes square-integrable functions on a compact topological group into a direct sum of finite-dimensional irreducible unitary representations.

• A. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• B. Plancherel theorem for real reductive groups
  The Plancherel theorem for real reductive groups is a fundamental result in representation theory that describes how square-integrable functions on a real reductive Lie group decompose into irreducible unitary representations, generalizing Fourier analysis to this non-abelian setting.
• C. Methods of Representation Theory
  Methods of Representation Theory is a foundational multi-volume work in mathematics that systematically develops the theory of group and algebra representations, coauthored by Israel Gelfand and collaborators.
• D. Gelfand–Naimark theorem
  The Gelfand–Naimark theorem is a foundational result in functional analysis that characterizes C*-algebras as algebras of bounded operators on a Hilbert space (and, in the commutative case, as algebras of continuous functions on a locally compact Hausdorff space).
• E. Wigner–Eckart theorem
  The Wigner–Eckart theorem is a fundamental result in quantum mechanics that factorizes matrix elements of tensor operators into a reduced matrix element and a purely geometric part given by Clebsch–Gordan coefficients, greatly simplifying angular momentum calculations.
• F. None of above. chosen