\textit{Sylvester's} theorem relating to Bernoullian numbers. (Q1483036)

''\textit{Sylvester} hat 1861 (C. R. 70, 162) den folgenden Satz ausgesprochen: Wenn \(p\) eine Primzahl und \(B_n\) die \(n\)-te \textit{Bernoulli}schen Zahl ist, so ist, falls \(p^i\) ein Teiler von \(n\) ist und \(p-1\) nicht ein Teiler von \(2n\), der Zähler von \(B_n\) durch \(p^i\) teilbar. Dieser Satz wurde 1899 in dem ersten der beiden Aufsätze über ``Fundamental theorems relating to Bernoullian numbers'' von \textit{Glaisher} bewiesen (Messenger 29, 47 u. 129; F. d. M. 30, 182, 1899; 31, 287, 1900). In diesen Aufsätzen beweist \textit{Glaisher} auch, daß, wenn \(p\) eine ungerade Primzahl ist und \(j=\frac12(p-1)\), dann \[ \frac{B_n}n\equiv(-1)^{tj}\frac{B_{n-tj}}{n-tj}\quad(\mod.p) \] ist, wo \(t\) eine solche ganze Zahl ist, für welche \(n-tj\) positiv und \(n\) nicht ein Vielfaches von \(j\) ist. Dieses Resultat schließt den Satz von \textit{Sylvester} als besonderen Fall ein. Nach \textit{Glaishers} erschöpfender Untersuchung könnte es wohl als überflüssig erscheinen, einen zweiten Beweis des \textit{Sylvester}schen Satzes zu geben. Da aber dieser Satz so lange unbewiesen blieb und \textit{Adams} nicht dazu gelangte, einen Beweis auch nur für den Fall {i=1} zu finden (J. f. Math. 85, 269), so dürfte die Tatsache, daß ein so elementarer Beweis wie der nachfolgende möglich ist, nicht ohne Interesse sein.''