Localization of a Noetherian ring (source code)

= Localization of a Noetherian ring
{c}

Every localization of a Noetherian ring is Noetherian. Each ideal $J\subseteq S^{-1}R$ is the extension of its contraction to $R$, whose finite generating set consequently generates $J$.