高斯引理 (多項式) 在代数學中 高斯引理以高斯命名是关于整係數多项式的命題或者更一般地说是关于一个唯一分解整環的敘述 高斯的引理断言两个本原多項式的乘積仍是本原多項式本原多項式是指係數的最大公因數為的整係數多項式 高斯引理有一個推论有时也被称为高斯引理其斷定一個本原多项式在整数上是不可约的 若且唯若它在有理数上是不可约的