We classify the real and strongly real conjugacy classes in PGLnðqÞ, PSLnðqÞ, and all quasi-simple covers of PSLnðqÞ. In each case we give a formula for the number of real, and the number of strongly real, conjugacy classes. This is a companion paper to [4] in which we classified the real and strongly real conjugacy classes in GLnðqÞ and SLnðqÞ.

We prove the Arad–Herzog conjecture for various families of finite simple groups — if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are nontrivial conjugacy classes, either both semisimple or both unipotent, then AB is not a conjugacy class. We also prove a strong version of the Arad–Herzog co...