Suppose that $G$ is a finite group and $K$ a non-trivial conjugacy class of $G$ such that $KK^{ -1}=1\cup D\cup D^{ -1}$ with $D$ a conjugacy class of $G$. We prove that $G$ is not a non-abelian simple group. We also give arithmetical conditions on the class sizes determining the structure of $\langle K\rangle$ and $\langle D\rangle$. Furthermore, if $D=K$ is a non-real class, then $\langle K\rangle$ is $p$-elementary abelian for some odd prime $p$.
Categories: math.GR