Equality of norm groups of subextensions of \(S_ n\) \((n\leq 5)\) extensions of algebraic number fields. (Q1418466): Difference between revisions

Let \(k\) be a number field and \(K\), \(L\) be finite Galois extensions of \(k\). The author [J. Number Theory 32, No. 2, 203--219 (1989; Zbl 0687.12006)] has previously proved that the norm groups satisfy \(N_{K/k}(K^*)\subseteq N_{L/k}(L^*)\) if and only if \(L\subseteq K\). In this article the author is concerned with the problem of when \(N_{K/k}(K^*)= N_{L/k}(L^*)\) where \(k\subseteq K\), \(L\subseteq M\) and \(M/k\) is a finite Galois extension. Due to the result mentioned above, this question is most interesting when \(K/k\) and \(L/k\) are not Galois extensions. Explicit answers are given when \(\text{Gal}(M/k)= S_n\) with \(n\leq 5\). When \(n= 2\) or \(3\), this is true if and only if \(K\) and \(L\) are conjugate over \(k\). When \(n= 4\), the problem becomes more interesting. Suppose that \(k\subseteq E\subseteq F\subseteq M\) where \(E\) is the fixed field of the Klein 4-group that is contained in \(A_4\) and \([F:E]= 2\). If there is a prime of \(k\) whose decomposition group in \(M\) contains \(V_4\) then \(N_{K/k}(K^*)= N_{L/k}(L^*)\) if and only if only if \(K\) and \(L\) are conjugate over \(k\) or \(K\) and \(L\) are conjugate to \(E\) and \(F\). Otherwise, the norm groups of \(K\) and \(L\) are equal if and only if \(K\) and \(L\) are conjugate over \(k\). In the case of \(n= 5\), if there is a prime of \(k\) whose decomposition group in \(M\) contains the 2-Sylow subgroup of \(A_5\) then the norm groups of \(K\) and \(L\) are equal if and only if \(K\) and \(L\) are conjugate over \(k\) or \(K\) and \(L\) are conjugate over \(k\) to one of three different pairs of subfields of \(M\) containing \(k\). Otherwise, the norm groups of \(K\) and \(L\) are equal if and only if \(K\) and \(L\) are conjugate over \(k\) or \(K\) and \(L\) are conjugate over \(k\) to a specific one of the pairs of subfields mentioned above.