Compressed-graph invariance for similarly factored ideals in UFD quotients

About 11 years old · traced to

Let D1D_1 and D2D_2 be unique factorization domains, and let I1⊂D1I_1\subset D_1 and I2⊂D2I_2\subset D_2 be nonmaximal, nontrivial ideals. Suppose

I1=⋃α∈Λ⟨∏k=1Qαpαksαk⟩.I_1=\bigcup_{\alpha\in\Lambda}\left\langle\prod_{k=1}^{Q_\alpha}p_{\alpha_k}^{s_{\alpha_k}}\right\rangle.

Assume that I2I_2 has an expression with the same index set, numbers of factors, and exponents,

I2=⋃α∈Λ⟨∏k=1Qαqαksαk⟩.I_2=\bigcup_{\alpha\in\Lambda}\left\langle\prod_{k=1}^{Q_\alpha}q_{\alpha_k}^{s_{\alpha_k}}\right\rangle.

Here the pαkp_{\alpha_k} and qαkq_{\alpha_k} are the corresponding irreducible factors.

Compressed-graph invariance conjecture. Under these hypotheses,

ΓC(D1/I1)≅ΓC(D2/I2).\Gamma_C(D_1/I_1)\cong\Gamma_C(D_2/I_2).

Thus the compressed zero-divisor graph is conjectured to depend only on the displayed factorization pattern of the ideal, not on the particular UFDs or irreducibles.

References

Primary source

Rachael Alvir, “Zero-Divisor Graphs of Quotient Rings”, arXiv:1508.02432 (2015).

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.