Criterion for the equality of norm groups of idele groups of algebraic number fields (Q676223): Difference between revisions

Let \(k\) be an algebraic number field, \(J_k\) its idele group, and \(C_k = J_k/k^\times\) its idele class group. For finite extension \(K/k\), one considers the groups \(N(K/k) = k^\times \cap N_{K/k}J_K\) (the group of `local norms'), as well as Scholz's number knot \(\nu_{K/k} = N(K/k)/N_{K/k} K^\times\), see \textit{W. Jehne} [J. Reine Angew. Math. 311/312, 215-254 (1979; Zbl 0432.12006)], also called the obstruction to Hasse's norm theorem. Now let \(K/k\) and \(L/k\) be finite extensions of \(k\), \(E/k\) a normal extension containing \(KL\), and let \(G\) denote the Galois group of \(E/k\). Then the author gives a group theoretic condition for the equality \(N_{K/k}J_K = N_{L/k}J_L\) which, in light of \(N_{K/k}J_K \subseteq N_{L/k}J_L \iff N(K/k) \subseteq N(L/k)\), also applies to the groups of local norms. The last part of the article is devoted to an explicit construction of two extensions \(L/k\) and \(K/k\) of a quadratic number field \(k\) such that \(N(L/k) = N(K/k)\), \(\nu_{L/k} \simeq \nu_{K/k}\), but \(N_{L/k} L^\times \neq N_{K/k} K^\times\).