Nilideal

ideal format doar din elemente nilpotente

În matematică, în special în teoria inelelor⁠(d), se spune că un ideal stâng, drept sau bilateral al unui inel este un nilideal[1] dacă oricare element al său este nilpotent.[2][3]

Nilradicalul unui inel comutativ este un exemplu de nilideal; de fapt, este idealul maximal al inelului în raport cu proprietatea de a fi nilpotent. Din păcate, la inelele necomutative mulțimea de elemente nilpotente nu formează întotdeauna un ideal.

Inele comutative

modificare

În inelele comutative, nilidealele sunt mai bine înțelese decât în inelele necommutative, în primul rând pentru că în inelele comutative, produsele care implică elementele nilpotente și sumele elementelor nilpotente sunt ambele nilpotente. Acest lucru se datorează faptului că dacă a și b sunt elemente nilpotente ale lui R cu an = 0 și bm = 0, iar r este orice element al lui R, atunci   iar după binomul lui Newton,   Prin urmare, mulțimea tuturor elementelor nilpotente formează un ideal cunoscut sub numele de nilradicalul unui inel. Deoarece nilradicalul conține orice element nilpotent, un ideal al unui inel comutativ este nilideal dacă și numai dacă este o submulțime a nilradicalului, deci nilradicalul este maximal între idealele care nu sunt nilideale. Mai mult, pentru orice element nilpotent a al unui inel comutativ R, idealul aR este un nilideal. Totuși, pentru un inel necomutativ, în general, nu este adevărat că mulțimea elementelor nilpotente formează un ideal sau că   este un nilideal (unilateral), chiar dacă a este nilpotent.

Inele necomutative

modificare

Teoria nilidealelor este de o importanță majoră în teoria inelelor necomutative. În particular, prin înțelegerea inelelor ale căror elemente sunt toate nilpotente se poate obține o înțelegere mult mai bună a inelelor mai generale.[4]

În cazul inelelor comutative există întotdeauna un nilideal maximal: nilradicalul inelului. Existența unui astfel de nilideal maximal în cazul inelelor necomutative este garantată de faptul că suma nilidealelor este și ea un nilideal. Totuși, adevărul afirmației că suma a două nilideale stângi este și ea un nilideal stâng nu era demonstrat în 2023.[5]

Relația cu idealele nilpotente

modificare

Noțiunea de nilideal are o legătură strânsă cu cea de ideal nilpotent, iar în unele clase de inele cele două noțiuni coincid. Dacă un ideal este nilpotent, este, desigur, un nilideal. Însă există două limitări ca nilidealele să fie nilpotente:[6]

  1. Nu trebuie să existe o margine superioară pentru exponentul care anulează elemente. Exponenții pot fi oricât de mari.
  2. Produsul a n elemente nilpotente poate fi nenul pentru n oricât de mare.

Evident, ambele limitări trebuie evitate pentru ca un nilideal să poată fi nilpotent.

Într-un inel artinian drept, orice nilideal este nilpotent.[7] Acest lucru este demonstrat prin observația că orice nilideal este conținut în radicalul Jacobson⁠(d) al inelului și, deoarece radicalul Jacobson este un ideal nilpotent (datorită ipotezei artiniene), enunțul rezultă. De fapt, acest lucru poate fi generalizat la inele noetheriene⁠(d) drepte; acest rezultat este cunoscut sub numele de teorema lui Levitzky.[8]

  1. ^ Mihai Cipu, Inele cu proprietatea de aproximare, Institutul de Matematică „Simion Stoilow” al Academiei Române, p. 15, accesat 2023-11-06
  2. ^ Isaacs, 1993, p. 194
  3. ^ Herstein, 1968, Definition (b), p. 13
  4. ^ Smoktunowicz, 2006, p. 260
  5. ^ Herstein, 1968, p. 21
  6. ^ Isaacs, 1993, p. 194
  7. ^ Isaacs, 1993, Corollary 14.3, p. 195
  8. ^ Herstein, 1968, Theorem 1.4.5, p. 37

Bibliografie

modificare
  • en Herstein, I. N. (), Noncommutative rings (ed. 1st), The Mathematical Association of America, ISBN 0-88385-015-X 
  • en Isaacs, I. Martin (), Algebra, a graduate course (ed. 1st), Brooks/Cole Publishing Company, ISBN 0-534-19002-2 
  • en Smoktunowicz, Agata (), „Some results in noncommutative ring theory” (PDF), International Congress of Mathematicians, Vol. II, Zürich: European Mathematical Society, pp. 259–269, ISBN 978-3-03719-022-7, MR 2275597, arhivat din original (PDF) la , accesat în  

Vezi și

modificare