Noetherian property of inductive limits of Noetherian local rings (Q1180783)

This note is concerned with verifying the following result. Let \(\{(A_ i,m_ i)\mid i\) is an element of \(I\)\} be a filtered inductive system of noetherian local rings such that \(m_ iA_ j=m_ j\) for \(j\geq i\). Then the inductive limit \(A\) of the system is noetherian.