Difference between revisions of "Noetherian module"
From Encyclopedia of Mathematics
(Category:Associative rings and algebras) |
(Composition series) |
||
| Line 4: | Line 4: | ||
$$0\to M'\to M\to M''\to0,$$ | $$0\to M'\to M\to M''\to0,$$ | ||
| − | $M'$ and $M''$ are Noetherian, then so is $M$. A module over a [[Noetherian ring]] is Noetherian if and only if it is finitely generated. | + | $M'$ and $M''$ are Noetherian, then so is $M$. A module over a [[Noetherian ring]] is Noetherian if and only if it is finitely generated. A module has a [[Composition sequence|composition series]] if and only if it is both [[Artinian module|Artinian]] and Noetherian. |
====References==== | ====References==== | ||
Latest revision as of 19:05, 25 October 2014
A module for which every submodule has a finite system of generators. Equivalent conditions are: the ascending chain condition for submodules (every strictly ascending chain of submodules breaks off after finitely many terms); every non-empty set of submodules ordered by inclusion contains a maximal element. Submodules and quotient modules of a Noetherian module are Noetherian. If, in an exact sequence
$$0\to M'\to M\to M''\to0,$$
$M'$ and $M''$ are Noetherian, then so is $M$. A module over a Noetherian ring is Noetherian if and only if it is finitely generated. A module has a composition series if and only if it is both Artinian and Noetherian.
References
| [1] | S. Lang, "Algebra" , Addison-Wesley (1974) |
How to Cite This Entry:
Noetherian module. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Noetherian_module&oldid=34020
Noetherian module. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Noetherian_module&oldid=34020
This article was adapted from an original article by L.V. Kuz'min (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article