In matematica, i domini di Prüfer sono un tipo di anelli commutativo con unità integro i cui moduli finitamente generati hanno delle proprietà piuttosto "buone"; possono essere visti come una generalizzazione dei domini di Dedekind in un contesto non noetheriano. Wikipedia