高斯引理_(多項式)

在代數學中 ， 高斯引理以高斯命名 ， 是關於整係數多項式的命題 ， 或者更一般地說 ， 是關於一個唯一分解整環的敘述 。 高斯的引理斷言兩個本原多項式的乘積仍是本原多項式 （ 本原多項式是指 ： 係數的最大公因數爲1的整係數多項式 ） 。 高斯引理有一個推論 ， 有時也被稱爲高斯引理 。 其斷定一個本原多項式在整數上是不可約的 ， 若且唯若它在有理數上是不可約的 。