An explicit Andr\'e-Oort type result for P^1(C) x G_m(C)

Using class field theory we prove an explicit result of Andr'e-Oort type for ${\mathbb{P}}^1(\mathbb{C})\times {\mathbb{G}}_m(\mathbb{C})$. In this variation the special points of ${\mathbb{P}}^1(\mathbb{C})$ are the singular moduli, while the special points of ${\mathbb{G}}_m(\mathbb{C})$ are defined to be the roots of unity.