Adjacent integrally closed ideals in 2-dimensional regular local rings (Q852666)

Let \((A, \mathfrak{m})\) be a regular local ring of dimension 2 with an algebraically closed residue field and let \(I\) be an \(\mathfrak{m}\)-primary integrally closed (or, complete) ideal of \(A\). Two \(\mathfrak{m}\)-primary ideals \(I' \supset I\) of \(A\) are said adjacent if the length of \(I'/I\) as an \(A\)-module is 1; in this situation the ideal \(I'\) is called an adjacent over-ideal of \(I\). An ideal \(P\) of \(A\) is called simple if \(P \neq A\) and \(P\) has no non-trivial factorizations. Zariski's unique factorization theorem asserts that every complete \(\mathfrak{m}\)-primary ideal \(I\) if \(A\) is uniquely factored into a product of powers of simple complete ideals, i.e., \[ I =P_1^{a_1}P_2^{a_2}\cdot \dots \cdot P_n^{a_n } \] where \(P_i\) is a simple complete ideal, \(a_i \geq 1\) and \(n \geq 1\) [Appendix 5, Theorem 3, page 386 of \textit{O. Zariski, P. Samuel}, ``Commutative Algebra, Vol. II''. (1960; Zbl 0121.27801)]. In this paper the authors give a new characterization for a simple complete ideal of \(A\) in terms of adjacent complete ideals and they also give a characterization for a complete ideal \(I\) of \(A\) to have finitely many adjacent complete \(\mathfrak{m}\)-primary over-ideals.