Conjugacy class of prime power size implies not simple If a finite group has a conjugacy class whose size is a power of a prime (and not just 1), then the group is not a simple group via zero-or-scalar lemma characters are algebraic integers, column orthogonality theorem We use the column orthogonality theorem and derive a contradiction from simplicity by showing that a non-integer rational must b