The hereditary atomicity conjecture for integral domains

Let RR be an integral domain. It is hereditarily atomic if every subring of RR is atomic, and RR satisfies the ascending chain condition on principal ideals (ACCP) if every ascending chain of principal ideals in RR eventually stabilizes.

Hereditary atomicity conjecture. Every hereditarily atomic domain satisfies the ACCP.

This was conjectured by Hasenauer and the authors and concerns the relationship between atomicity of all subrings and stabilization of principal ideals. The conjecture is refuted: cmathbbQ[x]cmathbb{Q}[x] satisfies the ACCP but contains the non-atomic subring cmathbbZ+xcmathbbQ[x]cmathbb{Z}+xcmathbb{Q}[x].

Sources & referencesView supporting material

Primary source

Jim Coykendall and Felix Gotti, “Atomicity in integral domains”, arXiv:2406.02503 (2024).

Additional references

2 papers in this index state this conjecture (2021–2024). The statement above is taken from the most recent of them; the others are arXiv:2112.00264.

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.