Compressed-graph invariance for similarly factored ideals in UFD quotients

From papers

Let D1D_1 and D2D_2 be unique factorization domains, and let I1D1I_1\subset D_1 and I2D2I_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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.