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 yn sunt și ele elemente din Q pentru unele n > 0. De exemplu, în inelul numerelor întregi Z, (pn) 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
[modificare | modificare sursă]- Definiția poate fi reformulată într-o manieră mai simetrică: un ideal este primar dacă, ori de câte ori , avem sau sau . (Aici este radicalul lui .)
- 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ă , și , atunci este prim și , dar avem , și pentru orice n > 0, deci nu este primar. Descompunerea primară a este ; aici este -primar și este -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 ∈ Q pentru unele x ∉ 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, y2) 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 P2.
- Dacă A este un inel noetherian și P un ideal prim, atunci nucleul lui , 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 -ideale primare este -primar, dar un produs infinit de -ideale primare poate să nu fie -primar. Deoarece, de exemplu, într-un inel local noetherian cu idealul maximal , (teorema de intersecție a lui Krull) unde fiecare este -primar, de exemplu produsul infinit al idealului maximal (și, prin urmare, prim, și, prin urmare, primar) al inelului local(d) dă idealul nul, care în acest caz nu este primar (deoarece divizorul lui zero nu este nilpotent). De fapt, într-un inel noetherian un produs nevid al idealelor -primare este -primar dacă și numai dacă există un întreg astfel încât [4]
Note
[modificare | modificare sursă]Bibliografie
[modificare | modificare sursă]- en Atiyah, Michael Francis; Macdonald, I.G. (), 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. (), „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 (), „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 (), „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. (), Algèbre noethérienne non commutative, Mémor. Sci. Math., Fasc. CLIV. Gauthier-Villars & Cie, Editeur -Imprimeur-Libraire, Paris, p. 119, MR 0155861