Character constituent
= Character constituent
An irreducible character $\varphi$ is a constituent of a character $\chi$ when its multiplicity $\langle\chi,\varphi\rangle$ is positive.
= Character constituent
An irreducible character $\varphi$ is a constituent of a character $\chi$ when its multiplicity $\langle\chi,\varphi\rangle$ is positive.