On certain special arithmetical functions (Q1521707)

Die zahlentheoretische Function \(f(n)\) sei durch die vier Bedingungen charakterisirt: a) \(f(1)=1\); b) der grösste gemeinsame Teiler von \(f(m)\) und \(f(n)\) sei \(f(d)\), wenn \(d\) der grösste gemeinsame Teiler von \(m\) und \(n\) ist; c) für Primzahlen \(p\) (abgesehen von einer oder einigen bestimmten) soll eine der Zahlen \(f(p-1)\), \(f(p+1)\) durch \(p\) teilbar sein; d) der grösste gemeinsame Teiler von \(f(\rho n)/f(n)\) und \(f(n)\) soll in \(\rho\) aufgehen. Ist \(\varPhi(n)\) das kleinste gemeinschaftliche Vielfache aller Teiler von \(n\) (ausser \(n\) selbst), so ist \(F(n)=\frac{f(n)}{\varPhi(n)}\) eine ganze Zahl, welche sich in der Gestalt darstellt: \[ F(n)=\frac{f(n)f\left(\frac{n}{p_1p_2}\right) f\left(\frac{n}{p_1p_3}\right)\cdots f\left(\frac{n}{p_1p_2p_3p_4}\right) \cdots}{f\left(\frac{n}{p_1}\right) f\left(\frac{n}{p_2}\right)\cdots f\left (\frac{n}{p_1p_2p_3}\right)\cdots}\,; \] hierbei ist \(n=p_1^{\pi_1}p_2^{\pi_2} \dots p_r^{\pi_r}\) die Primfactorenzerlegung von \(n\), und die Factoren des Zählers von \(F(n)\) beziehen sich auf alle geradzahligen Combinationen (ohne Wiederholung) der \(p\), diejenigen des Nenners auf alle ungeradzahligen. Der Verf. stellt ein Theorem über die in \(F(n)\) enthaltenen Primfactoren auf. Specialfälle sind die von Zsigmondy betrachtete Function \(f(n)=\frac {a_1^n-a_2^n}{a_1-a_2}\) (\(a_1\) und \(a_2\) teilerfremde ganze Zahlen), sowie die durch die Recursionsformel \(f(n)=f(n-1)+\alpha f(n-2)\) mit positivem ganzen \(\alpha\) und den Anfangsbedingungen \(f(1)=f(2)=1\) definirte Function, welche E. Lucas für \(\alpha=1\) discutirt hat. Zum Schluss wird als Anwendung ein Beweis des Satzes gegeben, dass für eine Primzahlpotenz \(a=p^l\) die arithmetische Reihe \(-1,a-1,2a-1,3a-1,\dots\) unendlich viele Primzahlen enthält.