Open Research Index

A Pépin-Type Characterization for Fermat Pseudoprimes

Paolo Starni

arXivarxiv/2604.25973Apr 28, 2026math.GMscore 0

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$.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2604.25973
curl -X POST /api/v1/records/arxiv/2604.25973/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.25973/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'