On congruences involving Bernoulli numbers and the quotients of Fermat and Wilson. (Q2595735)

Verf. stellt Beziehungen über die Reste der Bernoullischen Zahlen modulo \(p^2\) durch Potenzsummen von Zahlen in arithmetischer Progression auf. Auf diesem Wege lassen sich die Ergebnisse über die Reste der Bernoullischen Zahlen modulo \(p\), die von \textit{Glaisher} und \textit{Vandiver} aufgestellt wurden, ableiten und erweitern. Verf. benutzt dann die hergeleiteten Kongruenzen, um Sätze von \textit{Miramanoff, Lerch, Friedmann} und \textit{Tamarkin} zu verallgemeinern. Unter Benutzung des Wilsonschen Quotienten, definiert durch \[ pw_p = (p - 1) ! + 1, \] und des Fermatschen Quotienten \[ pq_1 = a^{p-1} - 1 \] werden Kongruenzen modulo \(p^2\) aufgestellt, von denen gezeigt wird, daß sie zur Berechnung der Reste von \(w_p\) modulo \(p\) geeignet sind. Einige Kriterien über die Teilbarkeit der Fermatschen Quotienten \(q_2\) und \(q_3\) durch \(p^2\) und über den ersten Fall des Fermatschen Theorems (\(x^p + y^p + z^p = 0\) für ganze \(x\), \(y\), \(z\), die zu \(p\) prim sind) werden als Summenausdrücke von reziproken Zahlen in arithmetischer Progression und als Ausdrücke bestimmter Binomialkoeffizienten abgeleitet.