Irreducible characters of degree coprime to p (${\mathrm{Irr}}_{p^{\prime }}(G)$)

For a finite group $G$ and prime number $p$, the notationdenotes the irreducible characters whose irreducible character degree is coprime to $p$.