Linear Algebra/Factoring and Complex Numbers: A Review
This subsection is a review only and we take the main results as known. For proofs, see Template:Harv or Template:Harv.
Just as integers have a division operation— e.g., " goes times into with remainder "— so do polynomials.
In this book constant polynomials, including the zero polynomial, are said to have degree . (This is not the standard definition, but it is convienent here.)
The point of the integer division statement " goes times into with remainder " is that the remainder is less than — while goes times, it does not go times. In the same way, the point of the polynomial division statement is its final clause.
If a divisor goes into a dividend evenly, meaning that is the zero polynomial, then is a factor of . Any root of the factor (any such that ) is a root of since . The prior corollary immediately yields the following converse.
Finding the roots and factors of a high-degree polynomial can be hard. But for second-degree polynomials we have the quadratic formula: the roots of are
(if the discriminant is negative then the polynomial has no real number roots). A polynomial that cannot be factored into two lower-degree polynomials with real number coefficients is irreducible over the reals.
Note the analogy with the prime factorization of integers. In both cases, the uniqueness clause is very useful.
While has no real roots and so doesn't factor over the real numbers, if we imagine a root— traditionally denoted so that — then factors into a product of linears .
So we adjoin this root to the reals and close the new system with respect to addition, multiplication, etc. (i.e., we also add , and , and , etc., putting in all linear combinations of and ). We then get a new structure, the complex numbers, denoted .
In we can factor (obviously, at least some) quadratics that would be irreducible if we were to stick to the real numbers. Surprisingly, in we can not only factor and its close relatives, we can factor any quadratic.