##  [Lema de Gauss](/es/node/63478) 

 Definición

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

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

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

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

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

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

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

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

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.