Splitting implies characters separate conjugacy classes
For a finite group , any Splitting field (?) has the following property: given any two distinct Conjugacy class (?)es of , there is a finite-dimensional representation of over such that the character of takes different values on the two conjugacy classes.
- Splitting implies class-separating: Given any two distinct conjugacy classes, we can find a finite-dimensional representation where the images are not conjugate as linear transformations.
The converse is not true, in fact: characters span class functions not implies splitting (this is due to the Schur index phenomenon).
On the other hand, see characters span class functions iff they separate conjugacy classes iff field contains field generated by character values for alternative characterizations of a field where the characters separate the conjugacy classes.
The proof follows directly from Fact (1). If it were true that there were two distinct conjugacy classes on which all characters were equal, then the span of the space of characters would not include any class function taking different values on the two conjugacy classes, and in particular would not include the indicator function for any one of the conjugacy classes. Hence, the span would not be all class functions.