If is Noetherian, every submodule of is a submodule of , and submodules of correspond to submodules of containing ; hence both are Noetherian.
Conversely, suppose and are Noetherian. For any , the intersection is finitely generated and the image is finitely generated. Lifting generators of the image and applying part i to
shows that is finitely generated. Thus is Noetherian.

Articles by others on the same topic (0)

There are currently no matching articles.