高斯引理 (多項式)

關於數論的「高斯引理」，請見「高斯引理」。

在代數學中 ，高斯引理以高斯命名，是關於整系數多項式的命題，或者更一般地說，是關於一個唯一分解整環的敘述。

高斯的引理斷言兩個本原多項式的乘積仍是本原多項式（本原多項式是指：系數的最大公因數為1的整系數多項式）。

高斯引理有一個推論，有時也被稱為高斯引理。其斷定一個本原多項式在整數上是不可約的 ，若且唯若它在有理數上是不可約的。

整系數多項式版本

當一個整系數多項式 $f(x)=a_{n}x^{n}+\dots +a_{1}x+a_{0}$的系數的最大公因數是1，我們稱其為本原多項式。那麼有以下高斯引理：

高斯引理 (本原版本). 兩個本原多項式的乘積仍是本原多項式。

證明：

以下以反證法證明。

設整系數多項式$f(x)=a_{0}+a_{1}x+\cdots +a_{s}x^{s},g(x)=b_{0}+b_{1}x+\cdots +b_{t}x^{t}$都是本原的，並反設$h(x):=f(x)g(x)$不是本原多項式。

於是$h(x)$是非本原的整系數多項式，因此可選整除$h(x)$所有系數的質數$p$。

但$f(x),g(x)$皆是本原的，從而可分別選定$i\in \{0,\dots ,s\},j\in \{0,\dots ,t\}$為滿足$p\nmid a_{i},p\nmid b_{j}$的最小整數。現在我們知道$h(x)$的$i+j$項系數是

$\sum _{k=0}^{i+j}a_{k}b_{i+j-k}\equiv a_{i}b_{j}\not \equiv 0{\pmod {p}}.$

根據假設，該項系數應該被$p$整除，矛盾，故得證。

高斯引理 (不可約版本). 如果一非常數整系數多項式在有理系數多項式環$\mathbb {Q} [x]$內可約，則他在整系數多項式環$\mathbb {Z} [x]$內也可約。

證明：

設$h(x)$是一在$\mathbb {Q} [x]$內可約的非常數整系數多項式。於是可取兩個非常數的有理系數多項式$f_{1}(x),g_{1}(x)$使得$h(x)=f_{1}(x)g_{1}(x)$。

透過適當選取整數$a,b,c,d$，可以假設$\textstyle f_{2}(x):={\frac {a}{c}}f_{1}(x),g_{2}(x):={\frac {b}{d}}g_{1}(x)$皆是本原多項式（當然也就是整系數多項式）。

由上一個引理，$f_{2}(x)g_{2}(x)=\textstyle {\frac {ab}{cd}}h(x)$也是本原多項式。於是$\textstyle {\frac {cd}{ab}}$是$h(x)$的系數的最大公因數，故$\textstyle {\frac {cd}{ab}}$是個整數。

現在，我們有$h(x)=\textstyle {\frac {cd}{ab}}f_{2}(x)g_{2}(x)$且$\textstyle {\frac {cd}{ab}}$是整數，於是也就證明了$h(x)$在$\mathbb {Z} [x]$內也可約。