Oración 1: note que si A es un DIP Local y M es su ideal maximal con π como su generador, entonces A es también un dominio de Dedekind (es Noetheriano, es un DFU y tiene dimensión 1; compare con las observaciones al inicio del capítulo)
Oración 2: si x ∈ A, podemos escribir de manera única x = πnu donde n ∈ Z y u es una unidad
Conector: por lo tanto
Relación: reasoning
Género: theses