|
|
|
|
noetherian ring
|
(Definition)
|
|
|
A ring is right noetherian if it is a right noetherian module, considered as a right module over itself in the natural way (that is, an element acts by
). Similarly, is left noetherian if it is a left noetherian module over itself (equivalently, if the opposite ring of is right noetherian). We say that is noetherian if it is both left noetherian and right noetherian.
Examining the definition, it is relatively easy to show that is right noetherian if and only if the three equivalent conditions hold:
- right ideals are finitely generated,
- the ascending chain condition holds on right ideals, or
- every nonempty family of right ideals has a maximal element.
Examples of Noetherian rings include:
The Hilbert Basis Theorem says that a ring is noetherian if and only if the polynomial ring is.
A ring can be right noetherian but not left noetherian.
The word noetherian is used in a number of other places. A topology can be noetherian; although this is not related in a simple way to the property for rings, the definition is based on an ascending chain condition. A site can also be noetherian; this is a generalization of the notion of noetherian for topological space.
Noetherian rings (and by extension most other uses of the word noetherian) are named after Emmy Noether (see Wikipedia for a short biography) who made many contributions to algebra. Older references tend to capitalize the word (Noetherian) but in some fields, such as algebraic geometry, the word has come into such common use that the capitalization is dropped (noetherian). A few other objects with proper names have undergone this process (abelian, for example) while others have not (Galois groups, for example). Any particular work should of course choose one convention and use it consistently.
|
"noetherian ring" is owned by archibal. [ full author list (2) | owner history (1) ]
|
|
(view preamble)
Cross-references: Galois groups, abelian, objects, algebraic geometry, algebra, Emmy Noether, site, simple way, topology, places, polynomial ring, Hilbert basis theorem, ideal generated by, variables, polynomials, complex, multiple, prime, greatest common divisor, generated by, integers, ideals, field, maximal element, ascending chain condition, finitely generated, right ideals, equivalent, opposite ring, left Noetherian module, right module, ring
There are 22 references to this entry.
This is version 13 of noetherian ring, born on 2001-10-15, modified 2004-03-19.
Object id is 187, canonical name is Noetherian.
Accessed 9980 times total.
Classification:
| AMS MSC: | 16P40 (Associative rings and algebras :: Chain conditions, growth conditions, and other forms of finiteness :: Noetherian rings and modules) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|