I am seeking an example of how Noetherian approximation can be used to simplify a proof in the context of commutative algebra strictly.
To begin, I am referring to the fact that any commutative ring can be written as a direct limit of Noetherian rings, we can in fact restrict simply to subrings as every ring is the union of its finitely generated $\mathbb{Z}$-subalgebras. Noetherian approximation has uses in algebraic geometry where using this fact as a starting point we are able to prove results in the Noetherian setting, and then generalize to general schemes usally under a (locally) finite presentation hypothesis. I am seeking a (hopefully elementary) example of where we can do a similar thing however simply in the case of commutative rings. There are numerous applications whereby writing a module as a direct limit of finitely generated modules we can simply proofs, an example that comes to mind is that via the criterion for flatness involving finitely generated ideals, we can prove that in an integral domain where every finitely generated ideal is principal, a module is flat if and only if it is torsion-free. This can be used to characterize flat modules over a valuation ring. Here the crucial observation is that since direct limits are exact and commute with the tensor product, we can restrict to only finitely generated ideals where we then leverage that they are principal.
I have thought of numerous theorems which perhaps one could use Noetherian approximation to extend a result out of the Noetherian situation, however I consistently see a trend where either the result is proved for Noetherian rings, but is false for non-Noetherian rings rendering the technique useless, or the result is proven without a Noetherian hypothesis at all and the proof does not seem to be any easier in the Noetherian case anyway.