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
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.)