# Semantic search

Conjugacy class of prime power size implies not simple, Degree of irreducible representation divides order of group, Field generated by character values is contained in a cyclotomic extension of rationals, Irreducible character of degree greater than one takes value zero on some conjugacy class, Zero-or-scalar lemma