Misplaced Pages

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (October 2013) (Learn how and when to remove this message) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Isotypical representation" – news · newspapers · books · scholar · JSTOR (August 2014) (Learn how and when to remove this message) (Learn how and when to remove this message)

In group theory, an isotypical, primary or factor representation of a group G is a unitary representation ${\displaystyle \pi :G\longrightarrow {\mathcal {B}}({\mathcal {H}})}$ such that any two subrepresentations have equivalent sub-subrepresentations. This is related to the notion of a primary or factor representation of a C*-algebra, or to the factor for a von Neumann algebra: the representation ${\displaystyle \pi }$ of G is isotypical iff ${\displaystyle \pi (G)^{''}}$ is a factor.

This term more generally used in the context of semisimple modules.

Property

One of the interesting property of this notion lies in the fact that two isotypical representations are either quasi-equivalent or disjoint (in analogy with the fact that irreducible representations are either unitarily equivalent or disjoint).

This can be understood through the correspondence between factor representations and minimal central projection (in a von Neumann algebra). Two minimal central projections are then either equal or orthogonal.

Example

Let G be a compact group. A corollary of the Peter–Weyl theorem has that any unitary representation ${\displaystyle \pi :G\longrightarrow {\mathcal {B}}({\mathcal {H}})}$ on a separable Hilbert space ${\displaystyle {\mathcal {H}}}$ is a possibly infinite direct sum of finite dimensional irreducible representations. An isotypical representation is any direct sum of equivalent irreducible representations that appear (typically multiple times) in ${\displaystyle {\mathcal {H}}}$.

References

1. Deitmar & Echterhoff 2014, § 8.3 p.162
2. Higson, Nigel; Roe, John. "Operator Algebras" (PDF). psu.edu. Retrieved 11 March 2016.
3. Dixmier 1982, Prop. 5.2.7 p.117

Bibliography

• Deitmar, A.; Echterhoff, S. (2014). Principles of Harmonic Analysis. Universitext. Springer International Publishing. ISBN 978-3-319-05792-7.
• Dixmier, Jacques (1982). C*-algebras. North-Holland Publ. Co. ISBN 0-444-86391-5. OCLC 832825844.

Further reading

• Mackey
• "Lie Groups", Claudio Procesi, def. p. 156.
• "Group and symmetries", Yvette Kosmann-Schwarzbach

This linear algebra-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Unitary representation theory
• Module theory
• Linear algebra stubs