1 problem

Let $K$ be a CM Galois extension of $\mathbb Q$, let $K^+$ be its totally real subfield, and let $\tau\in\operatorname{Gal}(K/K^+)$ be the nontrivial element. Let $\rho$ be an irre…