Source: wikibot/prufer-domain
= Prüfer domain
{wiki=Prüfer_domain}
A Prüfer domain is a type of integral domain that generalizes the notion of a Dedekind domain. It is defined as an integral domain \\( D \\) in which every finite non-zero torsion-free ideal is a projective module. This property is very similar to that of Dedekind domains, which states that every non-zero fractional ideal is a projective \\( D \\)-module.