An arithmetical property of recurring series of the second order. (Q2620115)

Verf. beschäftigt sich mit der Frage, wie man entscheiden könne, ob eine durch \[ \Omega _{n+2} = P\Omega _{n+1} - Q\Omega _n \] (\(P,Q\) ganz rational) definierte Folge \(W_n\) ganzer Zahlen Veilfache einer vorgegebenen Primzahl \(p\) enthält oder nicht, falls \(p\) ungerade ist und weder in \(Q\) noch in \(P^2 - 4Q\) aufgeht. Der Anfangswert \(W_0\) der Folge kann beliebig (ganz rational) vorgegeben sein. Man bidle zu zwei durch die Kongruenzen: \[ P' \equiv W_0 (\mod p) \] \[ (4Q - P^2)Q' \equiv W_1^2 - W_0 W_1 P + W_0^2 Q (\mod p) \] bestimmten Werten \(P', Q'\) die Gleichung \[ x^2 - P'x + Q'= (x - \alpha ')(x - \beta ') = 0 \] und zu deren Wurzeln \(\alpha ',\beta '\) die \textit{Lucas}sche Funktion \[ U'_n = \frac {{\alpha '}^n - {\beta '}^n}{\alpha ' - \beta '}. \] Die Folge \(W_n\) enthält dann und nur dann Vielfache der Primzahl \(p\), wenn die restrikte Periode von \(U'_n \mod p\) ein gerader Teiler von \(2\mathfrak {r}\) ist. Dabei bedeutet \(\mathfrak {r}\) die restrikte Periode \(\mod p\) der Funktion \[ U_n = \frac {\alpha ^n - \beta ^n}{\alpha - \beta } \] mit den Wurzeln \(\alpha, \beta \) der Gleichung \[ x^2 - Px + Q = 0. \] (Man vgl. Bulletin A. M. S. 40 (1934), 279-281; F. d. M. \(60_{\text{I}}\), 112.)