Lema de Gauss
De Wikipedia, la enciclopedia libre
En la teoría de polinomios, el lema de Gauss, o Criterio de la irreducibilidad de Gauss, afirma que si es un dominio de factorización única (DFU) y
es su cuerpo de cocientes (o cuerpo de fracciones), entonces todo polinomio primitivo
es irreducible en
si y sólo si lo es en
.
El Criterio de irreducibilidad de Gauss proporciona un resultado muy útil para demostrar ciertas propiedades de divisibilidad en anillos de polinomios.
Por la equivalencia que señala el criterio entre la irreducibilidad de un polinomio primitivo en D[x] y la irreducibilidad del mismo polinomio en , puede demostrarse que al ser
un DFU también lo es D[x].
Una consecuencia importante del Criterio de irreducibilidad de Gauss es que si D es un DFU entonces también lo es D[x], sea o no este último anillo un DIP. Así, por ejemplo, no es un DIP pero sí es un DFU.