A Curious Characterisation of Dedekind Domains
Robert Szafarczyk
Abstract
We characterise Dedekind rings among not necessarily Noetherian domains by a property of their module homomorphisms. Our proof relies on a homological algebra argument.
Robert Szafarczyk
We characterise Dedekind rings among not necessarily Noetherian domains by a property of their module homomorphisms. Our proof relies on a homological algebra argument.
This paper contains 3 sections, 11 theorems, 9 equations.
Theorem 1.1
Let $R$ be an integral domain. We say that an $R$-module homomorphism $f:M\to N$ is seemingly divisible by $r\in R$ if for every $m\in M$ we have $f(m)=rn$ for some $n\in N$ and $f(m)=0$ whenever $rm=0$. The following statements are then equivalent: