There are no two non-real conjugates of a Pisot number with the same imaginary part
From MaRDI portal
Publication:6255267
arXiv1410.1600MaRDI QIDQ6255267
Kevin G. Hare, Jonas Jankauskas, Arturas Dubickas
Publication date: 6 October 2014