No label defined (Q4340260)

Let \(U_0=0, U_1=1, V_0=2,\) and \(V_1=m.\) For \(n>1,\) define \(U_n=mU_{n-1}+U_{n-2}\), \(V_n=mV_{n-1}+V_{n-2}\). The parameters \(U_n\) and \(V_n\) can also be represented by the Binet forms \(U_n=(\alpha^n-\beta^n)/(\alpha-\beta), V_n=\alpha^n+ \beta^n,\) where \(\alpha+\beta=m\) and \(\alpha\beta=-1.\) If \(p\) is prime, then it follows that \(V_p \equiv m \bmod p.\) More generally, define \(n\) to be a \(V(m)\)-pseudoprime if \(n\) is odd and composite, and \(V_n \equiv m \bmod n.\) The author proves that \(n\) is a \(V(m)\)-pseudoprime if and only if \(n \equiv 1 \bmod R(p^e)\) or \(n \equiv R(p^e)/2-1 \bmod R(p^e)\) for all prime powers \(p^e\) dividing \(n,\) where \(R(p^e)\) is the period of the sequence \(V_n\) when reduced mod \(p^e.\) He uses this criterion to construct other examples of \(V(m)\)-pseudoprimes. He shows that if \(q>3\) is an odd prime and \(U_q\) is composite, then \(U_q\) is a \(V(m)\)-pseudoprime. Similarly, he proves that \(V_q/m\) is a \(V(m)\)-pseudoprime, provided that \((m,q)=1.\) He concludes by generalizing this result to the case where \(q\) is odd and composite, and uses the result to show that there are infinitely many \(V(2)\)-pseudoprimes.