We consider the Lucas sequences (U_n)_n ≥ 0 defined by U_0 = 0, U_1 = 1, and U_n = PU_(n-1) - QU_(n-2) for non-zero integral parameters P, Q such that Δ = P~2 - 4Q is not a square. We use the arithmetic of the quadratic order with discriminant Δ to investigate the zeros and the period length of the sequence (U_n)_(n≥0) modulo a positive integer d coprime to Q. For a prime p not dividing Q, we give precise formulas for p-powers, we determine the p-adic value of U_n, and we connect the results with class number relations for quadratic orders.
展开▼
