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