The 2-Sylow subgroup of the wild kernel of exceptional number fields (Q5931316): Difference between revisions

A number field \(F\) is called exceptional if Gal\((F(\zeta _{2^k})/F)\) is noncyclic for some \(k\) (where \({\zeta _m}^m =1\)). Let \(WK_2(F)\) denote the classical wild kernel in \(K\)-theory. For non-exceptional \(F\), \textit{F. Keune} [\(K\)-Theory 2, 625-645 (1989; Zbl 0705.19007)] proved the \(p\)-Sylow subgroup of \(WK_2(F)\) is isomorphic to a group \(T\) involving the class group (for any \(F\) if \(p\) odd), and \textit{T. Mulders} [\(K\)-Theory 5, 449-470 (1992; Zbl 0761.11040)] proved \(WK_2(F)\) is generated by Dennis-Stein symbols; now the author proves that \(WK_2(F)=\text{Div}(K_2(F))\), the divisible elements of \(K_2(F)\). He then shows for exceptional \(F\) that the 2-Sylow subgroup of Div\((K_2(F))\) is a quotient of the group \(T\), and Div\((K_2(F))\) is generated by Dennis-Stein symbols. Also Div\((K_2(F))\) is proved to be a subgroup of \(WK_2(F)\) with index 1 or 2, which is 1 if \(F\) is non-exceptional or if 2 has prime factor with decomposition group equal to the Galois group over \(F(\zeta _{2^n})/F\) for all large \(n\).