Skip to main content

Full text of "History Of The Theory Of Numbers - I"

90                           HlSTOEY OP THE  THEORY OF NUMBERS.                 [CHAP. Ill
J. Steiner200 proved that, if Ak is the sum of all products of powers of ab a2,. . ., ap_fc of degree kt and the a's have incongruent residues 5^0 modulo p, a prime, then Aif . . ., Ap-.2 are divisible by p.
He first showed by induction that
A2=al2+a1a2+ . . . For example, to obtain a;3 he multiplied the respective terms of
by xt (#03)4-03, (xa2)+a2, (xa^+ai. Let %,..,, ap_i have the residues 1,. . ., p1 in some order, modulo p. For 2 a2 divisible by p, x?~1=^p_1=af~1 (mod p), so that Ap,2Xi and hence also Ap_2 is divisible by p. Then for z=a3, J.P_3X2 and Ap_z are divisible by p. For #=0, &! = !, the initial equation yields Wilson's theorem.
C. G. J. Jacobi201 proved the generalization: If aiy . . ., an have distinct residues 5^0, modulo p, a prime, and Pnm is the sum of their multiplicative combinations with repetitions m at a time, Pnm is divisible by p for m = p  n, p-n4-l,...,p-2.
Note that Steiner^s ^ is Pp-ktk-   We have
i                     i     p        P                                        
-1        -^nl         rni                                         _            -irv
.(%-),          0= Sa?/Z
Let   7i+m~l=A;+/3(p-l).      Then   aj+*-1=a/t   (mod  p).     Hence  if A;<n-l,
DL . .DJP^D,. . .DnSa?/A-,          P^0 (mod p).
The theorem follows by taking /3 = 1 and fc~ 0, 1, . . . , n  2 in turn.
H. F. Scherk202 gave two generalizations of Wilson's theorem.    Let p be a prime.   By use of Wilson's theorem it is easily proved that
where x is an integer such that px=l (mod n!). Next, let Ckr denote the sum of the products of 1, 2, . . . , k taken r at a time with repetitions. By use of partial fractions it is proved that
(p-r-1) !(_,_! -H-l)r==0 (mod?)          (r<p-l).
It is stated that
wjour. fur Math., 13, 1834, 356; Werke 2, p. 9. "I/bid., 14, 1835, 64-5; Werke 6, 252-3.
202Bericht uber die 24. Versammlung   Deutscher  Naturforscher und Aerzte in 1846,  Kiel, 1847, 204-208.