noetherian
A module is noetherian if it satisfies the following equivalent
conditions:
- •
the ascending chain condition
holds for submodules
of ;
- •
every nonempty family of submodules of has a maximal element
;
- •
every submodule of is finitely generated
.
A ring is left noetherianif it is noetherian as a left module over itself(i.e. if is a ),and right noetherianif it is noetherian as a right module over itself(i.e. if is an ),and simply noetherianif both conditions hold.