Carmichael number is not semiprime

From Number
Revision as of 21:14, 15 January 2012 by Vipul (talk | contribs) (Created page with "==Statement== Suppose <math>n</math> is a composite natural number that is a Carmichael number, i.e., it is a Fermat pseudoprime to every base relatively prime to...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose n is a composite natural number that is a Carmichael number, i.e., it is a Fermat pseudoprime to every base relatively prime to it. Equivalently, the universal exponent λ(n) divides n1.

Then, n is not a semiprime.

Facts used

  1. Carmichael number is square-free

Proof

We prove the contrapositive: a semiprime cannot be a Carmichael number.

By Fact (1), it suffices to restrict attention to a Carmichael number of the form pq where p,q are distinct primes.

We have:

λ(n)=lcm{p1,q1}

In particular, for λ(n) to divide n1, we must have:

p1n1 and q1n1

The first condition tells us that:

n1(modp1)

Since we already have p1(modp1), and since n=pq, this gives q1(modp1). In particular, this gives qp.

Similarly, the second condition tells us that p1(modq1). In particular, this gives pq.

Combining, we get p=q, contradicting our requirement that n be a product of distinct primes.