ネーター環
Any non-noetherian ring "formula_1" is the union of its Noetherian subrings. This fact, known as Noetherian approximation, allows the extension of certain theorems to non-Noetherian rings.