Dedekind finite ring