07.01.2013 Views

Dietzfelbinger M. Primality testing in polynomial time ... - tiera.ru

Dietzfelbinger M. Primality testing in polynomial time ... - tiera.ru

Dietzfelbinger M. Primality testing in polynomial time ... - tiera.ru

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

96 7. More Algebra: Polynomials and Fields<br />

In this book, as is standard <strong>in</strong> algebra, <strong>polynomial</strong>s over a r<strong>in</strong>g R will<br />

be used <strong>in</strong> a somewhat more abstract way. In particular, the “variable” X<br />

(as is quite common <strong>in</strong> this context, we use an uppercase letter to denote<br />

the variable) used <strong>in</strong> writ<strong>in</strong>g the <strong>polynomial</strong>s is not immediately meant to be<br />

replaced by some element of R. Rather, us<strong>in</strong>g this variable, a <strong>polynomial</strong> is<br />

declared to be just a “formal expression”<br />

adX d + ···+ a2X 2 + a1X + a0,<br />

where the “coefficients” ad,...,a2,a1,a0 are taken from R. The result<strong>in</strong>g expressions<br />

are then treated as objects <strong>in</strong> their own right. They are given an<br />

arithmetic st<strong>ru</strong>cture by mimick<strong>in</strong>g the <strong>ru</strong>les for manipulat<strong>in</strong>g real <strong>polynomial</strong>s:<br />

<strong>polynomial</strong>s f and g are added by add<strong>in</strong>g the coefficients of identical<br />

powers of X <strong>in</strong> f and g, andf and g are multiplied by multiply<strong>in</strong>g every term<br />

aiX i by every term bjX j , transform<strong>in</strong>g (aiX i )·(bjX j )<strong>in</strong>to(ai ·bj)X i+j ,and<br />

add<strong>in</strong>g up the coefficients associated with the same power of X. (Thecoefficients<br />

a0 and a1 are treated as if they were associated with X 0 and X 1 ,<br />

respectively.)<br />

Example 7.1.1. Start<strong>in</strong>g from the r<strong>in</strong>g Z12, with+12 and ·12 denot<strong>in</strong>g addition<br />

and multiplication modulo 12, consider the two <strong>polynomial</strong>s f =<br />

3X 4 +5X 2 + X and g =8X 2 + X + 3. (We follow the standard convention<br />

that coefficients that are 1 and terms 0X i are omitted.) Then<br />

and<br />

f + g =3X 4 +(5+12 8)X 2 +(1+12 1)X +(0+12 3) = 3X 4 + X 2 +2X +3<br />

f · g =3X 5 + X 4 + X 3 +4X 2 +3X,<br />

s<strong>in</strong>ce 3 ·12 8=0,3·12 1+0· 0=3,3·12 3+12 0 ·12 1+12 5 ·12 8 = 1, and so on.<br />

Writ<strong>in</strong>g <strong>polynomial</strong>s as formal sums of terms aiX i has the advantage of<br />

deliver<strong>in</strong>g a picture close to our <strong>in</strong>tuition from real <strong>polynomial</strong>s, but it has<br />

notational disadvantages, e.g., we might ask ourselves if there is a difference<br />

between 3X 3 +0X 2 +2X, 0X 4 +3X 3 +0X 2 +2X +0, and 2X +3X 3 ,<br />

or if these seem<strong>in</strong>gly different formal expressions should just be regarded as<br />

different names for the same “object”. Also, the question may be asked what<br />

k<strong>in</strong>d of object X is and if the “+”-signs have any “mean<strong>in</strong>g”. The follow<strong>in</strong>g<br />

(standard) formal def<strong>in</strong>ition solves all these questions <strong>in</strong> an elegant way, by<br />

omitt<strong>in</strong>g the X’s and +’s <strong>in</strong> the def<strong>in</strong>ition of <strong>polynomial</strong>s altogether.<br />

We note that the only essential <strong>in</strong>formation needed to do calculations<br />

with a real <strong>polynomial</strong> is the sequence of its coefficients. Consequently, we<br />

represent a <strong>polynomial</strong> over a r<strong>in</strong>g R by a formally <strong>in</strong>f<strong>in</strong>ite coefficient sequence<br />

(a0,a1,a2,...), <strong>in</strong> which only f<strong>in</strong>itely many nonzero entries appear. (Note the<br />

reversal of the order <strong>in</strong> the notation.)

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

Saved successfully!

Ooh no, something went wrong!