A G-equivariant map between irreducible representations is either zero or an isomorphism; over an algebraically-closed field it is a scalar. The linchpin of character theory.
A G-equivariant map between irreducible representations is either zero or an isomorphism; over an algebraically-closed field it is a scalar. The linchpin of character theory.