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 toshows that is finitely generated. Thus is Noetherian.
Articles by others on the same topic
There are currently no matching articles.