Una afirmación en aritmética de polinomios sobre los enteros (y más generalmente sobre dominios de factorización única) que relaciona primitividad e irreducibilidad: el producto de polinomios primitivos es primitivo, y un polinomio primitivo es irreducible sobre los racionales si y solo si lo es sobre los enteros.

Principio

Se introduce el contenido de un polinomio (el mcd de sus coeficientes). El lema de Gauss separa el contenido de la parte primitiva y muestra la multiplicatividad del contenido salvo unidades, permitiendo probar irreducibilidad sobre Q mediante representantes primitivos en Z[x].

Demostración

Si f(x)=2x+1 y g(x)=3x+1 tienen contenido 1, son primitivos; su producto fg también tiene coeficientes con mcd 1 y por tanto es primitivo. Más estructuralmente, una factorización en Q[x] de un primitivo, tras eliminar denominadores, produce una factorización en Z[x], contradiciendo la irreducibilidad en Z[x] si esta existiera.

Aplicación incorrecta

Confundir 'primitivo' (contenido 1) con 'irreducible', aplicar el lema en anillos que no son DFI sin comprobar hipótesis, o suponer que la irreducibilidad en Z[x] implica irreducibilidad en cualquier anillo extensión sin considerar unidades y asociados.

Consecuencia

Reduce cuestiones de irreducibilidad sobre Q a cálculos en Z[x] con polinomios primitivos, posibilitando criterios enteros (como Eisenstein) y algoritmos prácticos sin salir de la aritmética entera.

Inversión

El lema implica una equivalencia: la irreducibilidad en Q[x] equivale a la primitividad junto con la irreducibilidad en Z[x]; inversamente, una factorización racional se describe como producto de contenidos y polinomios primitivos enteros.

Límite

Se cumple en Z y más generalmente en dominios de factorización única; fracasa o requiere adaptación en anillos sin factorización única o donde el mcd y el contenido no se comportan clásicamente. Trata polinomios sobre dominios íntegros, no sobre anillos no conmutativos cualesquiera.

Tensión semántica

Se relaciona con el criterio de Eisenstein y los algoritmos de factorización: el lema de Gauss es una herramienta de reducción estructural, mientras Eisenstein ofrece una condición suficiente concreta; hay tensiones al probar irreducibilidad fuera de DFI o cuando el contenido se comporta mal.

Síntesis

El lema de Gauss separa contenido y parte primitiva y establece la multiplicatividad de la primitividad: al reducir la irreducibilidad sobre Q al estudio de polinomios enteros primitivos proporciona el puente estructural que permite pruebas y factorizaciones basadas en la aritmética entera.