请输入您要查询的字词:

 

单词 CriterionForAModuleToBeNoetherian
释义

criterion for a module to be noetherian


Theorem 1.

A module is noetherianPlanetmathPlanetmath if and only if all of its submodules andquotients (http://planetmath.org/QuotientModule) are noetherian.

Proof.

Suppose M is Noetherian (over a ring R), and NM a submodule. Since any submodule of M is finitely generatedMathworldPlanetmathPlanetmath, any submodule of N, being a submodule of M, is finitely generated as well. Next, if A/N is a submodule of M/N, and if a1,,an is a generating set for AM, then a1+N,,an+N is a generating set for A/N. Conversely, if every submodule of M is Noetherian, then M, being a submodule itself, must be Noetherian.∎

A weaker form of the converse is the following:

Theorem 2.

If NM is a submodule of M such that N and M/N are Noetherian, then M is Noetherian.

Proof.

Suppose A1A2 is an ascending chain of submodules of M. Let Bi=AiN, then B1B2 is an ascending chain of submodules of N. Since N is Noetherian, the chain terminates at, say Bn. Let Ci=(Ai+N)/N, then C1C2 is an ascending chain of submodules of M/N. Since M/N is Noetherian, the chain stops at, say Cm. Let k=max(m,n). Then we have Bk=Bk+1 and Ck=Ck+1. We want to show that Ak=Ak+1. Since AkAk+1, we need the other inclusion. Pick aAk+1. Then a+N=b+N, where bAk. This means that a-bN. But bAk+1 as well, so a-bNAk+1. Since NAk=NAk+1, this means that a-bAk or aAk.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 6:39:16