Ideal nilpotent
În matematică, în special în Format:Ill-wd, se spune despre un ideal într-un inel că este un ideal nilpotent[1] dacă există un număr natural Format:Mvar astfel încât . Prin se înțelege subgrupul aditiv generat de mulțimea tuturor produselor elementelor Format:Mvar din .[2] Prin urmare, este nilpotent dacă și numai dacă există un număr natural Format:Mvar astfel încât produsul oricăror Format:Mvar elemente ale lui este 0.
Noțiunea de ideal nilpotent este mult mai puternică decât cea de nilideal în multe clase de inele. Totuși, există cazuri în care cele două noțiuni coincid – acest lucru este exemplificat de teorema lui Levitzky.[3][4] Noțiunea de ideal nilpotent, deși interesantă în cazul inelelor comutative, prezintă un interes sporit în cazul Format:Ill-wd.
Relația cu nilidealele
Noțiunea de ideal nilpotent are o legătură strânsă cu cea de nilideal, iar în unele clase de inele cele două noțiuni coincid. Dacă un ideal este nilpotent, este, desigur, un nilideal, dar un nilideal nu trebuie să fie nilpotent din mai multe motive. Primul este că nu trebuie să existe o limită superioară globală a exponentului necesar pentru a anihila diferite elemente ale idealului nul, iar în al doilea rând, fiecare element fiind nilpotent nu forțează ca produsele de elemente distincte să se anuleze.[5]
Într-un inel artinian drept, orice nilideal este nilpotent.[6] Acest lucru este demonstrat prin observația că orice nilideal este conținut în Format:Ill-wd al inelului și, deoarece radicalul Jacobson este un ideal nilpotent (datorită ipotezei artiniene), enunțul rezultă. De fapt, acest lucru poate fi generalizat la Format:Ill-wd drepte; acest rezultat este cunoscut sub numele de teorema lui Levitzky.[7]
Note
- ↑ Vasile Pop ș.a., Teme și probleme pentru concursurile studențești de matematică: Concursuri internaționale Format:Webarchive, vol. I, Iași: Editura Studis, 2013, Format:ISBN, p. 8, accesat 2023-11-06
- ↑ Isaacs, 1993, p. 194
- ↑ Isaacs, 1993, Theorem 14.38, p. 210
- ↑ Herstein, 1968, Theorem 1.4.5, p. 37
- ↑ Isaacs, 1993, p. 194
- ↑ Isaacs, 1993, Corollary 14.3, p. 195
- ↑ Herstein, 1968, Theorem 1.4.5, p. 37