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.
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.
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.
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.
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).
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.
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.
Show $x=2$ is a root of $f=x^3-2x^2+x-2$ and factor $f$ over $\mathbb{R}$.
Prove a degree-$n$ polynomial over a field has at most $n$ roots.
Find $\gcd(x^2-1,\ x^3-1)$ over $\mathbb{Q}$.
Factor $x^2+1$ over $\mathbb{C}$ and over $\mathbb{Z}_2$.
Prove: the remainder when $f$ is divided by $x-a$ is $f(a)$.
Find the minimal polynomials of $I$, of the zero matrix, and of a projection $P\ne0,I$ with $P^2=P$.
Prove the minimal polynomial divides every polynomial that annihilates $A$.
Explain why the Euclidean algorithm in $F[x]$ implies unique factorization.
For $f(x)=x^2-2$ and $g(x)=x-b$ over $\mathbb{Q}(b)$, when should $\operatorname{Res}(f,g)$ be zero?
Course coverage. This unit is part of the complete MAT240H1 topic map. It should cover the following items before you move on:
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.
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$.
Factor $x^2+1$ over $\mathbb{R}$ and $\mathbb{C}$.
What does $\operatorname{Res}(f,g)=0$ tell you?
Why must the minimal polynomial divide every annihilating polynomial?