Template:Character table facts to check against

FACTS TO CHECK AGAINST FOR CHARACTERS OF IRREDUCIBLE REPRESENTATIONS OVER SPLITTING FIELD:
Orthogonality relations: Character orthogonality theorem | Column orthogonality theorem | Splitting implies characters span class functions
Separation results (basically says any two rows distinct, any two columns distinct): splitting implies character-separating | non-modular implies character-determining