When an extension of Nagata rings has only finitely many intermediate rings, each of those is a Nagata ring (Q2330249)

Summary: Let \(R \subset S\) be an extension of commutative rings, with \(X\) an indeterminate, such that the extension \(R(X) \subset S (X)\) of Nagata rings has FIP (i.e., \(S (X)\) has only finitely many \(R(X)\)-subalgebras). Then, the number of \(R (X)\)-subalgebras of \(S (X)\) equals the number of \(R\)-subalgebras of \(S\). In fact, the function from the set of \(R\)-subalgebras of \(S\) to the set of \(R (X)\)-subalgebras of \(S(X)\) given by \(T \mapsto T (X)\) is an order-isomorphism.