Commutant of a semisimple representation

ID: commutant-of-a-semisimple-representation

For a finite-dimensional complex semisimple representation with pairwise inequivalent irreducible representations , its commuting endomorphisms are exactly . To prove it, write each block as an intertwiner and apply Schur's lemma: blocks between inequivalent constituents vanish, and blocks between fixed copies of the same constituent are scalar. The dimension is .

New to topics? Read the docs here!