Pairs of domains where all intermediate domains satisfy S-ACCP

Abstract

The rings considered in this paper are commutative with identity. If [Formula: see text] is a subring of a ring [Formula: see text], then we assume that [Formula: see text] contains the identity element of [Formula: see text]. Let [Formula: see text] be a multiplicatively closed subset (m.c. subset) of a ring [Formula: see text]. An increasing sequence of ideals [Formula: see text] of [Formula: see text] is said to be [Formula: see text]-stationary if there exist [Formula: see text] and [Formula: see text] such that [Formula: see text] for all [Formula: see text]. This paper is motivated by the research work [A. Hamed and H. Kim, On integral domains in which every ascending chain on principal ideals is [Formula: see text]-stationary, Bull. Korean Math. Soc. 57(5) (2020) 1215–1229]. Let [Formula: see text] be a m.c. subset of an integral domain [Formula: see text]. We say that [Formula: see text] satisfies [Formula: see text]-ACCP if every increasing sequence of principal ideals of [Formula: see text] is [Formula: see text]-stationary. Let [Formula: see text] be a subring of an integral domain [Formula: see text] and let [Formula: see text] be a m.c. subset of [Formula: see text]. We say that [Formula: see text] is an [Formula: see text]-ACCP pair if [Formula: see text] satisfies [Formula: see text]-ACCP for every subring [Formula: see text] of [Formula: see text] with [Formula: see text]. The aim of this paper is to provide some pairs of domains [Formula: see text] such that [Formula: see text] is an [Formula: see text]-ACCP pair, where [Formula: see text] is a m.c. subset of [Formula: see text].