Linear-Algebra-Done-Right · Unit 11 · Video 4 · Interactive Practice

The Minimal Polynomial: Existence, Uniqueness and Computation

IKey Formulas

StatementNameHypotheses
a0+a1z+⋯+am−1zm−1+zma_0 + a_1 z + \cdots + a_{m-1}z^{m-1} + z^m (leading coefficient 11); a nonzero pp divided by its leading coefficient is monicMonic polynomialp∈P(F)p \in \mathcal{P}(\mathbf{F})
There is a unique monic pp of smallest degree with p(T)=0p(T) = 0, and deg⁡p≤dim⁡V\deg p \leq \dim VMinimal polynomialVV finite-dimensional, T∈L(V)T \in \mathcal{L}(V)
Smallest m≥1m \geq 1 with c0I+c1T+⋯+cm−1Tm−1=−Tmc_0 I + c_1 T + \cdots + c_{m-1}T^{m-1} = -T^m solvable gives p(z)=c0+c1z+⋯+cm−1zm−1+zmp(z) = c_0 + c_1 z + \cdots + c_{m-1}z^{m-1} + z^mDirect methodVV finite-dimensional, V≠{0}V \neq \{0\}, T∈L(V)T \in \mathcal{L}(V)
If c0v+c1Tv+⋯+cn−1Tn−1v=−Tnvc_0 v + c_1 Tv + \cdots + c_{n-1}T^{n-1}v = -T^n v has a unique solution, then p(z)=c0+c1z+⋯+cn−1zn−1+znp(z) = c_0 + c_1 z + \cdots + c_{n-1}z^{n-1} + z^nOne-vector methodn=dim⁡V≥1n = \dim V \geq 1, T∈L(V)T \in \mathcal{L}(V), v≠0v \neq 0

Key Insight: The word monic is what makes the minimal polynomial unique: 2p2p also sends TT to 00 with the same degree. The easy argument from dim⁡L(V)=(dim⁡V)2\dim \mathcal{L}(V) = (\dim V)^2 bounds the degree by (dim⁡V)2(\dim V)^2; the theorem cuts this to dim⁡V\dim V.

IIVisualization 1 — One Vector Recovers the Polynomial

For the video's operator on F5\mathbf{F}^5, changing vv changes every vector TkvT^k v, yet the solved coefficients never change.

IIIVisualization 2 — When One Vector Is Not Enough

The one-vector method finds pp exactly when v,Tv,T2vv, Tv, T^2v are independent; the direct method always finds it.

💡 When deg⁡p<dim⁡V\deg p < \dim V, as for II and MM, no vector can work: an independent list v,Tv,…,Tn−1vv, Tv, \dots, T^{n-1}v would force deg⁡p=n\deg p = n.

IVQuiz Questions

Problem 1 · The Cyclic Shift

Given: C∈L(F3)C \in \mathcal{L}(\mathbf{F}^3) defined by C(x1,x2,x3)=(x3,x1,x2)C(x_1, x_2, x_3) = (x_3, x_1, x_2). Use the one-vector method with v=e1=(1,0,0)v = e_1 = (1, 0, 0) to find the minimal polynomial of CC.

✅ Correct! The list e1,Ce1,C2e1=e1,e2,e3e_1, Ce_1, C^2e_1 = e_1, e_2, e_3 is linearly independent, and C3e1=e1C^3 e_1 = e_1 gives c0=−1c_0 = -1, c1=c2=0c_1 = c_2 = 0.
❌ Check the sign. The equation is c0v+c1Cv+c2C2v=−C3v=−e1c_0 v + c_1 Cv + c_2 C^2v = -C^3v = -e_1, so c0=−1c_0 = -1 and p(z)=−1+z3p(z) = -1 + z^3. Indeed C3+I=2I≠0C^3 + I = 2I \neq 0.
❌ Not quite. p(z)=z−1p(z) = z - 1 would mean C−I=0C - I = 0, i.e. C=IC = I, but Ce1=e2≠e1Ce_1 = e_2 \neq e_1. Since e1,Ce1,C2e1e_1, Ce_1, C^2e_1 are independent, the degree is exactly 33.
❌ Not quite. C2+C+IC^2 + C + I sends e1e_1 to e3+e2+e1≠0e_3 + e_2 + e_1 \neq 0. A monic polynomial of degree less than 33 cannot kill e1e_1, because e1,Ce1,C2e1e_1, Ce_1, C^2e_1 are independent.
Show solution

Apply CC repeatedly to v=e1v = e_1:

Ce1=(0,1,0)=e2,C2e1=Ce2=(0,0,1)=e3,C3e1=Ce3=(1,0,0)=e1.Ce_1 = (0, 1, 0) = e_2, \qquad C^2 e_1 = Ce_2 = (0, 0, 1) = e_3, \qquad C^3 e_1 = Ce_3 = (1, 0, 0) = e_1.

The list e1,Ce1,C2e1=e1,e2,e3e_1, Ce_1, C^2e_1 = e_1, e_2, e_3 is the standard basis, so it is linearly independent and the system

c0e1+c1e2+c2e3=−C3e1=−e1c_0 e_1 + c_1 e_2 + c_2 e_3 = -C^3 e_1 = -e_1

has the unique solution c0=−1c_0 = -1, c1=c2=0c_1 = c_2 = 0. Hence the minimal polynomial is p(z)=−1+z3=z3−1p(z) = -1 + z^3 = z^3 - 1.

Check: applying CC three times returns every coordinate to its place, so C3=IC^3 = I and C3−I=0C^3 - I = 0.

Problem 2 · A Non-Unique Solution

Given: P∈L(F3)P \in \mathcal{L}(\mathbf{F}^3) defined by P(x1,x2,x3)=(x1+x3,x2,0)P(x_1, x_2, x_3) = (x_1 + x_3, x_2, 0), which satisfies P2=PP^2 = P. A student takes v=e3v = e_3 and finds Pv=P2v=P3v=e1Pv = P^2v = P^3v = e_1. Find the minimal polynomial of PP.

✅ Correct! P2−P=0P^2 - P = 0, and no monic polynomial of degree 11 works because PP is not a scalar multiple of II.
❌ Close, but not smallest. c0=0c_0 = 0, c1=0c_1 = 0, c2=−1c_2 = -1 is one of infinitely many solutions of c0e3+(c1+c2)e1=−e1c_0 e_3 + (c_1 + c_2)e_1 = -e_1. The polynomial z3−z2z^3 - z^2 does send PP to 00, since P3−P2=P−P=0P^3 - P^2 = P - P = 0, but a non-unique solution says nothing about the smallest degree, and P2−P=0P^2 - P = 0 already has degree 22.
❌ Not quite. P−I=0P - I = 0 would mean P=IP = I, but Pe3=e1≠e3Pe_3 = e_1 \neq e_3.
❌ Close, but not smallest. c0=0c_0 = 0, c1=−1c_1 = -1, c2=0c_2 = 0 also solves the student's system, and P3−P=P−P=0P^3 - P = P - P = 0 holds. Because the solution is not unique, the one-vector method does not apply; P2−P=0P^2 - P = 0 has smaller degree.
Show solution

The student's system is c0e3+c1e1+c2e1=−e1c_0 e_3 + c_1 e_1 + c_2 e_1 = -e_1, i.e. c0=0c_0 = 0 and c1+c2=−1c_1 + c_2 = -1: infinitely many solutions, because v,Pv,P2v=e3,e1,e1v, Pv, P^2v = e_3, e_1, e_1 is linearly dependent. So the one-vector method does not apply to this vv; use the direct method.

m=1m = 1: c0I=−Pc_0 I = -P would make PP a scalar multiple of II. But Pe3=e1Pe_3 = e_1 is not a multiple of e3e_3. No solution.

m=2m = 2: c0I+c1P=−P2=−Pc_0 I + c_1 P = -P^2 = -P is solved by c0=0c_0 = 0, c1=−1c_1 = -1. Since m=1m = 1 failed, this solution is the only one.

So the minimal polynomial is p(z)=0−z+z2=z2−zp(z) = 0 - z + z^2 = z^2 - z, of degree 2<3=dim⁡F32 < 3 = \dim \mathbf{F}^3. Both cubic options also send PP to 00, but they are not of smallest degree.

Problem 3 · The Direct Method Stops Early

Given: A∈L(F3)A \in \mathcal{L}(\mathbf{F}^3) with matrix M(A)=(110010001)\mathcal{M}(A) = \begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} with respect to the standard basis. Find the smallest mm for which c0I+⋯+cm−1Am−1=−Amc_0 I + \cdots + c_{m-1}A^{m-1} = -A^m is solvable, and the minimal polynomial of AA.

What is the smallest m?

What is the minimal polynomial?

✅ Correct! A2−2A+I=0A^2 - 2A + I = 0, and m=1m = 1 fails because AA is not a scalar multiple of II.
❌ Not quite. dim⁡V=3\dim V = 3 is only an upper bound for the degree. Test m=2m = 2 first: it already has a solution.
❌ Not quite. m=1m = 1 needs c0I=−Ac_0 I = -A, so AA would be a scalar multiple of II; the entry 11 in row 1, column 2 of M(A)\mathcal{M}(A) rules this out.
❌ Not quite. 9=(dim⁡V)29 = (\dim V)^2 is the easy bound from dim⁡L(F3)=9\dim \mathcal{L}(\mathbf{F}^3) = 9. The theorem guarantees a solution for some m≤3m \leq 3, and here m=2m = 2 works.
❌ Not quite. A2−IA^2 - I has entry 22 in row 1, column 2, so it is not the zero operator.
❌ Close, but not smallest. This polynomial is (z−1)(z2−2z+1)(z - 1)(z^2 - 2z + 1), so it does send AA to 00, but its degree 33 is not the smallest.
❌ Check the signs. The system gives c0=1c_0 = 1, c1=−2c_1 = -2, so p(z)=1−2z+z2p(z) = 1 - 2z + z^2. With the signs flipped, A2+2A+IA^2 + 2A + I has diagonal entries 44.
Show solution

First compute M(A2)=(120010001)\mathcal{M}(A^2) = \begin{pmatrix} 1 & 2 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}.

m=1m = 1: c0I=−Ac_0 I = -A compares row 1, column 2: 0=−10 = -1. No solution.

m=2m = 2: c0I+c1A=−A2c_0 I + c_1 A = -A^2. Comparing entries:

row 1, column 2: c1=−2,diagonal: c0+c1=−1  ⇒  c0=1,\text{row 1, column 2: } c_1 = -2, \qquad \text{diagonal: } c_0 + c_1 = -1 \;\Rightarrow\; c_0 = 1,

and every other entry is 0=00 = 0. So the smallest mm is 22, and the minimal polynomial is

p(z)=1−2z+z2=z2−2z+1.p(z) = 1 - 2z + z^2 = z^2 - 2z + 1.

Check: A2−2A+I=(1−2+12−2001−2+10001−2+1)=0A^2 - 2A + I = \begin{pmatrix} 1 - 2 + 1 & 2 - 2 & 0 \\ 0 & 1 - 2 + 1 & 0 \\ 0 & 0 & 1 - 2 + 1 \end{pmatrix} = 0. Because deg⁡p=2<3\deg p = 2 < 3, the one-vector method fails for every nonzero vv here.

Problem 4 · A Shifted Cyclic Operator

Given: S∈L(F3)S \in \mathcal{L}(\mathbf{F}^3) defined by S(x1,x2,x3)=(x1+x3,x1+x2,x2+x3)S(x_1, x_2, x_3) = (x_1 + x_3, x_1 + x_2, x_2 + x_3), that is, S=C+IS = C + I for the cyclic shift CC of Problem 1. Find the minimal polynomial of SS.

✅ Correct! The list e1,Se1,S2e1e_1, Se_1, S^2e_1 is linearly independent, and c0=−2c_0 = -2, c1=3c_1 = 3, c2=−3c_2 = -3. As a check, (S−I)3=C3=I(S - I)^3 = C^3 = I.
❌ Not quite. That is the minimal polynomial of CC, not of SS. Applied to e1e_1: S3e1−e1=(2,3,3)−(1,0,0)≠0S^3 e_1 - e_1 = (2, 3, 3) - (1, 0, 0) \neq 0.
❌ Close, but… This is (z−1)3(z - 1)^3, and (S−I)3=C3=I(S - I)^3 = C^3 = I, not 00. Subtract one more II.
❌ Not quite. This is (z+1)3−1(z + 1)^3 - 1, which substitutes C=S+IC = S + I instead of C=S−IC = S - I. Applied to e1e_1 it gives (2,3,3)+(3,6,3)+(3,3,0)=(8,12,6)≠0(2,3,3) + (3,6,3) + (3,3,0) = (8, 12, 6) \neq 0.
Show solution

Take v=e1v = e_1 and apply SS repeatedly:

Se1=(1,1,0),S2e1=S(1,1,0)=(1,2,1),S3e1=S(1,2,1)=(2,3,3).Se_1 = (1, 1, 0), \qquad S^2 e_1 = S(1, 1, 0) = (1, 2, 1), \qquad S^3 e_1 = S(1, 2, 1) = (2, 3, 3).

The vectors (1,0,0)(1, 0, 0), (1,1,0)(1, 1, 0), (1,2,1)(1, 2, 1) are linearly independent (their last nonzero coordinates sit in different positions). Solve c0e1+c1Se1+c2S2e1=−S3e1c_0 e_1 + c_1 Se_1 + c_2 S^2 e_1 = -S^3 e_1:

third coordinate: c2=−3,second coordinate: c1+2c2=−3  ⇒  c1=3,first coordinate: c0+c1+c2=−2  ⇒  c0=−2.\begin{aligned} \text{third coordinate: } & c_2 = -3, \\ \text{second coordinate: } & c_1 + 2c_2 = -3 \;\Rightarrow\; c_1 = 3, \\ \text{first coordinate: } & c_0 + c_1 + c_2 = -2 \;\Rightarrow\; c_0 = -2. \end{aligned}

The solution is unique, so the minimal polynomial is p(z)=−2+3z−3z2+z3=z3−3z2+3z−2p(z) = -2 + 3z - 3z^2 + z^3 = z^3 - 3z^2 + 3z - 2.

Check: C=S−IC = S - I and C3=IC^3 = I, so (S−I)3−I=S3−3S2+3S−2I=0(S - I)^3 - I = S^3 - 3S^2 + 3S - 2I = 0.

Solved: 0 / 4