Abstract. 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 …