A table of absolute norms of Heilbronn sums (Q1898255)

The \(p\)th Heilbronn sum \(H_p\) for an odd prime \(p\) is defined as the trace of \(\zeta\) from \(\mathbb{Q} (\zeta)\) to \(L\), where \(\zeta\) is a primitive \(p^2\)th root of unity and \(L\) the unique subfield of the \(p^2\)th cyclotomic field \(\mathbb{Q} (\zeta)\) of degree \(p\). Using a computer the author presents all values of \(NH_p\) (the absolute norm of \(H_p)\) for \(p < 100\) with their factorizations. The values of \(NH_p\) for \(p < 50\) were given in the paper of \textit{W. L. Fouché} [J. Number Theory 19, 1-6 (1984; Zbl 0543.10027)] with the interesting result stating that for any prime divisor \(l\) of \(NH_p\) the congruence \(1^{p - 1} \equiv 1 \pmod {p^2}\) is satisfied. This congruence is connected with the first case of Fermat's Last Theorem.