The characterization of rings with strong avoidance

Let RR be a commutative ring. Say that RR has strong avoidance if every pair of ideals of RR whose union is RR has one ideal equal to RR. For each prime ideal p\mathfrak{p} of RR, let RpR_{\mathfrak{p}} denote the localization of RR at RpR\setminus\mathfrak{p}. Strong-avoidance characterization. A ring RR has strong avoidance if and only if, for each prime ideal p\mathfrak{p} of RR, the ring RpR_{\mathfrak{p}} is a principal ideal domain.

This problem asks for a local characterization of the strong avoidance property in terms of the structure of all prime localizations. The supplied text does not indicate whether the characterization is known or remains open.

Sources & referencesView supporting material

Primary source

Justin Chen and Abolfazl Tarizadeh, “On the ideal avoidance property”, arXiv:2203.04256 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.