Wieferich pair

Last updated

In mathematics, a Wieferich pair is a pair of prime numbers p and q that satisfy

Contents

pq 1 ≡ 1 (mod q2) and qp 1 ≡ 1 (mod p2)

Wieferich pairs are named after German mathematician Arthur Wieferich. Wieferich pairs play an important role in Preda Mihăilescu's 2002 proof [1] of Mihăilescu's theorem (formerly known as Catalan's conjecture). [2]

Known Wieferich pairs

There are only 7 Wieferich pairs known: [3] [4]

(2, 1093), (3, 1006003), (5, 1645333507), (5, 188748146801), (83, 4871), (911, 318917), and (2903, 18787). (sequence OEIS:  A124121 and OEIS:  A124122 in OEIS)

Wieferich triple

A Wieferich triple is a triple of prime numbers p, q and r that satisfy

pq 1 ≡ 1 (mod q2), qr 1 ≡ 1 (mod r2), and rp 1 ≡ 1 (mod p2).

There are 17 known Wieferich triples:

(2, 1093, 5), (2, 3511, 73), (3, 11, 71), (3, 1006003, 3188089), (5, 20771, 18043), (5, 20771, 950507), (5, 53471161, 193), (5, 6692367337, 1601), (5, 6692367337, 1699), (5, 188748146801, 8807), (13, 863, 23), (17, 478225523351, 2311), (41, 138200401, 2953), (83, 13691, 821), (199, 1843757, 2251), (431, 2393, 54787), and (1657, 2281, 1667). (sequences OEIS:  A253683 , OEIS:  A253684 and OEIS:  A253685 in OEIS)

Barker sequence

Barker sequence or Wieferich n-tuple is a generalization of Wieferich pair and Wieferich triple. It is primes (p1, p2, p3, ..., pn) such that

p1p2 1 ≡ 1 (mod p22), p2p3 1 ≡ 1 (mod p32), p3p4 1 ≡ 1 (mod p42), ..., pn−1pn 1 ≡ 1 (mod pn2), pnp1 1 ≡ 1 (mod p12). [5]

For example, (3, 11, 71, 331, 359) is a Barker sequence, or a Wieferich 5-tuple; (5, 188748146801, 453029, 53, 97, 76704103313, 4794006457, 12197, 3049, 41) is a Barker sequence, or a Wieferich 10-tuple.

For the smallest Wieferich n-tuple, see OEIS:  A271100 , for the ordered set of all Wieferich tuples, see OEIS:  A317721 .

Wieferich sequence

Wieferich sequence is a special type of Barker sequence. Every integer k>1 has its own Wieferich sequence. To make a Wieferich sequence of an integer k>1, start with a(1)=k, a(n) = the smallest prime p such that a(n-1)p-1 = 1 (mod p) but a(n-1) ≠ 1 or -1 (mod p). It is a conjecture that every integer k>1 has a periodic Wieferich sequence. For example, the Wieferich sequence of 2:

2, 1093, 5, 20771, 18043, 5, 20771, 18043, 5, ..., it gets a cycle: {5, 20771, 18043}. (a Wieferich triple)

The Wieferich sequence of 83:

83, 4871, 83, 4871, 83, 4871, 83, ..., it gets a cycle: {83, 4871}. (a Wieferich pair)

The Wieferich sequence of 59: (this sequence needs more terms to be periodic)

59, 2777, 133287067, 13, 863, 7, 5, 20771, 18043, 5, ... it also gets 5.

However, there are many values of a(1) with unknown status. For example, the Wieferich sequence of 3:

3, 11, 71, 47, ? (There are no known Wieferich primes in base 47).

The Wieferich sequence of 14:

14, 29, ? (There are no known Wieferich primes in base 29 except 2, but 22 = 4 divides 29 - 1 = 28)

The Wieferich sequence of 39:

39, 8039, 617, 101, 1050139, 29, ? (It also gets 29)

It is unknown that values for k exist such that the Wieferich sequence of k does not become periodic. Eventually, it is unknown that values for k exist such that the Wieferich sequence of k is finite.

When a(n - 1)=k, a(n) will be (start with k = 2): 1093, 11, 1093, 20771, 66161, 5, 1093, 11, 487, 71, 2693, 863, 29, 29131, 1093, 46021, 5, 7, 281, ?, 13, 13, 25633, 20771, 71, 11, 19, ?, 7, 7, 5, 233, 46145917691, 1613, 66161, 77867, 17, 8039, 11, 29, 23, 5, 229, 1283, 829, ?, 257, 491531, ?, ... (For k = 21, 29, 47, 50, even the next value is unknown)

See also

Related Research Articles

In number theory, a Carmichael number is a composite number which satisfies the modular arithmetic congruence relation:

In mathematics, a Mersenne prime is a prime number that is one less than a power of two. That is, it is a prime number of the form Mn = 2n − 1 for some integer n. They are named after Marin Mersenne, a French Minim friar, who studied them in the early 17th century. If n is a composite number then so is 2n − 1. Therefore, an equivalent definition of the Mersenne primes is that they are the prime numbers of the form Mp = 2p − 1 for some prime p.

A twin prime is a prime number that is either 2 less or 2 more than another prime number—for example, either member of the twin prime pair. In other words, a twin prime is a prime that has a prime gap of two. Sometimes the term twin prime is used for a pair of twin primes; an alternative name for this is prime twin or prime pair.

Catalan's conjecture (or Mihăilescu's theorem) is a theorem in number theory that was conjectured by the mathematician Eugène Charles Catalan in 1844 and proven in 2002 by Preda Mihăilescu. The integers 23 and 32 are two powers of natural numbers whose values (8 and 9, respectively) are consecutive. The theorem states that this is the only case of two consecutive powers. That is to say, that

In number theory, a prime number p is a Sophie Germain prime if 2p + 1 is also prime. The number 2p + 1 associated with a Sophie Germain prime is called a safe prime. For example, 11 is a Sophie Germain prime and 2 × 11 + 1 = 23 is its associated safe prime. Sophie Germain primes are named after French mathematician Sophie Germain, who used them in her investigations of Fermat's Last Theorem. Sophie Germain primes and safe primes have applications in public key cryptography and primality testing. It has been conjectured that there are infinitely many Sophie Germain primes, but this remains unproven.

Weird number

In number theory, a weird number is a natural number that is abundant but not semiperfect.

In number theory, a Wieferich prime is a prime number p such that p2 divides 2p − 1 − 1, therefore connecting these primes with Fermat's little theorem, which states that every odd prime p divides 2p − 1 − 1. Wieferich primes were first described by Arthur Wieferich in 1909 in works pertaining to Fermat's Last Theorem, at which time both of Fermat's theorems were already well known to mathematicians.

A Wilson prime, named after English mathematician John Wilson, is a prime number p such that p2 divides (p − 1)! + 1, where "!" denotes the factorial function; compare this with Wilson's theorem, which states that every prime p divides (p − 1)! + 1.

In number theory, a Wall–Sun–Sun prime or Fibonacci–Wieferich prime is a certain kind of prime number which is conjectured to exist, although none are known.

In recreational number theory, a unique prime or unique period prime is a certain kind of prime number. A prime p ≠ 2, 5 is called unique if there is no other prime q such that the period length of the decimal expansion of its reciprocal, 1 / p, is equal to the period length of the reciprocal of q, 1 / q. For example, 3 is the only prime with period 1, 11 is the only prime with period 2, 37 is the only prime with period 3, 101 is the only prime with period 4, so they are unique primes. In contrast, 41 and 271 both have period 5; 7 and 13 both have period 6; 239 and 4649 both have period 7; 73 and 137 both have period 8; 21649 and 513239 both have period 11; 53, 79 and 265371653 all have period 13; 31 and 2906161 both have period 15; 17 and 5882353 both have period 16; 2071723 and 5363222357 both have period 17; 19 and 52579 both have period 18; 3541 and 27961 both have period 20. Therefore, none of these is a unique prime. Unique primes were first described by Samuel Yates in 1980.

A prime quadruplet is a set of four primes of the form {p, p+2, p+6, p+8}. This represents the closest possible grouping of four primes larger than 3, and is the only prime constellation of length 4.

Ramanujan tau function

The Ramanujan tau function, studied by Ramanujan (1916), is the function τ : ℕ → ℤ defined by the following identity:

A Fibonacci prime is a Fibonacci number that is prime, a type of integer sequence prime.

In number theory, friendly numbers are two or more natural numbers with a common abundancy index, the ratio between the sum of divisors of a number and the number itself. Two numbers with the same "abundancy" form a friendly pair; n numbers with the same "abundancy" form a friendly n-tuple.

Prime gap Difference between two successive prime numbers

A prime gap is the difference between two successive prime numbers. The n-th prime gap, denoted gn or g(pn) is the difference between the (n + 1)-th and the n-th prime numbers, i.e.

In mathematics, a prime triplet is a set of three prime numbers in which the smallest and largest of the three differ by 6. In particular, the sets must have the form or. With the exceptions of and, this is the closest possible grouping of three prime numbers, since one of every three sequential odd numbers is a multiple of three, and hence not prime.

In number theory, a prime k-tuple is a finite collection of values representing a repeatable pattern of differences between prime numbers. For a k-tuple, the positions where the k-tuple matches a pattern in the prime numbers are given by the set of integers n such that all of the values are prime. Typically the first value in the k-tuple is 0 and the rest are distinct positive even numbers.

In number theory, the Fermat quotient of an integer a with respect to an odd prime p is defined as:

In mathematics, a Catalan pseudoprime is an odd composite number n satisfying the congruence

References

  1. Preda Mihăilescu (2004). "Primary Cyclotomic Units and a Proof of Catalan's Conjecture". J. Reine Angew. Math. 2004 (572): 167–195. doi:10.1515/crll.2004.048. MR   2076124.
  2. Jeanine Daems A Cyclotomic Proof of Catalan's Conjecture.
  3. Weisstein, Eric W. "Double Wieferich Prime Pair". MathWorld .
  4. OEIS:  A124121 , For example, currently there are two known double Wieferich prime pairs (p, q) with q = 5: (1645333507, 5) and (188748146801, 5).
  5. List of all known Barker sequence

Further reading