在抽象代数中，一个域上的代数元α之极小多项式（或最小多项式）是满足P(α)=0的最低次首一多项式(多项式内最高次项之系数为1) P。此概念对线性代数与代数扩张的研究极有助益。