Strong-pseudoprime bases for a product of two primes with common predecessor divisor ten

ID: strong-pseudoprime-bases-for-a-product-of-two-primes-with-common-predecessor-divisor-ten

Let for distinct odd prime numbers with . Exactly unit bases make a Fermat pseudoprime, and exactly of these make it a strong pseudoprime. The Fermat bases form under the Chinese remainder theorem for unit groups. If , then and is odd, so the th-power map sends five elements of each to and five to . The strong condition requires equal signs in both components, giving .

New to topics? Read the docs here!