Noetherse ring

In de abstracte algebra wordt een ring Noethers genoemd als zijn idealen aan een bepaalde voorwaarde van eindigheid voldoen. Men spreekt in dit verband ook uitdrukkelijk over ringen die voldoen aan de stijgende ketenvoorwaarde.

Noetherse ringen zijn genoemd naar Emmy Noether.

Definiërende eigenschap

De volgende drie uitspraken over een commutatieve ring $A$ zijn gelijkwaardig. Een Noetherse ring is een ring die aan één, en dus alle, van deze eigenschappen voldoet.

Ieder ideaal van $A$ wordt voortgebracht (als $A$ -moduul) door een eindig aantal elementen;
iedere stijgende keten van idealen van $A$ : $a_{1}\subset a_{2}\subset \cdots \subset a_{n}\subset \cdots$ wordt constant, dat wil zeggen er bestaat een index $m$ zodat alle verdere idealen in de keten eraan gelijk zijn: $a_{m}=a_{m+1}=a_{m+2}=\ldots$
iedere niet-lege collectie idealen van $A$ heeft een maximaal element, d.i. een ideaal dat geen deelverzameling is van enig ander lid van de collectie.

De tweede en derde voorwaarde zeggen dat de verzameling idealen van $A$ , met de partiële orde "is een deelverzameling van" voldoet aan een abstracte ketenvoorwaarde (zie Lemma van Zorn).

Voorbeelden en tegenvoorbeeld

Elke eindige ring is Noethers.
De ring der gehele getallen is Noethers.
Een lichaam heeft maar twee idealen en is dus Noethers.
Krachtens de basisstelling van Hilbert is de ring $m[X_{1},\ldots ,X_{n}]$ der polynomen in $n$ veranderlijken met coëfficiënten in een lichaam $m$ , een Noetherse ring. Algemener geldt dat als $A$ een Noetherse ring is, dan ook $A[X]$ .
De ring $C[0,1]$ der continue functies op het gesloten eenheidsinterval is niet Noethers. Immers, voor elk willekeurig reëel getal $r$ tussen 0 en 1 vormt de deelverzameling $a_{r}$ der continue functies die de waarde 0 aannemen op het deelinterval $[0,r]$ , een ideaal van $C[0,1]$ . Maar de oneindige stijgende keten

a_{1/2}\subset a_{1/3}\subset \ldots \subset a_{1/n}\subset \ldots

bestaat uit allemaal onderling verschillende idealen.

Toepassing

De basisstelling van Hilbert is het uitgangspunt voor de algebraïsche meetkunde. In feite zegt ze dat de oplossingsverzameling van een willekeurig aantal algebraïsche vergelijkingen altijd met een eindig aantal vergelijkingen kan worden beschreven.

Hoogte en Krulldimensie

De hoogte van een priemideaal $I$ in een Noetherse ring $A$ is de lengte van de langste strikt stijgende keten priemidealen die eindigt in $I$ . Met "lengte" bedoelen we het aantal inclusies, dus één enkel priemideaal is een keten van lengte 0.

De Krull-dimensie van $A$ is de grootst mogelijke hoogte van een priemideaal van $A$ , m.a.w. de lengte van de langst mogelijke keten priemidealen van $A$ . Ze is genoemd naar Wolfgang Krull.

Voorbeeld

In de gehele getallen zijn alle niet-triviale priemidealen maximaal, dus de Krull-dimensie is 1. Dit geldt algemener voor elk hoofdideaaldomein dat geen lichaam is.

Lichamen hebben Krull-dimensie 0. De ring der polynomen in $n$ veranderlijken over een lichaam $m$ heeft Krull-dimensie $n$ . De ring der polynomen in $n$ veranderlijken over een Noetherse ring met Krull-dimensie $m$ heeft Krull-dimensie $m+n$ .

Primaire ontbinding

Een primaire ontbinding van een ideaal $I$ in een ring $\mathbb {R}$ is een schrijfwijze van $I$ als doorsnede van een eindig aantal primaire idealen van $\mathbb {R}$ .

In een Noetherse ring heeft ieder ideaal, behalve de ring zelf, een primaire ontbinding. Dit is een abstracte veralgemening van de hoofdstelling van de rekenkunde, als men bedenkt dat de primaire idealen van de ring der gehele getallen precies de idealen zijn die worden voortgebracht door een macht van een priemgetal.

Zie ook

Geheel analoog heet een commutatieve ring een Artiniaanse ring, naar Emil Artin, als de ring aan de dalende ketenvoorwaarde voldoet. De stelling van Akizuki-Hopkins-Levitzski zegt dat elke Artiniaanse ring Noethers is.

Literatuur

(en) M.F. Atiyah en I.G. MacDonald, "Introduction to Commutative Algebra", Inleiding tot de commutatieve algebra, Westview Press 1969, ISBN 0-201-40751-5.