ABSTRACT ALGEBRAIC STRUCTURES OPERATIONS AND ...
ABSTRACT ALGEBRAIC STRUCTURES OPERATIONS AND ...
ABSTRACT ALGEBRAIC STRUCTURES OPERATIONS AND ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Example 57: Polynomials with real coefficients (see nr 120)<br />
The set of real functions on R is a ring.<br />
The set of polynomials is a subring and so a ring. This ring is usually denoted<br />
by R[X]. In the sequel we shall denote it P.<br />
In P we have a lot of results which are analogous to results valid in the ring of<br />
integers when we replace the order of the integers by the order of polynomials<br />
according to degree: one polynomial is considered to be less than another one<br />
if its degree is less :<br />
You can carry out division with remainder. A well known algorithm learns you<br />
how to. The resulting remainder will be less than the divisor. And so you can<br />
use a Euclidean algorithm to find a greatest common divisor. And you can<br />
define an extended algorithm: to any two given polynomials a and b you can<br />
express their greatest common divisor c in the form xa + yb, where x and y are<br />
polynomials.<br />
Let p be a polynomial. Put I = pP, then I is an ideal consisting of all multiples<br />
of p. Therefore P/I is a ring, the ring of remainder classes modulo p.<br />
Lets see how multiplication works:<br />
[a + bx][c + dx] = [(a + bx)(c + dx)] = [ac + (bc + ad)x + bdx 2 ] = [ac − bd + (bc + ad)x +<br />
[ac − bd + (ad − bc]x] + [bd(1 + x 2 )] = [ac − bd + (ad − bc]x]<br />
From which we see that the mapping (a+ib) → [a+bx] is a homomorphism from<br />
the complex numbers with multiplication. It is actually a field isomorphism.<br />
If q divides p then I = pP must be a subideal of J = qP. If moreover p not<br />
divides q then the subideal is a proper subideal.<br />
The polynomial p is said to be irreducible if it can not be factored into two<br />
polynomials, unless one of the factors is a constant. This is the polynomial<br />
analogue of a prime number.<br />
If p is irreducible then I is a maximal ideal (show it !) and the quotient ring<br />
consequently a field.<br />
The polynomial p(x) = 1 + x 2 is irreducible and the associated field is isomorphic<br />
with the field of complex numbers.<br />
80