1: \begin{abstract}

2: With \(K=\mathbb{Q}\left(\sqrt{3\,812\,377}\right)\)

3: we give the first example of an algebraic number field

4: possessing a \(5\)-class tower of exact length \(\ell_5{K}=3\).

5: The rigorous proof is conducted by means of the \(p\)-group generation algorithm,

6: showing the existence of a unique finite metabelian \(5\)-group \(\mathfrak{G}\)

7: with abelianization \(\lbrack 5,5\rbrack\)

8: having the kernels \((M_1,\mathfrak{G}^5)\) and targets \(\left(\lbrack 25,5,5,5\rbrack,\lbrack 5,5\rbrack^5\right)\)

9: of Artin transfers \(T_i:\,\mathfrak{G}\to M_i/M_i^\prime\) to its six maximal subgroups \(M_i\),

10: prescribed by arithmetical invariants of \(K\).

11: Thus, \(\mathfrak{G}\) must be the second \(5\)-class group \(\mathrm{G}_5^2{K}\) of the real quadratic field \(K\)

12: but cannot be its \(5\)-class tower group \(\mathrm{G}_5^\infty{K}\),

13: since the relation rank \(d_2\mathfrak{G}=4\) is too big.

14: We provide evidence of exactly five non-isomorphic extensions \(G\) of \(\mathfrak{G}\)

15: having the required relation rank \(d_2 G=3\) and derived length \(\mathrm{dl}(G)=3\)

16: whose metabelianization \(G/G^{\prime\prime}\) is isomorphic to \(\mathfrak{G}\).

17: Consequently, \(\mathrm{G}_5^\infty{K}\) must be one of the five non-metabelian groups \(G\). 

18: \end{abstract}

19: