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!