A pair violating all three properties

Construct a pair of elements in a Bézout domain that violates good factorization, adequacy, and lcm splitting simultaneously.

Background

The paper gives examples separating the three properties but does not produce a single pair that fails all of them. It proposes using a Bézout domain associated with disjoint copies of the spectral construction as a possible route, while explicitly stating that the relevant details have not been checked.

References

Is it possible to have a pair of elements that violates all three properties, gf, adequate and lcm splitting?

— LCM Splittings in GCD Domains  (2610.23799 - Preu, 16 Oct 2026) in Section \ref{sec:final}, Final remarks and open questions