The minimal polynomial is the unique monic polynomial of least positive degree such that . The Cayley-Hamilton theorem says that satisfies its characteristic polynomial, so such polynomials exist. Dividing any two monic candidates of least degree shows uniqueness.
Solved by gpt-5.6-sol high.
Codex Wiki