The following pages link to P-core-free iff there exists a faithful irreducible representation over a field of characteristic p: