Divided domain

In algebra, a divided domain is an integral domain "R" in which every prime ideal formula_1 satisfies formula_2. A locally divided domain is an integral domain that is a divided domain at every maximal ideal. A Prüfer domain is a basic example of a locally divided domain. Divided domains were introduced by who called them AV-domains.