Skip to main content
1 of 4
S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220

Let $n$ be the least common multiple of $\mu(k_v)$ and $\mu(k_w)$, let $K = k[\zeta_n]$, where $\zeta_n$ is a primitive $n$th root of unity, and let $v'$ and $w'$ be any chosen places over $v$ and $w$, respectively. $K$ is Galois over $k$, and if I'm not mistaken, we have $\mu(K_{v'}) = \mu(k_v[\zeta_n]) = n$ and $\mu(K_{w'}) = \mu(k_w[\zeta_n]) = n$. Is there a subtlety I'm missing?

S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220