Lifting trees of prime ideals to bezout extension domains (Q4934130)

The main results of this paper are: (1) If an extension \(R\subset T\) of commutative rings satisfies the going-up property, then any tree of prime ideals of \(R\) with at most two branches each of which is well ordered by inclusion or in which each branch has finite length is covered by some corresponding tree of prime ideals of \(T\). (2) If \(\mathcal T\) is a tree in \(\text{Spec}(R)\), where \(R\) is an integral domain, \(\mathcal T\) with finitely many branches, then there exists a Bezout overring \(T\) of \(R\) and a tree \(\mathcal S\) in \(\text{Spec}(T)\) such that \(\mathcal S\) covers \(\mathcal T\).