在數學裡，不可約多項式（，或稱質式，對應到自然數中的質數）是指不可被分解成兩個非常數多項式之乘積的非常數多項式。不可約的性質取決於係數所屬於的域或環。例如，多項式 x22 在係數 1 與 2 被認為是整數時是不可約的，而在這些係數被認為是實數時可分解成 xsqrt 2xsqrt 2。亦即，「多項式 x22 在整數上不可約，但在實數上不是不可約。」 不是不可約的多項式有時會被稱為可約該書沒有明確定義「可約」，但使用在許多地方。例如，「目前只提到，任一可約二次或三次多項式必定有一個線性因式。」。不過，「可約」這一詞可能被會用來指其他的概念，須小心使用。 不可約多項式於多項式分解與代數體擴張裡都會自然地出現。 將不可約多項式與質數相比會很有幫助：質數（與具相同大小之對應負數）為不可約的整數。質數具有的許多「不可約」這個概念之一般性質，同樣可適用於不可約多項式之上，如質數或不可約因式的唯一分解。 定義 設 F 為一個體，一非常數多項式在 F 上不可約，若其係數屬於 F，且無法分解成兩個係數為 F 之非常數多項式的乘積。 具整數係數（或更一般地，具唯一分解整環 R 內之係數）的多項式被稱為在 R 上不可約，若該多項式為多項式環（在唯一分解整環上的多項式環也是一唯一分解整環）內的不可約元素，亦即該多項式不可逆、非零，且無法分解成兩個係數在 R 內的不可逆多項式之乘積。另一個常用定義為，一多項式「在 R 上不可約」，若該多項式在 R 的分式環（若 R 為整數，即為一有理數體）上不可約。兩種定義擴充套件了係數於一個體內之情形所給定的定義，所以在此情形下，非常數多項式係指不可逆且非零之多項式。 簡單的例子 以下 6 個多項式給出了不可約的一些基本性質，以及其不可約多項式： p_1 xx24x4x2x2 p_2 xx24x2x2 p_3 x9x233 3x213 xsqrt 31xsqrt 31 p_4 xx2frac49left xfrac23rightleft xfrac23right p_5 xx22xsqrt 2xsqrt 2 p_6 xx21xixi 在整數環 mathbb Z 上，前三個多項式是可約的（第 3 個也是可約的，因為因式 3 在整數裡不可逆），最後兩個多項式則不可約。（第 4 個多項式則不是個在整數上的多項式。） 在有理數體 mathbb Q 上，前兩個及第四個多項式是可約的，但其他三個多項式則不可約（作為在有理數上之多項式，3 是個單位，因此無法視為一個因式。） 在實數體 mathbb R 上，前五個多項式都是可約的，但第六個多項式仍為不可約。 在複數體 mathbb C 上，所有六個多項式均是可約的。 在複數上 在複數體（或更一般地，在代數閉體）上，一單變數多項式為不可約，若且唯若該多項式的階為 1。此即複數體中的代數基本定理（或更一般地，在代數閉體中）。 可知，每個非常數單變數多項式都可被分解為 a xz_1cdots xz_n 其中 n 為該多項式的階，a 為該多項式的首項係數，且 z_1dotsz_n 為該多項式的根（根有可能會相同）。 對多元多項式而言，各階多項式在複數上都存在著不可約多項式。例如，定義了費馬曲線的多項式 xnyn1 對每個正整數 n 而言，均為不可約。 在實數上 在實數體上，不可約單變數多項式的階不是 1，就是 2。更精確地說，不可約多項式為一階多項式，以及具負判別式 b24ac。之二次多項式 ax2bxc。可知，每個非常數單變數多項式均可被分解成至少二階之多項式的乘積。例如，x4 1 在實數上分解為 x2 sqrt 2 x 1x2 sqrt 2 x 1，且無法再進一步分解下去，因為兩個因式的判別式均為負值： pm sqrt 22420。 唯一分解性質 在體 F 上的每個多項式均可被分解成一非零常數與有限多個（在 F 上的）不可約多項式之乘積。此一分解除了因式的排序不同，及可被乘上任意個 1 之外，是唯一的。 在唯一分解整環上，同樣的定理亦會成立，但可利用原始多項式的概念更精確地形式化。原始多項式是一個在唯一分解整環上的多項式，會使得 1 為其係數之最大公因數。 設 F 為唯一分解整環。在 F 上的非常數不可約多項式會是個原始多項式。在 F 上的原始多項式在 F 上不可約，若且唯若該多項式在 F 的分式環上不可約。每個在 F 上的多項式均可分解成一非零常數與有限多個非常數不可約原始多項式的乘積。該非零常數自身可分解成 F 內單位元與有限多個不可約元素的乘積。上述兩種分解除了因式的排序不同，及可被乘上任意個單位元之外，均是唯一的。 此一定理使得「在唯一分解整環上的不可約多項式」之定義，通常會假設該多須式必須為非常數多項式。 所有目前已實現用來分解在整數上與在有理數上之多項式的演演算法都會用到此一結論（見因式分解）。 在整數上 在整數 mathbb Z 上之多項式的不可約性與在體 mathbb Zpmathbb Z（mathbb F_p，其中 p 為質數）上的不可約性相關連。尤其是，若在整數上的單變數多項式 f 在某些質數 p 無法整除 f 的首項係數之 mathbb F_p 上為不可約，則 f 在整數上為不可約。艾森斯坦判別法是此一性質的變體，亦涉及在 p2 上的不可約性。 不過，反之不一定成立：在整數上不可約的隨意多階多項式均有可能在每個有限體上是可約的。其中一個簡單的例子為 x41。 在整數上與在模 p 上的不可約性之間有著比上述結論更為深切的關係：迄止為止，所有實現用於在整數上與在有理數上之分解與不可約性的演演算法，都會使用在有限體上的分解作為其子程式。 演演算法 多項式的唯一分解性質並不意味著給定一個多項式，總是可以計算出其分解。一個多項式的不可約性也不一定總是可藉由直接計算來證明：存在體， 沒有演演算法能用來判斷其中隨意多項式的不可約性。 用來分解多項式與判斷其不可約性的演演算法，於在整數上、在有理數上、在有限體上，以及在這些體之有限生成體擴張上的多項式之中，都已被找到，並已實作於電腦代數系統裡。 體擴張 不可約多項式與代數體擴張之間密切相關，如下所述。 令 x 為體 K 的擴張 L 內之一元素。該元素被稱為「代數」的，若該元素是係數屬於 K 之多項式的根。在其根包括 x 之多項式中，會有且僅會有一個最小階的首一多項式，稱之為 x 的最小多項式。L 內之代數元素 x 的最小多項式為不可約，且是以 x 為其根的唯一一個首一不可約多項式。x 的最小多項式會整除每個其根包含 x 的多項式（阿貝爾不可約定理）。 相對地，若 P Xin K X 是在體 K 上的一單變數多項式，且令 LK XP X 為多項式環 K X 除以由 P 產生之理想所形成之商環，則 L 是個體，若且唯若 P 在 K 上為不可約。在此情形下，若 x 是 X 於 L 內的值，則 x 的最小多項式為 P 除以其首項係數之商。 複數的標準定義 mathbb Cmathbb RXX21 即為一例。 若一多項式 P 在 K 上有個大於 1 階之不可約因式 Q，上述代數擴張之建構可適用於 Q，以得到一個比 P 在 K 內有更多根的擴張。重復此一建構，最終會得到能將 P 分解成線性因式的體。該體在體同態的意義下是唯一的，且稱之為 P 的分裂體。 在整環上 令 R 為一整環。R 內非零，亦非單位元之一元素 f 被稱為不可約，若不存在非單位元之元素 g 與 h，使得 f gh。可證明，每個質元素均為不可約；反之不一定成立，但在唯一分解整環內為真。在一體 F（或任一唯一分解整環）上之多項式環 F x 亦為唯一分解整環。以此類推，若 R 為唯一分解整環，可知在環 R 上具 n 個未變數的多項式環也會是唯一分解整環。 另見 高斯引理 多項式 有理數根定理，尋找一個多項式是否具有有理數係數之線性因式的方法。 艾森斯坦判別法 佩龍方法 希爾伯特不可約定理 科恩不可約準則 拓撲空間的不可約成分 有限體上多項式之分解 四次函式 分解成二次函式求解 三次函式 因式分解 不可約情形，具三個實根的不可約三次多項式 二次方程 二次因式分解 註記 參考資料 包含本條目大部分內容的經典書籍。 pp 91 pp 154 外部連結 Information on Primitive and Irreducible Polynomials The Combinatorial Object Server Category 多項式 Category 抽象代數 Category 代數