End InnerProduct.
Section IrrConstt.
Variable (gT : finGroupType) (G H : {group gT}).

Lemma max_cfRepr_norm_scalar n (rG : mx_representation algCF G n) x :
x \in G -> `|cfRepr rG x| = cfRepr rG 1%g ->
exists2 c, `|c| = 1 & rG x = c%:M.