Ideal primar

În matematică, în special algebra comutativă, se spune că un ideal $Q$ propriu al unui inel comutativ $A$ este primar dacă ori de câte ori $xy$ este un element din $Q$ , atunci $x$ sau $y n$ sunt și ele elemente din $Q$ pentru unele $n > 0.$ De exemplu, în inelul numerelor întregi Z, ( $p n$ ) este un ideal primar dacă $p$ este un număr prim.

Noțiunea de ideal primar este importantă în teoria inelelor comutative deoarece orice ideal al unui inel noetherian^⁠(d) are o descompunere primară^⁠(d), adică poate fi scris ca o intersecție a unui număr finit de ideale primare. Acest rezultat este cunoscut sub numele de teorema Lasker–Noether. În consecință, un ideal ireductibil al unui inel noetherian este primar.

Există diferite metode de generalizare a idealelor primare la inele necomutative^[1] dar de obicei subiectul este studiat pentru inelele comutative. Prin urmare, se presupune că inelele din acest articol sunt inele comutative cu unitate.^⁠(d)

Exemple și proprietăți

Definiția poate fi reformulată într-o manieră mai simetrică: un ideal ${\mathfrak {q}}$ este primar dacă, ori de câte ori $xy\in {\mathfrak {q}}$ , avem $x\in {\mathfrak {q}}$ sau $y\in {\mathfrak {q}}$ sau $x,y\in {\sqrt {\mathfrak {q}}}$ . (Aici ${\sqrt {\mathfrak {q}}}$ este radicalul lui ${\mathfrak {q}}$ .)
Un ideal $Q$ al lui $R$ este primar dacă și numai dacă orice divizor al lui zero din $R/Q$ este nilpotent. (A se compara acest lucru cu cazul idealelor prime, unde $P$ este prim dacă și numai dacă orice divizor al lui zero din $R/P$ este de fapt zero.)
Orice ideal prim este primar și, în plus, un ideal este prim dacă și numai dacă este primar și semiprim (numit și radicalul idealului în cazul comutativ).
Orice ideal primar este un ideal principal.^[2]
Dacă $Q$ este un ideal primar, atunci radicalul lui $Q$ este în mod necesar un ideal prim $P$ , iar acest ideal se numește idealul prim asociat al $Q$ . În această situație, se spune că $Q$ este $P$ -primar.

Pe de altă parte, un ideal al cărui radical este prim nu este neapărat primar: de exemplu, dacă $R=k[x,y,z]/(xy-z^{2})$ , $>{\mathfrak {p}}=({\overline {x}},{\overline {z}})$ și ${\mathfrak {q}}={\mathfrak {p}}^{2}$ , atunci ${\mathfrak {p}}$ este prim și ${\sqrt {\mathfrak {q}}}={\mathfrak {p}}$ , dar avem ${\overline {x}}{\overline {y}}={\overline {z}}^{2}\in {\mathfrak {p}}^{2}={\mathfrak {q}}$ , ${\overline {x}}\nu \in {\mathfrak {q}}$ și ${\overline {y}}^{n}\not \in {\mathfrak {q}}$ pentru orice $n$ > 0, deci ${\mathfrak {q}}$ nu este primar. Descompunerea primară a ${\mathfrak {q}}$ este $({\overline {x}})\cap ({\overline {x}}^{2},{\overline {x}}{\overline {z}},{\overline {y}})$ ; aici $({\overline {x}})$ este ${\mathfrak {p}}$ -primar și $({\overline {x}}^{2},{\overline {x}}{\overline {z}},{\overline {y}})$ este $({\overline {x}},{\overline {y}},{\overline {z}})$ -primar.

Un ideal al cărui radical este maximal este însă primar.
Orice ideal $Q$ cu radicalul $P$ este conținut în cel mai mic ideal $P$ - primar: toate elementele $a$ astfel încât $ax \in Q$ pentru unele $x \notin P$ .

Dacă $P$ este un ideal prim maximal, atunci orice ideal care conține o putere a lui $P$ este $P$ -primar. Nu toate idealele $P$ -primare trebuie să fie puteri ale lui $P$ , dar cel puțin ele conțin o putere a lui $P$ ; de exemplu, idealul ( $x, y$ ²) este $P$ -primar pentru idealul $P$ = ( $x, y$ ) în inelul $k [x, y]$ , dar nu este o putere a lui $P$ , totuși îl conține pe $P$ ².
Dacă $A$ este un inel noetherian și $P$ un ideal prim, atunci nucleul lui $A\to A_{P}$ , aplicația de la $A$ la localizarea^⁠(d) lui $A$ la $P$ , este intersecția tuturor idealelor primare $P$ .^[3]
Un produs finit nevid de ${\mathfrak {p}}$ -ideale primare este ${\mathfrak {p}}$ -primar, dar un produs infinit de ${\mathfrak {p}}$ -ideale primare poate să nu fie ${\mathfrak {p}}$ -primar. Deoarece, de exemplu, într-un inel local noetherian cu idealul maximal ${\mathfrak {m}}$ , $\cap _{n>0}{\mathfrak {m}}^{n}=0$ (teorema de intersecție a lui Krull) unde fiecare ${\mathfrak {m}}^{n}$ este ${\mathfrak {m}}$ -primar, de exemplu produsul infinit al idealului maximal (și, prin urmare, prim, și, prin urmare, primar) $m=\langle x,y\rangle$ al inelului local^⁠(d) $K[x,y]/\langle x^{2},xy\rangle$ dă idealul nul, care în acest caz nu este primar (deoarece divizorul lui zero $y$ nu este nilpotent). De fapt, într-un inel noetherian un produs nevid al idealelor ${\mathfrak {p}}$ -primare $Q_{i}$ este ${\mathfrak {p}}$ -primar dacă și numai dacă există un întreg $n>0$ astfel încât ${\mathfrak {p}}^{n}\subset \cap _{i}Q_{i}.$ ^[4]

Note

^ v. Chatters–Hajarnavis, Goldman, Gorton–Heatherly și Lesieur–Croisot.
^ Demonstrația se găsește în lucrarea lui Fuchs.
^ Atiyah–Macdonald, Corolarul 10.21
^ Bourbaki, cap. IV, § 2, exercițiul 3

Bibliografie

en Atiyah, Michael Francis; Macdonald, I.G. (1969), Introduction to Commutative Algebra, Westview Press, p. 50, ISBN 978-0-201-40751-8
fr Bourbaki, Algèbre commutative
en Chatters, A. W.; Hajarnavis, C. R. (1971), „Non-commutative rings with primary decomposition”, The Quarterly Journal of Mathematics, Second Series, 22: 73–83, doi:10.1093/qmath/22.1.73, ISSN 0033-5606, MR 0286822
en Goldman, Oscar (1969), „Rings and modules of quotients”, Journal of Algebra, 13: 10–47, doi:10.1016/0021-8693(69)90004-0  , ISSN 0021-8693, MR 0245608
en Gorton, Christine; Heatherly, Henry (2006), „Generalized primary rings and ideals”, Mathematica Pannonica, 17 (1): 17–28, ISSN 0865-2090, MR 2215638
en Fuchs, Ladislas, On primal ideals
fr Lesieur, L.; Croisot, R. (1963), Algèbre noethérienne non commutative, Mémor. Sci. Math., Fasc. CLIV. Gauthier-Villars & Cie, Editeur -Imprimeur-Libraire, Paris, p. 119, MR 0155861

Legături externe

Portal Matematică

en Primary ideal la Enciclopedia Matematicii

[1] v. Chatters–Hajarnavis, Goldman, Gorton–Heatherly și Lesieur–Croisot.

[2] Demonstrația se găsește în lucrarea lui Fuchs.

[3] Atiyah–Macdonald, Corolarul 10.21

[4] Bourbaki, cap. IV, § 2, exercițiul 3

[1]

[2]

[3]

[4]