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: sea α ∈ LD; como div(α) + D ≥ 0 entonces deg(div(α) + D) = 0 implica que D = −div(α)
Relación: neutral
Género: theses