Rédei symbols and arithmetical mild pro-2-groups (Q742916)

Let \(k\) be a number field, \(S\) a finite set of primes, \(k_{S}(p)\) the maximal pro-\(p\)-extension of \(k\) unramified outside \(S\) and \(G_{S}(p)=\mathrm{Gal}(k_{S}(p)/k)\). \textit{A. Schmidt} [J. Reine Angew. Math. 640, 203--235 (2010; Zbl 1193.14041)] proved the following theorem. Let \(p\) be an odd prime number, \(k\) a number field and \(S\) a finite set of primes of \(k\). Let \(\mathcal M\) be an arbitrary set of primes of \(k\) with Dirichlet density \({\delta}(M)=0\). Then there exists a finite set \(S_{0}\) disjoint from \(S\cup {\mathcal M}\) such that \(\operatorname{cd} G_{S\cup S_{0}}=2\). In a former work the author generalized some methods involved in the proof of the above theorem, in particular the Schmidt's cup-product criterion to finitely presented \(p\)-groups with arbitrary Zassenhaus invariant. This was done by means of higher Massey products. The main result of the paper is the following Theorem. Let \(S=\{ 2,l_{1},\dots , l_{n} \}\) for some \(n\geq 1\) and prime numbers \(l_{i}\equiv 9 \bmod 16 , \,\, i=1,\dots ,n\) such that Legendre symbol satisfy \[ \Big(\frac{l_{i}}{l_{j}}\Big)_{2}=1, \quad 1\leq i, j\leq n, \,\, i\neq j. \] Then \(G_{S}(2)={\text{Gal}({\mathbb Q}_{S}(2)/{\mathbb Q}}\) is a mild pro-2-group with generator rank \(n+1\), relation rank \(n\) and Zassenhaus invariant \({\mathfrak z}(G)=3\). In the process of proving this theorem, the author describes the triple Massey products for \(G_{S}(2)\) via Rédei symbols.