Pairs of rings invariant under group action (Q784772)

Let \(R\subseteq S\) be a ring extension and \(\mathcal P\) be a ring-theoretic property. The pair \((R, S)\) is said to be a \(\mathcal P\)-pair if, \(T\) satisfies \(\mathcal P\) for each intermediate ring \(R\subseteq T\subseteq S\). Let \(G\) be a subgroup of the automorphism group of \(S\) such that \(R\) is invariant under the action by \(G\). Let \(R^{G} = \left\{r\in R : \sigma (r) = r \: \text{for all}\: \sigma\in G\right\}\) and \(S^{G} = \left\{s\in S : \sigma(s) = s \: \text{for all}\: \sigma\in G\right\}\). The author investigates the transfer of a property \(\mathcal P\) from the pair \((R, S)\) to the pair \((R^{G}, S^{G})\), when \(\mathcal P\) = residually algebraic, lying-over, incomparable properties of ring extensions, valuations. It is shown that these properties pass from \((R, S)\) to \((R^{G}, S^{G})\) (see Proposition 2.3, Corollary 2.5, Theorem 2.7). In Corollary 2.6, the author provides a new, much simpler way to prove that if \(R\) is a Prüfer domain, then \(R^{G}\) is also a Prüfer domain. In Corollary 2.9, which is a generalization of Theorem 3.8 in [\textit{D. E. Dobbs} and \textit{J. Shapiro}, Commun. Algebra 35, No. 4, 1227--1247 (2007; Zbl 1121.13009)], the author shows that if \(\dim (R) = 0\), then \(\dim (R^{G})\).