English

Completions of Extremely Noncatenary Noetherian UFDs

Commutative Algebra 2025-08-26 v1

Abstract

Let TT be a complete local ring. We present necessary and sufficient conditions for TT to be the completion of a local (Noetherian) unique factorization domain AA such that there exist height one prime ideals {Jk}k=1\{J_k\}_{k = 1}^{\infty} of AA satisfying the following conditions: (1) Jk=JJ_k = J_{\ell} if and only if k=k = \ell, (2) there exist positive integers nmn \neq m such that for each kNk \in \mathbb{N}, there are two saturated chains of prime ideals of AA of the form JkJk,2(1)Jk,n1(1)MJ_k \subsetneq J^{(1)}_{k,2} \subsetneq \cdots \subsetneq J^{(1)}_{k,n - 1} \subsetneq M and JkJk,2(2)Jk,m1(2)M,J_k \subsetneq J^{(2)}_{k,2} \subsetneq \cdots \subsetneq J^{(2)}_{k,m - 1} \subsetneq M, where MM is the maximal ideal of AA, and (3) the prime ideals from condition (2) satisfy Jk,a(i)=J,b(j)J^{(i)}_{k,a} = J^{(j)}_{\ell,b} if and only if i=ji = j, k=k = \ell, and a=ba = b. We also find sufficient conditions for TT to be the completion of a local (Noetherian) unique factorization domain BB such that B/JB/J is not catenary for all height one prime ideals JJ of BB.

Keywords

Cite

@article{arxiv.2508.18102,
  title  = {Completions of Extremely Noncatenary Noetherian UFDs},
  author = {Eli B. Dugan and S. Loepp},
  journal= {arXiv preprint arXiv:2508.18102},
  year   = {2025}
}

Comments

18 pages