Factorización de ideales

Abstract

En esta sección estableceremos algunas notaciones y convenciones que mantendremos a lo largo de todo nuestro trabajo. La palabra "anillo" significará "anillo conmutativo con unidad" A denotará un anillo y 1 e A su unidad. E denotará un dominio euclidiano distinto de su cuerpo de fracciones K. Denotaremos con Z al anillo de los números enteros y con N Ⴚ 2 Z al conjunto de los números enteros no negativos. Para todo n e N, A [x1,...,,xn) denotará el anillo de los polinomios en n indeterminadas sobre A. Para todo n e N, Z n denotará el anillo cociente Z/n.Z . Si Φ: A B es un monomorfismo de anillos tal que Φ (l) = 1 diremos que B es un anillo extensión de A.