Conservation of the noetherianity by perfect transcendental field extensions (Q1884036): Difference between revisions

Let \(k\) be a perfect field of positive characteristic \(p\), and let \(k(t)_{\text{per}} = \bigcup_{m \geq 0} k (t^{1/p^m})\) be the perfect closure of \(k\). The main result of this note describes, for a commutative noetherian \(k\)-algebra \(A\), when \(A \otimes_k k(t)_{\text{per}}\) is noetherian. This happens if and only if, for every prime ideal \(\mathfrak{p}\) of \(A\), the biggest perfect subfield of the quotient field \(K\) of \(A/\mathfrak{p}\) (which is \(\bigcap_{m \geq 0} K^{p^m}\)) is an algebraic extension of \(k.\) This is then applied to the case where \(A\) is an algebra of power series over \(k.\)