En esta sección, nuestras exploraciones de las propiedades aritméticas estructurales que garantizan una factorización única culminan en el Teorema 3.2.7. Específicamente, veremos que todos los dominio...En esta sección, nuestras exploraciones de las propiedades aritméticas estructurales que garantizan una factorización única culminan en el Teorema 3.2.7. Específicamente, veremos que todos los dominios euclidianos poseen la propiedad de factorización única. Para probar este teorema, nos apoyaremos en parte en una interesante propiedad de cadenas de ideales en dominios euclidianos.