Overpseudoprimes, and Mersenne and Fermat numbers as primover numbers

MaRDI QIDQ5404249zbMATHFDO

Authors Vladimir Shevelev, Gilberto García-Pulgarín, Juan Miguel Velásquez-Soto, John H. Castillo

Publication date 24 March 2014

Full work available at URL https://arxiv.org/abs/1206.0606

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Mersenne numbersWieferich primecyclotomic cosets of 2 modulo \(n\)order of 2 modulo \(n\)overpseudoprimePoulet pseudoprimesuper-Poulet pseudoprime

Mathematics Subject Classification ID

Congruences; primitive roots; residue systems (11A07) Primes (11A41) Factorization; primality (11A51)

Abstract: We introduce a new class of pseudoprimes-so called "overpseudoprimes to base $b$", which is a subclass of strong pseudoprimes to base $b$. Denoting via $|b{|}_n$ the multiplicative order of $b$ modulo $n$, we show that a composite $n$ is overpseudoprime if and only if $|b{|}_d$ is invariant for all divisors $d>1$ of $n$. In particular, we prove that all composite Mersenne numbers $2^p-1$, where $p$ is prime, are overpseudoprime to base 2 and squares of Wieferich primes are overpseudoprimes to base 2. Finally, we show that some kinds of well known numbers are overpseudoprime to a base $b$.

Recommendations

• scientific article; zbMATH DE number 2098064
• Probable prime tests for generalized Mersenne numbers
• scientific article; zbMATH DE number 1408156
• Publication:4205485
• Pseudoprime values of the Fibonacci sequence, polynomials and the Euler function

Cited in

(3)

• Prime power divisors of Mersenne numbers and Wieferich primes of higher order
• Pseudoprimes and Fermat numbers
• Chevalley groups of type \(E_7\) in the 56-dimensional representation.

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: Overpseudoprimes, and Mersenne and Fermat numbers as primover numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404249)