Vizualizare sursă pentru „Nilradical al unui inel”

În [[algebră]] '''nilradicalul unui [[inel comutativ]]''' este [[Ideal (teoria inelelor)|idealul]] format din elementele [[nilpotență |nilpotente]]:<ref name=VLF><!-- Prof.dr. -->Violeta Leoreanu Fotea, [https://www.math.uaic.ro/~leoreanu/depozit/Structuri%20algebrice%20si%20aplicatii.pdf ''Structuri algebrice și aplicații''] (curs, 2021), [[Universitatea „Alexandru Ioan Cuza” din Iași]], p.&nbsp;4, accesat 2023-09-14</ref>
:<math>\mathfrak{N}_R = \lbrace f \in R \mid f^m=0 \text{ pentru unele } m\in\mathbb{Z}_{>0}\rbrace.</math>

Este astfel [[radical al unui ideal |radicalul]] [[element zero |idealului nul]]. Dacă nilradicalul este idealul nul, inelul se numește [[inel redus]]. Nilradicalul unui inel comutativ este [[intersecție (matematică) |intersecția]] tuturor [[Ideal prim|idealelor prime]].

În cazul {{ill-wd| Q7049224||inelelor necomutative}}, această definiție nu funcționează întotdeauna. Acest lucru a dus la mai mulți radicali care generalizează cazul comutativ în moduri diferite.

[[Nilradical al unei algebre Lie |Nilradicalul unei algebre Lie]] este definit similar pentru {{ill-wd| Q664495||algebrele Lie}}.

== Inele comutative ==
Nilradicalul unui inel comutativ este mulțimea tuturor elementelor nilpotente din [[inel (matematică) |inel]] sau, echivalent, radicalul idealului nul. Acesta este un ideal deoarece suma oricăror două elemente nilpotente este nilpotentă (din [[Binomul lui Newton]]), iar produsul oricărui element cu un element nilpotent este nilpotent (prin [[comutativitate]]). De asemenea, poate fi caracterizat drept intersecția tuturor idealelor prime ale inelului (de fapt, este intersecția tuturor [[ideal prim |idealelor prime]] [[ideal minimal |minimale]]).

{{math theorem|name=Teoremă<ref>{{en icon}} {{cite book|last1=Atiyah|first1=Michael|last2=Macdonald|first2=Ian|year=1994|title=Introduction to Commutative Algebra|publisher=Addison-Wesley|isbn=0-201-40751-5}}, p.5</ref>| ''Fie <math>R</math> un inel comutativ. Atunci <math>\mathfrak{N}_R=\bigcap_{\mathfrak{p}\varsubsetneq R\text{ prim}}\mathfrak{p}.</math>''}}

{{math theorem|name=Demonstrație:|Fie <math>r \in \mathfrak{N}_R</math> și <math>\mathfrak{p}</math> un ideal prim. Atunci <math>r^n=0</math> pentru unele <math>n\in\mathbb{Z}_{>0}</math>. Prin urmare
:<math>r^n = r \cdot r^{n-1} = 0 \in \mathfrak{p}</math>,
deoarece <math>\mathfrak p</math> este un ideal, ceea ce implică <math>r \in \mathfrak{p}</math> sau <math>r^{n-1} \in \mathfrak{p}</math>. În al doilea pas se admite că <math>r^m \in \mathfrak{p}</math> pentru unele <math>m\leq n-1</math>, atunci <math>r^{m}=r\cdot r^{m-1} \in \mathfrak{p}</math> prin urmare <math>r \in \mathfrak{p}</math> sau <math>r^{m-1} \in \mathfrak{p}</math> și, prin [[inducție matematică |inducție]] pentru <math>m\geq1</math>, se obține <math>r^m \in \mathfrak{p},\,\forall m:0 < m \leq n-1</math>, în special <math>r \in \mathfrak{p}</math>. Prin urmare <math>r</math> este conținut în orice ideal prim și <math>\mathfrak{N}_R\subseteq\bigcap_{\mathfrak{p}\varsubsetneq R\text{ prim}}\mathfrak{p}</math>. 

Reciproc, se presupune că <math>f\notin\mathfrak{N}_R</math> și considerând că [[mulțime]]a
:<math>\Sigma :=\lbrace J\subseteq R\mid J \text{ este un ideal, iar } f^m\notin J\text{ pentru toti }m\in\mathbb{Z}_{>0}\rbrace</math>
care este [[mulțime vidă |nevidă]], într-adevăr <math>(0) \in \Sigma</math>. <math>\Sigma</math> este {{ill-wd| Q474715||parțial ordonată}} de <math>\subseteq</math> și orice șir <math>J_1\subseteq J_2 \subseteq \dots</math> are o margine superioară dată de <math>J=\bigcup_{i\geq1} J_i \in \Sigma</math>, într-adevăr: <math>J</math> este un ideal, iar dacă <math>f^m \in J</math> pentru unele <math>m</math> atunci <math>f^m \in J_l</math> pentru unele <math>l</math>, ceea ce este imposibil deoarece <math>J_l \in \Sigma</math>; prin urmare orice șir din <math>\Sigma\ne\emptyset</math> are o margine superioară și se poate aplica [[lema lui Zorn]]: există un element maxim <math>\mathfrak{m} \in \Sigma</math>.

Trebuie demonstrat că <math>\mathfrak{m}</math> este un ideal prim: fie <math>g,h\notin\mathfrak{m},gh \in \mathfrak{m}</math>, atunci <math>\mathfrak{m}\varsubsetneq\mathfrak{m}+(g),\mathfrak{m}+(h)\notin\Sigma</math> deoarece <math>\mathfrak{m}</math> este maxim în <math>\Sigma</math>, ceea ce înseamnă că există <math>r,s\in\mathbb{Z}_{>0}</math> astfel încât <math>f^r \in \mathfrak{m}+(g),</math> <math>f^s \in \mathfrak{m}+(h)</math>, dar atunci <math>f^rf^s=f^{r+s} \in \mathfrak{m}+(gh)=\mathfrak{m} \in \Sigma</math>, ceea ce este absurd. Prin urnmare dacă <math>f\notin\mathfrak{N}_R</math>, <math>f</math> nu este cuprins în vreun ideal prim, sau echivalent <math>R\setminus\mathfrak{N}_R\subseteq \bigcup_{\mathfrak{p}\varsubsetneq R\text{ prim}}(R\setminus\mathfrak{p})</math> și în and final <math>\mathfrak{N}_R\supseteq\bigcap_{\mathfrak{p}\varsubsetneq R\text{ prim}}\mathfrak{p}</math>.}}

Un inel se numește [[inel redus]] dacă nu are nilpotente nenule. Astfel, un inel este redus [[dacă și numai dacă]] nilradicalul său este zero. Dacă {{mvar|R}} este un inel comutativ arbitrar, atunci [[inel factor |câtul]] acestuia prin nilradicalul său este un inel redus și este notat cu <math>R_{\text{red}}</math> .

Deoarece orice [[ideal maximal]] este un ideal prim, {{ill-wd| Q1677769||radicalul Jacobson}}&nbsp;— care este intersecția idealelor maximale&nbsp;— trebuie să conțină nilradicalul. Un inel {{mvar|R}} se numește [[inel Jacobson]] dacă nilradicalul său și radicalul Jacobson al lui {{mvar|R/P}} coincid pentru toate idealele prime {{mvar|P}} ale lui {{mvar|R}} . Un [[inel artinian]] este Jacobson, iar nilradicalul său este idealul nilpotent maximal al inelului. În general, dacă nilradicalul este finit generat (de exemplu inelul este {{ill-wd| Q582271||noetherian}}), atunci este un ideal nilpotent.

== Inele necomutative ==
Pentru inele necomutative există mai mulți analogi ai nilradicalului. Nilradicalul inferior (sau radicalul Baer–McCoy, sau radicalul prim) este analogul radicalului idealului nul și este definit ca intersecția idealelor prime ale inelului. Analogul mulțimii tuturor elementelor nilpotente este nilradicalul superior și este definit ca idealul generat de toate idealele nule ale inelului, care este el însuși un ideal nul. Mulțimea tuturor elementelor nilpotente în sine nu trebuie să fie un ideal (sau chiar un [[subgrup]]), deci nilradicalul superior poate fi mult mai mic decât această mulțime. Radicalul Levitzki se află între ele și este definit ca cel mai mare ideal local nilpotent. Ca și în cazul comutativ, când inelul este artinian, radicalul Levitzki este nilpotent și la fel este și unicul cel mai mare ideal nilpotent. Într-adevăr, dacă inelul este doar noetherian, atunci radicalul inferior, superior și Levitzki sunt nilpotente și coincid, permițând definirea nilradicalului oricărui inel noetherian ca cel mai mare ideal unic ([[la stânga și la dreapta |la stânga, la dreapta sau bilateral]]) nilpotent al inelul.

== Note ==
<references />

== Bibliografie ==
* {{en icon}} Eisenbud, David, "Commutative Algebra with a View Toward Algebraic Geometry", [[Graduate Texts in Mathematics]], 150, Springer-Verlag, 1995, {{ISBN|0-387-94268-8}}
* {{en icon}} {{Citation | last1=Lam | first1=Tsit-Yuen | title=A First Course in Noncommutative Rings | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-95325-0 |mr=1838439 | year=2001}}
{{Portal|Matematică}}

[[Categorie:Algebră comutativă]]
[[Categorie:Ideale]]