Separating singular moduli and the primitive element problem

Yuri Bilu, Bernadette Faye, Huilin Zhu

We prove that $|x-y|\ge 800X^{-4}$, where $x$ and $y$ are distinct singular moduli of discriminants not exceeding $X$. We apply this result to the "primitive element problem" for t…