Polynomials, UFD & Resultants
Polynomials over a field behave remarkably like integers: there is division with remainder, a Euclidean algorithm, and unique factorization into irreducibles. This unit builds that toolkit — it is exactly what Unit 10 needs to analyze characteristic and minimal polynomials.
- State and use the division algorithm for polynomials.
- Prove the remainder and factor theorems and "at most $n$ roots."
- Explain how irreducibility depends on the field.
- Use unique factorization and resultants to reason about common roots.
- Define the minimal polynomial and prove it divides every annihilator.
Unique factorization and resultants
The course calendar explicitly names unique factorization and resultants because they turn polynomial root questions into algebraic divisibility questions. The point is not just to factor examples; it is to know when two polynomials share information.
For a field $F$, every nonzero nonconstant polynomial in $F[x]$ factors into irreducible polynomials, and the factorization is unique up to order and multiplication by nonzero constants. This follows from the Euclidean algorithm, which gives gcds and Bezout identities.
The resultant $\operatorname{Res}(f,g)$ is a scalar built from the coefficients of $f$ and $g$ whose key property is: $\operatorname{Res}(f,g)=0$ iff $f$ and $g$ have a common root over an algebraic closure of $F$.
For $f(x)=x^2-a$ and $g(x)=x-b$, the polynomials share a root exactly when $f(b)=0$, i.e. $b^2-a=0$. Thus the resultant is zero exactly when $b^2=a$; up to a nonzero scalar convention, it is $b^2-a$.
Eigenvalue theory runs on polynomial arithmetic: eigenvalues are roots of the characteristic polynomial, and diagonalizability is governed by how the minimal polynomial factors. The algebra here is the engine under Unit 10.
Polynomial division and factorization over finite fields are the mechanics of Reed–Solomon error correction (QR codes, satellite links) and of the AES field $\mathbb{F}_{2^8}$ inside modern encryption.
The Fundamental Theorem of Algebra — every nonconstant complex polynomial has a root — resisted proof for a century before Gauss; every known proof uses analysis or topology, not algebra alone. Factoring polynomials fast is still an active algorithmic frontier.
Division with remainder
For polynomials $f,g$ over a field $F$ with $g\ne0$, there are unique $q,r$ with $$f=qg+r,\qquad r=0\ \text{ or }\ \deg r<\deg g.$$
Divide $f=x^3+2x+1$ by $g=x-1$: long division gives $x^3+2x+1=(x-1)(x^2+x+3)+4$ — quotient $x^2+x+3$, remainder $4$. And indeed $f(1)=4$, as the next theorem predicts.
Roots, factors, and the root count
Dividing $f$ by $x-a$ leaves remainder $f(a)$. Hence $a$ is a root of $f$ iff $(x-a)$ divides $f$.
A nonzero polynomial of degree $n$ over a field has at most $n$ roots.
Irreducibility depends on the field
A nonconstant polynomial is irreducible over $F$ if it cannot be written as a product of two polynomials in $F[x]$ of smaller degree. Like primes for integers, irreducibles give unique factorization in $F[x]$.
Take $f(x)=x^2+1$.
Over $\mathbb{R}$ the irreducibles are the linear polynomials and the quadratics with negative discriminant; over $\mathbb{C}$, only the linear ones. This is why real matrices can have "missing" eigenvalues that reappear over $\mathbb{C}$ (Unit 10).
The minimal polynomial
For a square matrix $A$ (or operator $T$), a polynomial $p$ annihilates $A$ if $p(A)=0$. The minimal polynomial of $A$ is the monic annihilating polynomial of least degree.
The minimal polynomial divides every annihilating polynomial — in particular (Unit 10) the characteristic polynomial.
• The division algorithm needs a field: dividing requires inverting the
leading coefficient of $g$.
• "Irreducible" is meaningless until you name the field.
• Unique factorization is up to nonzero scalar multiples; monic factors remove
that ambiguity.
• A zero resultant detects a common root over an algebraic closure, not
necessarily a root already visible in the original field.
• Degree adds under multiplication: $\deg(fg)=\deg f+\deg g$ — a fact used
silently in almost every proof here.
• "At most $n$ roots" counts roots in a field; over rings like
$\mathbb{Z}_8$ it fails.
Practice
Original problems written for this guide in the style of Friedberg, Insel & Spence exercises. Write a full solution before opening the answer.
Divide $x^3+2x+1$ by $x-1$; give the quotient and remainder.
Solution
Show $x=2$ is a root of $f=x^3-2x^2+x-2$ and factor $f$ over $\mathbb{R}$.
Solution
Prove a degree-$n$ polynomial over a field has at most $n$ roots.
Solution
Find $\gcd(x^2-1,\ x^3-1)$ over $\mathbb{Q}$.
Solution
Factor $x^2+1$ over $\mathbb{C}$ and over $\mathbb{Z}_2$.
Answer
Prove: the remainder when $f$ is divided by $x-a$ is $f(a)$.
Solution
Find the minimal polynomials of $I$, of the zero matrix, and of a projection $P\ne0,I$ with $P^2=P$.
Answer
Prove the minimal polynomial divides every polynomial that annihilates $A$.
Solution
Explain why the Euclidean algorithm in $F[x]$ implies unique factorization.
Solution
For $f(x)=x^2-2$ and $g(x)=x-b$ over $\mathbb{Q}(b)$, when should $\operatorname{Res}(f,g)$ be zero?
Answer
Expanded topic checklist
Course coverage. This unit is part of the complete MAT240H1 topic map. It should cover the following items before you move on:
- Division algorithm. Use quotient and remainder in $F[x]$ and prove uniqueness.
- Factorization. Use irreducibles, gcds, Bezout identities, and unique factorization.
- Resultants. Use resultants as a coefficient-based test for common roots.
- Minimal polynomials. Relate polynomial arithmetic to operators and matrices.
Use the current UofT MAT240H1 calendar topics as the coverage spine, and pair lecture notes with a Friedberg-Insel-Spence-style linear algebra text for extra reading. The exact assigned textbook should still be checked against the instructor syllabus.
The polynomial spine is: Euclidean division gives gcds, gcds give factorization control, and factorization controls eigenvalue and minimal-polynomial behavior.
Deep practice extensions
Use these after the main practice set. They are designed to force definition-level reasoning, theorem selection, and mixed application rather than routine calculation only.
Divide $x^3+1$ by $x+1$ over any field of characteristic not $2$.
Guide
Factor $x^2+1$ over $\mathbb{R}$ and $\mathbb{C}$.
Guide
What does $\operatorname{Res}(f,g)=0$ tell you?
Guide
Why must the minimal polynomial divide every annihilating polynomial?