On finitely stable domains. I (Q670636): Difference between revisions

In this article, the authors are interested in a property called finitely stable for integral domains. They are able to prove many results along the way, but I first state the main results given in the paper and then will proceed to define what these terms mean. An integral domain \(R\) is stable and one-dimensional if and only if \(R\) is finitely stable and Mori. If \(R\) satisfies these two equivalent conditions, then each overring of \(R\) also satisfies these conditions, and it is \(2\)-\(\nu\)-generated. It is also shown that if \(R\) is an Archimedean stable domain such that the integral closure is local, then \(R\) is one-dimensional and therefore Mori. An ideal \(I\) of a ring \(R\) is stable if \(I\) is projective over its endomorphism ring, so a ring \(R\) is called a stable ring if each nonzero ideal of \(R\) is stable. A ring is called finitely stable if each finitely generated regular ideal is stable. These properties of stability and finite stability were studied extensively by Olberding for integral domains, and thus this article builds heavily upon this work. A Mori domain is a domain with the ascending chain condition on divisorial ideals. A nonzero ideal \(I\) of an integral domain \(R\) is \(2\)-\(\nu\)-generated if \(I\) contains a \(2\)-generated ideal \(J\) such that \((R : I) = (R : J)\), and \(R\) is called \(2\)-\(\nu\)-generated if each nonzero ideal of \(R\) is \(2\)-\(\nu\)-generated. Lastly, a ring \(R\) is Archimedean if \(\cap_{n=0}^{\infty}(r^n)=(0)\) for all non-units \(r\in R\). The article provides an extensive history and bibliography for the reader to help with all the definitions. There are many examples provided throughout to help the reader compare the various properties discussed throughout.