19.07.2014 Views

Contents - Student subdomain for University of Bath

Contents - Student subdomain for University of Bath

Contents - Student subdomain for University of Bath

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapter 5<br />

p-adic Methods<br />

In this chapter, we wish to consider a different problem, that <strong>of</strong> factoring polynomials.<br />

We will see that this cannot be solved by the methods <strong>of</strong> the previous<br />

chapter, and we need a new technique <strong>for</strong> solving problems in (large) domains<br />

via small ones. The basic idea behind these algorithms is shown in Figure 5.1:<br />

instead <strong>of</strong> doing a calculation in some (large) domain R, we do it in several<br />

smaller domains R i , pick one <strong>of</strong> these (say R l ) as the best one, grow the solution<br />

to some larger domain ̂R l , regard this as being in R and check that it is<br />

indeed the right result.<br />

5.1 Introduction to the factorization problem<br />

For simplicity, we will begin with the case <strong>of</strong> factoring a univariate polynomial<br />

over Z. More precisely, we consider the following.<br />

Problem 5 Given f ∈ Z[x], compute polynomials f i ∈ Z[x] (1 ≤ i ≤ k) such<br />

that:<br />

1. f = ∏ k<br />

i=1 f i;<br />

Figure 5.1: Diagrammatic illustration <strong>of</strong> Hensel Algorithms<br />

R<br />

k×reduce ↓<br />

R 1<br />

.<br />

R k<br />

calculation<br />

- - - - - - - - - - - - - - - - - - - - - - - - - - - -> R<br />

calculation<br />

−→ R 1<br />

⎫⎪ ⎬<br />

choose<br />

. .<br />

calculation ⎪<br />

−→ R ⎭<br />

k<br />

grow<br />

−→ R l −→<br />

↑ interpret<br />

& check<br />

̂R l<br />

149

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

Saved successfully!

Ooh no, something went wrong!