În matematică condiția lanțului ascendent (în – ACC)Cipu, p. 1 și condiția lanțului descendent (în – DCC)Cipu, p. 2 sunt proprietăți privind caracterul finit ale unor structuri algebrice, cea mai mare importanță având-o pentru idealele din anumite inele comutative.Hazewinkel, Gubareni, Kirichenko, 2004, p. 6, Prop. 1.1.4raleigh, Katz, 1967, p. 366, Lema 7.1Jacobson, 2009, pp. 142, 147 Aceste condiții au jucat un rol important în dezvoltarea teoriei structurii inelelor comutative în lucrările lui David Hilbert, Emmy Noether și Emil Artin.
Condițiile în sine pot fi enunțate într-o formă abstractă, astfel încât să fie valabile pentru orice . Acest punct de vedere este util în teoria dimensiunilor algebrice abstracte datorită lui Gabriel și Rentschler.
Definiție Se spune că o mulțime parțial ordonată P satisface condiția lanțului ascendent (ACC) dacă nu există un șir infinit strict ascendent de elemente din P:Hazewinkel, p=580
Echivalent, orce șir slab ascendent
de elemente din P se stabilizează în cele din urmă, adică este staționar, ceea ce înseamnă că există un număr întreg pozitiv n astfel încât
Similar, se spune că P satisface condiția lanțului descendent (DCC) dacă nu există un șir infinit descendent de elemente din P. Echivalent, orice șir slab descendent de elemente din P
se stabilizează în cele din urmă, adică este staționar.
Comentarii Admițând , condiția lanțului descendent pe mulțimea parțial ordonată (posibil infinită) P este echivalentă cu faptul că P este : orice submulțime nevidă din P are un element minim (numit și condiția minimală). O mulțime total ordonată care este bine fondată este o mulțime bine ordonată. Similar, condiția lanțului ascendent este echivalentă pentru o P invers bine fondată (din nou, admițând alegerea dependentă): orice submulțime nevidă din P are un element maxim (numit și condiția maximală). Orice mulțime finită parțial ordonată satisface atât condiția lanțului ascendent cât și cea a lanțului descendent. Prin urmare, este atât bine formată, cât și invers bine formată.
Exemplu Fie inelul numerelor întregi. Orice ideal al lui constă din toți multiplii unui număr . De exemplu, idealul
este format din toți multiplii lui . Fie
idealul format din toți multiplii lui . Idealul este conținut în idealul , deoarece orice multiplu al lui este și un multiplu al lui . La rândul său, idealul este conținut în idealul , deoarece fiecare multiplu al lui este un multiplu al lui . Totuși, în acest moment nu există un ideal mai mare în .
În general, dacă sunt ideale ale astfel încât să fie conținut în , este conținut în și așa mai departe, atunci există unele pentru care toate . Adică, după un moment dat, toate idealele sunt egale între ele. Prin urmare, idealele lui satisfac condiția lanțului ascendent, unde idealele sunt ordonate prin includerea mulțimii. Prin urmare, este un .
Note
Bibliografie Mihai Cipu Module noetheriene și module artiniene (curs), Institutul de Matematică „Simion Stoilow” al Academiei Române, accesat 2023-11-02
Legături externe
Categorie:Algebră comutativă Categorie:Teoria ordinii