A generalisation of a theorem of Wolstenholme. (Q2614368)

Der Satz von \textit{Wolstenholme} lautet: Ist \(p > 3\) eine Primzahl, so gilt \[ \sum_{1\leqq a<p}\dfrac1a \equiv 0\;(\operatorname{mod} p^2). \] Dieser Satz wurde von \textit{S. Chowla} (Math. Student 1 (1933), 140-141; JFM 59.0931.*) für den Fall verallgemeinert, daß \(a\) ein reduziertes Restsystem modulo einer Potenz einer Primzahl \(p > 3\) durchläuft. Verf. behandelt den Fall eines beliebigen Moduls \(n\) und zeigt: Ist \(n = 2^ku\) mit \((u, 2) = 1\), und ist \[ \varphi(u)\equiv l\;(\operatorname{mod} 4)\qquad (1\leqq l\leqq 4), \] \[ \lambda =\bigg(n^2, \dfrac{12}{l} \bigg), \] so gilt \[ \lambda\cdot\sum_{\begin{matrix}1\leqq a<n\\ (a,n)=1\end{matrix}} \dfrac1a \equiv 0\;(\operatorname{mod} n^2). \]