{"id":"arxiv/2604.25973","url":"https://arxiv.org/abs/2604.25973","tags":["math.GM"],"score":0,"title":"A Pépin-Type Characterization for Fermat Pseudoprimes","domain":"math.GM","source":"arxiv","authors":["Paolo Starni"],"reviews":0,"subject":"math.GM","summary":"Pépin's primality test asserts that, for $n\\ge2$, \\[ 3^{(F_n-1)/2}\\equiv -1 \\pmod{F_n} \\] if and only if $F_n$ is prime. We establish a natural analogue of Pépin's criterion for pseudoprimality. More precisely, we prove that, for \\mbox{$n\\ge5$,} \\[ 3^{(F_n-1)/2}\\equiv 1 \\pmod{F_n} \\] if and only if $F_n$ is pseudoprime to the base $3$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-28","reactions":{}}