Gauss, lemma di
Gauss, lemma di in algebra, costituisce una premessa per dimostrare che se D è un dominio a fattorizzazione unica, tale è anche il dominio D[x1, …, xn] dei polinomi a n indeterminate a coefficienti in D. Il lemma considera particolari polinomi, detti polinomi primitivi: si tratta di polinomi a coefficienti in D tali che il massimo comun divisore dei loro coefficienti è 1. Il lemma di Gauss stabilisce che il prodotto di due polinomi primitivi è primitivo.