Template:Integrate

From formulasearchengine
Jump to navigation Jump to search

Template:Multiple issues

Definition

An isotypical or primary representation of a group G is a unitary representation π:G() such that any two subrepresentations have equivalent subsubrepresentations.

This is to relate to primary or factor representation of a C*-algebra, or to the notion of factor for a von Neumann algebra: the representation π of G is isotypicall iff π(G)' is a factor.

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

Example

Let G be a compact group. A corollary of the Peter-Weyl theorem has that any unitary representation π:G() on a separable Hilbert space is a possibly infinite direct sum of finite dimensional irreducible representations. An isotypical representation is a direct sum of the equivalent irreducible representations that appear, possibly multiple times, in .



References

Mackey

"C* algebras", Jacques Dixmier, Chapter 5

"Lie Groups", Claudio Procesi, def. p. 156.


Template:Abstract-algebra-stub