\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Capítulo18Dominios Integrales

Uno de los anillos más importantes que estudiamos es el de los enteros. Fue nuestro primer ejemplo de una estructura algebraica: el primer anillo de polinomio que examinamos fue \({\mathbb Z}[x]\text{.}\) También sabemos que los enteros están contenidos naturalmente en el cuerpo de los números racionales, \({\mathbb Q}\text{.}\) El anillo de los enteros es el modelo para todos los dominios integrales (también se llaman dominios enteros). En este capítulo estudiaremos dominios integrales en general, contestando preguntas sobre su estructura de ideales, anillos de polinomios sobre dominios integrales y si es posible incrustar un dominio integral en un cuerpo.