Em álgebra abstrata, um anel de Dedekind ou domínio de Dedekind, em homenagem a Richard Dedekind, é um domínio integral A {\displaystyle A} satisfazendo as seguintes três condições: