Definition:Dedekind Ring