We prove that if an extension R subset of or equal to T of commutative rings satisfies the going-up property, then any tree of prime ideals of R with at most two branches or in which each branch has finite length is covered by some corresponding tree of prime ideals of T. In particular, if R subset of or equal to T is an integral extension and R is Noetherian, then each tree T in Spec(R) can be covered by a tree in Spec(T). We also prove that if R is an integral domain, then each tree T in Spec(R) can be covered by a tree in Spec(T) for some Bezout domain T containing R. If T has only finitely many branches, it can further be arranged that the Bezout domain T be an overring of R. However, in general, it cannot be arranged that T be covered rom a Prufer overring of R, thus answering negatively a question of D.D. Anderson.
Dobbs, D.e., Fontana, M. (1999). Lifting trees of prime ideals to Bezout extension domains. COMMUNICATIONS IN ALGEBRA, 27(12), 6243-6252 [10.1080/00927879908826820].
Lifting trees of prime ideals to Bezout extension domains
FONTANA, Marco
1999-01-01
Abstract
We prove that if an extension R subset of or equal to T of commutative rings satisfies the going-up property, then any tree of prime ideals of R with at most two branches or in which each branch has finite length is covered by some corresponding tree of prime ideals of T. In particular, if R subset of or equal to T is an integral extension and R is Noetherian, then each tree T in Spec(R) can be covered by a tree in Spec(T). We also prove that if R is an integral domain, then each tree T in Spec(R) can be covered by a tree in Spec(T) for some Bezout domain T containing R. If T has only finitely many branches, it can further be arranged that the Bezout domain T be an overring of R. However, in general, it cannot be arranged that T be covered rom a Prufer overring of R, thus answering negatively a question of D.D. Anderson.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.