Wilson's Theorem/Generalization/Historical Note
Historical Note on Generalization of Wilson's Theorem
This generalization of Wilson's theorem was demonstrated, according to Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.), by Ludwig Stickelberger in $1890$.
It is supposed that this appears in Stickelberger's $1890$ article Ueber eine Verallgemeinerung der Kreistheilung (Math. Ann. Vol. 37: 321 – 367) during the course of his proof of Stickelberger's Theorem.
However, not only is the latter behind a paywall, it is also in a language the author of this page is not fluent in, and he has been disinclined to study it.
- 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.) ... (previous) ... (next): $\S 1.2.5$: Permutations and Factorials: Exercise $14$