Es interesante como varios libros de textos definen un anillo de Dedekind via 2) y luego prueban 1) sin mencionar que esto es en realidad una equivalencia (e historicamente la motivacion original para estudiar tales anillos!!).