\begin{definition}[Definition:Prüfer Domain]
Let $A$ be an integral domain.
Then $A$ is a '''Prüfer domain''' if every finitely generated ideal of $A$ is projective.
{{NamedforDef|Heinz Prüfer|cat = Prüfer}}
Category:Definitions/Integral Domains
\end{definition}