Schur's lemma (source code)

= Schur's lemma
{c}
{wiki}

= Schur lemma
{c}
{synonym}

An <intertwiner> between finite-dimensional <irreducible> <complex representations> is either zero or an <isomorphism>; an <endomorphism> of one irreducible is scalar.