Wieferich pair

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

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]

  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.