Condiția lanțului ascendent

În matematică condiția lanțului ascendent (în Format:En – ACC) și condiția lanțului descendent (în Format:En – DCC) sunt proprietăți privind caracterul finit ale unor structuri algebrice, cea mai mare importanță având-o pentru idealele din anumite inele comutative. 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 Format:Ill-wd. 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:

$a_1<a_2<a_3<\cdots$

Echivalent, orce șir slab ascendent

$a_1\le a_2\le a_3\le \cdots ,$

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

$a_n=a_{n+1}=a_{n+2}=\cdots .$

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

$a_1\ge a_2\ge a_3\ge \cdots$

se stabilizează în cele din urmă, adică este staționar.

Comentarii

• Admițând Format:Ill-wd, condiția lanțului descendent pe mulțimea parțial ordonată (posibil infinită) P este echivalentă cu faptul că P este Format:Ill-wd: 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 $\mathbb{Z}=\{\dots ,-3,-2,-1,0,1,2,3,\dots \}$ inelul numerelor întregi. Orice ideal al lui $\mathbb{Z}$ constă din toți multiplii unui număr $n$. De exemplu, idealul

$I=\{\dots ,-18,-12,-6,0,6,12,18,\dots \}$

este format din toți multiplii lui $6$. Fie

$J=\{\dots ,-6,-4,-2,0,2,4,6,\dots \}$

idealul format din toți multiplii lui $2$. Idealul $I$ este conținut în idealul $J$, deoarece orice multiplu al lui $6$ este și un multiplu al lui $2$. La rândul său, idealul $J$ este conținut în idealul $\{\mathbb{Z}\}$, deoarece fiecare multiplu al lui $2$ este un multiplu al lui $1$. Totuși, în acest moment nu există un ideal mai mare în $\{\mathbb{Z}\}$.

În general, dacă $I_1,I_2,I_3,\dots$ sunt ideale ale $\{\mathbb{Z}\}$ astfel încât $I_1$ să fie conținut în $I_2$, $I_2$ este conținut în $I_3$ și așa mai departe, atunci există unele $n$ pentru care toate $I_n=I_{n+1}=I_{n+2}=\cdots$. Adică, după un moment dat, toate idealele sunt egale între ele. Prin urmare, idealele lui $\{\mathbb{Z}\}$ satisfac condiția lanțului ascendent, unde idealele sunt ordonate prin includerea mulțimii. Prin urmare, $\{\mathbb{Z}\}$ este un Format:Ill-wd.

Bibliografie

• Mihai Cipu Module noetheriene și module artiniene (curs), Institutul de Matematică „Simion Stoilow” al Academiei Române, accesat 2023-11-02
• Format:En icon Format:Citation
• Format:En icon Format:Citation
• Format:En icon Format:Cite book
• Format:En icon Format:Citation
• Format:En icon Format:Citation

Legături externe

• Format:En icon Format:Cite web