10.12.2012 Views

Prime Numbers

Prime Numbers

Prime Numbers

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

152 Chapter 3 RECOGNIZING PRIMES AND COMPOSITES<br />

we have<br />

(−1) S <br />

disc(f)<br />

= .<br />

p<br />

Assertion (1) follows, since Fi(x) is precisely the product of the degree-i<br />

irreducible factors of f(x), so its degree is a multiple of i. Assertion (2) holds<br />

for all polynomials in Fp[x]. Assertion (3) is a little trickier to see. The idea is<br />

to consider the Galois group for the polynomial f(x) overFp. The Frobenius<br />

automorphism (which sends elements of the splitting field of f(x) totheir<br />

p-th powers) of course permutes the roots of f(x) in the splitting field. It acts<br />

as a cyclic permutation of the roots of each irreducible factor, and hence the<br />

sign of the whole permutation is given by −1 to the number of even-degree<br />

irreducible factors. That is, the sign of the Frobenius automorphism is exactly<br />

(−1) S . However, it follows from basic Galois theory that the Galois group of<br />

a polynomial with distinct roots consists solely of even permutations of the<br />

roots if and only if the discriminant of the polynomial is a square. Hence<br />

the sign of the Frobenius automorphism is identical to the Legendre symbol<br />

<br />

, which then establishes the third assertion.<br />

disc(f) p<br />

The idea of Grantham is that the above assertions can actually be<br />

numerically checked and done so easily, even if we are not sure that p is prime.<br />

If one of the three assertions does not hold, then p is revealed as composite.<br />

This, then, is the core of the Frobenius test. One says that n is a Frobenius<br />

pseudoprime with respect to the polynomial f(x) ifnis composite, yet the<br />

test does not reveal this.<br />

For many more details, the reader is referred to [Grantham 1998, 2001].<br />

3.7 Counting primes<br />

The prime number theorem (Theorem 1.1.4) predicts approximately the value<br />

of π(x), the number of primes p with p ≤ x. It is interesting to compare these<br />

predictions with actual values, as we did in Section 1.1.5. The computation of<br />

π 10 21 = 21127269486018731928<br />

was certainly not performed by having a computer actually count each and<br />

every prime up to 10 21 . There are far too many of them. So how then was the<br />

task actually accomplished? We give in the next sections two different ways to<br />

approach the interesting problem of prime counting, a combinatorial method<br />

and an analytic method.<br />

3.7.1 Combinatorial method<br />

We shall study here an elegant combinatorial method due to Lagarias, Miller,<br />

and Odlyzko, with roots in the work of Meissel and Lehmer; see [Lagarias et<br />

al. 1985], [Deléglise and Rivat 1996]. The method allows the calculation of<br />

π(x) in bit complexity O x 2/3+ɛ ,usingO x 1/3+ɛ bits of space (memory).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!