En la teoría de polinomios, el lema de Gauss, o Criterio de la irreducibilidad de Gauss, afirma que si formula_1 es un dominio de factorización única (DFU) y formula_2 es su cuerpo de cocientes (o cuerpo de fracciones), entonces el contenido de dos polinomios dados con coeficientes en formula_3 es el producto de contenidos y todo polinomio primitivo formula_4 es irreducible en formula_5 si y sólo si lo es en formula_6.