Ideal (teoria inelelor)

În matematică, mai exact în Format:Ill-wd, un ideal^[1]^[2] (plural: ideale^[1]^[2]) al unui inel este o submulțime particulară a elementelor sale. Idealele generalizează anumite submulțimi de numere întregi, cum ar fi numerele pare sau multiplii lui 3. Adunarea și scăderea numerelor pare conservă egalitatea și înmulțirea unui număr par cu orice număr întreg (par sau impar) rezultă un număr par; aceste închideri și proprietăți de absorbție sunt proprietățile care definesc un ideal. Un ideal poate fi folosit pentru a construi un inel factor similar cu modul în care în teoria grupurilor un Format:Ill-wd poate fi folosit pentru a construi un grup factor.

În numerele întregi, idealele corespund biunivoc cu numerele întregi nenegative: în acest inel, orice ideal este un ideal principal format din multiplii unui singur număr nenegativ. Totuși, în alte inele idealele pot să nu corespundă direct elementelor inelului, iar anumite proprietăți ale numerelor întregi, atunci când sunt generalizate la inele, se atașează mai natural la ideale decât la elementele inelului. De exemplu, idealele prime ale unui inel sunt analoge cu numerele prime, iar teorema chinezească a resturilor poate fi generalizată la ideale. Există o versiune a factorizării prime unice pentru idealele unui Format:Ill-wd (un tip de inel important în teoria numerelor).

Conceptul înrudit, dar distinct, al unui Format:Ill-wd în Format:Ill-wd este derivat din noțiunea de ideal din teoria inelelor. Un ideal fracționar este o generalizare a unui ideal, iar pentru claritate idealele obișnuite sunt uneori numite ideale întregi^[3].

Istoric

Ernst Kummer a introdus noțiunea de numere ideale pentru a servi drept factori „lipsă” în inelele de numere în care factorizarea unică eșuează; aici cuvântul „ideal” este în sensul de a exista doar în imaginație, în analogie cu obiectele „ideale” din geometrie, cum ar fi punctele de la infinit.^[4] În 1876, Richard Dedekind a înlocuit conceptul nedefinit al lui Kummer cu mulțimi concrete de numere, mulțimi pe care le-a numit ideale, în cea de-a treia ediție a cărții lui Dirichlet, Vorlesungen über Zahlentheorie, la care Dedekind adăugase multe suplimente.^[4]^[5]^[6] Mai târziu, noțiunea a fost extinsă de David Hilbert și în special de Emmy Noether dincolo de inelele numerice, pentru inelele polinomiale și a altor inele comutative.

Definiție și motivare

Pentru un inel arbitrar $(R, +, \cdot)$ , fie $(R, +)$ grupul aditiv. O submulțime Format:Mvar se numește ideal stâng^[7] al lui $R$ dacă este un subgrup aditiv al $R$ care „absoarbe înmulțirea la stânga a elementelor lui $R$ "; adică $I$ este un ideal stâng dacă îndeplinește următoarele două condiții:

$(I, +)$ este un subgrup al $(R, +),$
pentru orice $r \in R$ și orice $x \in I$ , produsul $r x$ este în $I$ .

Un ideal drept^[7] este definit prin înlocuirea condiției $r x \in I$ cu condiția $x r \in I$ . Un ideal bilateral^[7] este un ideal stâng care este și ideal drept, și uneori este numit, simplu, ideal. În limbajul Format:Ill-wd, definițiile înseamnă că un ideal stâng (respectiv drept, bilateral) al lui $R$ este un $R$ -submodul al lui $R$ când $R$ este văzut ca un $R$ -modul stâng (respectiv drept, bilateral). Când $R$ este un inel comutativ, definițiile idealului stâng, drept și bilateral au același rezultat, iar termenul de ideal este folosit singur.

Pentru a înțelege noțiunea de ideal, se consideră modul în care apar idealele în construcția inelelor de „elemente modulo”. Concret, fie inelul $ℤ / n ℤ$ al numerelor întregi modulo $n$ și un număr întreg $n \in ℤ$ ( $ℤ$ este un inel comutativ). Observația cheie aici este că se obține $ℤ / n ℤ$ luând șirul întregilor $ℤ$ și înfășurându-l în jurul său, astfel încât diferite numere întregi să fie echivalate. În acest sens, trebuie îndeplinite 2 cerințe:

1) $n$ trebuie echivalat (aliniat) cu 0 deoarece $n$ este congruent cu 0 modulo $n$ .

2) structura rezultată trebuie să fie și ea un inel.

A doua cerință obligă la echivalări suplimentare (adică, determină modul precis în care trebuie înfășurat

ℤ

în jurul său). Noțiunea de ideal apare atunci când se pune întrebarea:

Care este mulțimea exactă de numere întregi care trebuie echivalată cu 0?

Răspunsul este, fără a fi surprinzător, că este mulțimea

n ℤ = {n m ∣ m \in ℤ}

formată din toate numerele întregi congruente cu 0 modulo

n

. Adică

ℤ

trebuie înfășurată în jurul său de nenumărate ori, astfel încât numerele întregi

\dots, - 2 n, - n, n, 2 n, 3 n, \dots

vor fi aliniate cu 0. Dacă se examinează ce proprietăți trebuie să aibă această mulțime pentru ca

ℤ / n ℤ

să fie un inel, atunci se ajunge la definiția unui ideal. Într-adevăr, se poate verifica direct că

n ℤ

este un ideal al lui

ℤ

.

Notă. Trebuie făcute și echivalări cu alte elemente decât 0. De exemplu, elementele din $1 + n ℤ$ trebuie echivalate cu 1, elementele din $2 + n ℤ$ trebuie echivalate cu 2 și așa mai departe. Acestea, totuși, sunt determinate în mod unic de $n ℤ,$ deoarece $ℤ$ este un grup aditiv.

Se poate face o construcție similară în orice inel comutativ $R$ : se începe cu un $x \in R$ arbitrar și apoi se echivalează cu 0 toate elementele idealului $x R = {x r ∣ r \in R}$ . Se pare că idealul $x R$ este cel mai mic ideal care conține $x$ , numit ideal generat de $x$ . În general se poate începe cu o submulțime arbitrară $S \subseteq R$ și apoi să se echivaleze cu 0 toate elementele din idealul generat de $S$ : cel mai mic ideal $(S)$ astfel încât $S \subseteq (S)$ . Inelul obținut după echivalare depinde doar de idealul $(S)$ și nu de mulțimea $S$ cu care s-a început. Adică, dacă $(S) = (T)$ , atunci inelele rezultate vor fi identice.

Prin urmare, un ideal $I$ al unui inel comutativ $R$ captează canonic informațiile necesare pentru a obține inelul de elemente ale lui $R$ modulo o submulțime dată $S \subseteq R$ . Elementele lui $I$ sunt, prin definiție, acelea care sunt congruente cu zero, adică echivalate cu zero în inelul rezultat. Inelul rezultat se numește inelul factor din $R$ prin $I$ și este notat $R / I$ . Intuitiv, definiția unui ideal postulează două condiții naturale necesare pentru ca $I$ să conțină toate elementele desemnate drept „zerouri” de către $R / I$ :

$I$ este un subgrup aditiv al $R$ : zeroul 0 al $R$ este un „zero” $0 \in I,$ iar dacă $x_{1} \in I$ și $x_{2} \in I$ sunt „zerouri”, atunci $x_{1} - x_{2} \in I$ este și el un „zero".
Orice $r \in R$ înmulțit cu un „zero” $x \in I$ este un „zero” $r x \in I$ .

Se pare că condițiile de mai sus sunt și suficiente pentru ca $I$ să conțină toate „zerourile” necesare: niciun alt element nu trebuie să fie desemnat ca „zero” pentru a forma $R / I$ . (De fapt, niciun alt element nu ar trebui desemnat ca „zero” dacă se dorește să se facă cât mai puține echivalări.)

Notă. Construcția de mai sus funcționează și pentru idealele bilaterale, chiar dacă $R$ nu este neapărat comutativ.

Exemple și proprietăți

(Pentru simplitate, unele rezultate sunt menționate numai pentru idealele stângi, dar de obicei sunt adevărate și pentru idealele drepte cu modificările corespunzătoare ale notațiilor.)

Într-un inel Format:Mvar, mulțimea Format:Mvar în sine formează un ideal bilateral Format:Mvar numit ideal unitate. Este adesea notat și cu $(1)$ , deoarece este tocmai idealul bilateral generat (v. mai jos) de unitatea $1_{R}$ . De asemenea, mulțimea ${0_{R}}$ constând doar din Format:Math formează un ideal bilateral numit ideal nul, notat cu $(0)$ . (Unii autori numesc idealele zero și unitate ale unui inel Format:Mvar idealele triviale ale lui Format:Mvar.) Orice ideal (stâng, drept sau bilateral) conține idealul nul și este conținut în idealul unitate.^[8]
Un ideal (stâng, drept sau bilateral) care nu este idealul unitate este numit ideal propriu (deoarece este o submulțime proprie).^[9] Notă: un ideal stâng $𝔞$ este propriu dacă și numai dacă nu conține un element unitate, deoarece dacă $u \in 𝔞$ este un element unitate, atunci $r = (r u^{- 1}) u \in 𝔞$ pentru orice $r \in R$ . De obicei există o mulțime de ideale potrivite. De fapt, dacă Format:Mvar este un inel cu diviziune, atunci $(0), (1)$ sunt singurele sale ideale și invers: adică un inel Format:Mvar nenul este un inel cu diviziune dacă $(0), (1)$ sunt singurele ideale stângi (sau drepte). (Demonstrație: dacă $x$ este un element nenul, atunci idealul stâng principal $R x$ (v. mai jos) este nenul, prin urmare $R x = (1)$ ; adică $y x = 1$ pentru unele elemente $y$ nenule. La fel, $z y = 1$ pentru unele elemnte $z$ nenule. Atunci $z = z (y x) = (z y) x = x$ .)
Numerele întregi pare formează un ideal în inelul $ℤ$ al numerelor întregi, deoarece suma oricăror două numere întregi pare este pară, iar produsul oricărui întreg cu un întreg par este și el par; acest ideal este de obicei notat cu $2 ℤ$ . În general, mulțimea tuturor numerelor întregi divizibile cu un întreg $n$ este un ideal notat $n ℤ$ . De fapt, orice ideal nenul al inelului $ℤ$ este generat de cel mai mic element pozitiv al său, ca o consecință a teoremei împărțirii cu rest, deci $ℤ$ este un Format:Ill-wd.^[10]
Mulțimea tuturor polinoamelor cu coeficienți reali care sunt divizibile cu polinomul $x^{2} + 1$ este un ideal în inelul polinoamelor cu coeficienți reali $ℝ [x]$ .
Fie un inel $R$ și un întreg pozitiv $n$ . Pentru orice $1 \leq i \leq n$ , mulțimea tuturor matricilor $n \times n$ cu elemente din $R$ a căror linie Format:Mvar este zero este un ideal drept în inelul matricelor $n \times n$ $M_{n} (R)$ cu elemente din $R$ . Nu este un ideal stâng. Similar, pentru fiecare $1 \leq j \leq n$ , mulțimea tuturor matricelor $n \times n$ a căror coloană Format:Mvar este zero este un ideal stâng, dar nu un ideal drept.
Inelul $C (ℝ)$ al funcțiilor continue $f$ de la $ℝ$ la $ℝ$ pentru înmulțirea punctuală conține idealul tuturor funcțiilor continue $f$ astfel încât $f (1) = 0$ .^[11] Un alt ideal în $C (ℝ)$ este dat de acele funcții care se anulează pentru argumente suficient de mari, adică acele funcții continue $f$ pentru care există un număr $L > 0$ astfel încât $f (x) = 0$ ori de câte ori $| x | > L .$
Un inel se numește inel simplu dacă este nenul și nu are alte ideale bilaterale decât $(0), (1)$ . Astfel, un inel cu diviziune este simplu și un inel comutativ simplu este un corp. Format:Ill-wd peste un inel cu diviziune este un inel simplu.
Dacă $f : R \to S$ este un Format:Ill-wd, atunci nucleul $\ker (f) = f^{- 1} (0_{S})$ este un ideal bilateral al lui $R$ .^[12] Prin definiție, $f (1_{R}) = 1_{S}$ , astfel, dacă $S$ nu este inelul nul (deci $1_{S} \neq 0_{S}$ ), atunci $\ker (f)$ este un ideal propriu. În general, pentru fiecare ideal stâng Format:Mvar din Format:Mvar, preimaginea $f^{- 1} (I)$ este un ideal stâng. Dacă Format:Mvar este un ideal stâng al lui Format:Mvar, atunci $f (I)$ este un ideal stâng al subinelului $f (R)$ al lui Format:Mvar: cu excepția cazului în care Format:Mvar este surjectivă, $f (I)$ nu trebuie să fie un ideal al lui Format:Mvar; v. și extinderea și contracția unui ideal mai jos.
Corespondența idealului: Fiind dat un homomorfism de inele surjectiv $f : R \to S$ , există o corespondență bijectivă de păstrare a ordinii între idealele stângi (respectiv dreapte, bilaterale) a $R$ care conține nucleul $f$ și idealele stângi (respectiv dreapte, bilaterale) ale lui $S$ : corespondența este dată de $I \mapsto f (I)$ și preimaginea $J \mapsto f^{- 1} (J)$ . Mai mult, pentru inelele comutative, această corespondență bijectivă se limitează la idealele prime, la idealele maximale și la idealele radicale (v. secțiunea Tipuri de ideale pentru definițiile acestor ideale).
Dacă Format:Mvar este un Format:Mvar-modul stâng iar $S \subset M$ o submulțime, atunci anulatorul ${Ann}_{R} (S) = {r \in R ∣ r s = 0, s \in S}$ din Format:Mvar este un ideal stâng.
Fie $𝔞_{i}, i \in S$ un lanț ascendent de ideale stângi într-un inel Format:Mvar; adică $S$ este o mulțime total ordonată și $𝔞_{i} \subset 𝔞_{j}$ pentru orice $i < j$ . Atunci reuniunea $⋃_{i \in S} 𝔞_{i}$ este un ideal stâng al lui Format:Mvar. (Notă: acest fapt rămâne adevărat chiar dacă Format:Mvar este fără unitatea 1.)
Faptul de mai sus împreună cu lema lui Zorn demonstrează următoarele: dacă $E \subset R$ este o submulțime posibil vidă și $𝔞_{0} \subset R$ este un ideal stâng care este disjunct de Format:Mvar, atunci între idealele care conțin $𝔞_{0}$ și disjunct de Format:Mvar există un ideal care este maximal. (Din nou, acest lucru este valabil dacă inelului Format:Mvar îi lipsește unitatea 1.) Când $R \neq 0$ , luând $𝔞_{0} = (0)$ și $E = {1}$ , există între idealele stângi proprii un ideal stâng care este maximal (numit adesea ideal stâng maximal); vezi teorema lui Krull pentru mai multe.
O reuniune arbitrară de ideale nu trebuie să fie un ideal, dar afirmația următoarele este, totuși, adevărată: fie o submulțime posibil vidă Format:Mvar din Format:Mvar, există cel mai mic ideal stâng care conține pe Format:Mvar, numit idealul stâng generat de Format:Mvar și este notat cu $R X$ . Un astfel de ideal există deoarece este intersecția tuturor idealelor stângi care conțin ăe Format:Mvar. Echivalent, $R X$ este mulțimea tuturor [[combinație liniară |Format:Mvar-combinații liniare stângi (finite)]] ale elementelor lui Format:Mvar peste Format:Mvar:

R X = {r_{1} x_{1} + \dots + r_{n} x_{n} ∣ n \in ℕ, r_{i} \in R, x_{i} \in X} .

(deoarece o astfel de generare este cel mai mic ideal stâng care conține peFormat:Mvar.) Un ideal drept (respectiv bilateral) generat de Format:Mvar este definit în mod similar. Pentru „bilateral” trebuie folosite combinații liniare din ambele părți; adică,

R X R = {r_{1} x_{1} s_{1} + \dots + r_{n} x_{n} s_{n} ∣ n \in ℕ, r_{i} \in R, s_{i} \in R, x_{i} \in X} .

Un ideal stâng (respectiv drept, bilateral) generat de un singur element Format:Mvar se numește idealul principal stâng (respectiv drept, bilateral) generat de Format:Mvar și este notat prin $R x$ (respectiv $x R, R x R$ ). Idealul principal bilateral $R x R$ este adesea notat și prin $(x)$ . Dacă $X = {x_{1}, \dots, x_{n}}$ este o mulțime finită, atunci $R X R$ se scrie și ca $(x_{1}, \dots, x_{n})$ .
Există o corespondență bijectivă între ideale și Format:Ill-wd (relații de echivalență care respectă structura unui inel) pe inel: fiind dat un ideal $I$ al unui inel $R$ , fie $x \sim y$ dacă $x - y \in I$ . Atunci $\sim$ este o relație de congruență pe $R$ . Reciproc, având în vedere o relație de congruență $\sim$ pe $R$ , fie $I = {x \in R : x \sim 0}$ . Atunci $I$ este un ideal al lui $R$ .

Tipuri de ideale

Pentru a simplifica exprimarea, în descrierile următoare se presupune că toate inelele sunt comutative. Cazul necomutativ este discutat în detaliu în articolele respective.

Idealele sunt importante deoarece apar ca nuclee de Format:Ill-wd și permit definirea inelelor factor. Sunt studiate diferite tipuri de ideale, deoarece pot fi folosite pentru a construi diferite tipuri de inele factor.

Ideal maximal: un ideal propriu Format:Mvar se numește ideal maximal dacă nu există niciun alt ideal propriu Format:Mvar cu Format:Mvar o submulțime proprie a lui Format:Mvar. Inelul factor al unui ideal maximal este în general un inel simplu și este un corp pentru inele comutative (deoarece inelele comutative simple sunt corpuri).^[13]
Ideal minim: un ideal nenul se numește minimal dacă nu conține niciun alt ideal nenul.
Ideal prim: un ideal propriu Format:Mvar se numește ideal prim dacă pentru orice Format:Mvar și Format:Mvar din $R$ dacă Format:Mvar este în Format:Mvar, atunci cel puțin unul dintre Format:Mvar sau Format:Mvar este în Format:Mvar. Inelul factor al unui ideal prim este un inel prim în general și este un domeniu de integritate pentru inelele comutative.^[14]
Ideal radical sau ideal semiprim: Un ideal propriu Format:Mvar se numește radical sau semiprim dacă pentru orice Format:Mvar din Format:Mvar, dacă Format:Mvar este în Format:Mvar pentru unele Format:Mvar, atunci Format:Mvar este în Format:Mvar. Inelul factor al unui ideal radical este un inel semiprim pentru inelele generale și este un inel redus pentru inelele comutative.
Ideal primar: un ideal Format:Mvar este numit un ideal primar dacă pentru orice Format:Mvar și Format:Mvar din Format:Mvar, dacă Format:Mvar este în Format:Mvar, atunci cel puțin unul dintre Format:Mvar sau Format:Mvar este în Format:Mvar pentru un număr natural Format:Mvar. Orice ideal prim este primar, dar nu și reciproc. Un ideal primar semiprim este prim.
Ideal principal: un ideal generat de un singur element.^[15]
Ideal finit generat: ideal Format:Ill-wd ca Format:Ill-wd.
Ideal primitiv: un ideal primitiv stâng este anulatorul unui Format:Ill-wd stâng.
Ideal ireductibil: se spune că un ideal este ireductibil dacă nu poate fi scris ca o intersecție a idealelor proprii care îl conțin.
Ideale comaximale: două idealei $𝔦, 𝔧$ se spune că sunt comaximale dacă avem $x + y = 1$ pentru unele $x \in 𝔦$ și $y \in 𝔧$ .
Ideal regulat: termenul are mai multe semnificații.
Nilideal: un ideal este un nilideal dacă oricare dintre elementele sale este nilpotent.
Ideal nilpotent: cel puțin una dintre puterile sale este zero.
Ideal parametric: un ideal generat de un sistem de parametri.
Ideal perfect: un ideal propriu Format:Mvar într-un inel noetherian $R$ se numește ideal perfect dacă gradul său este egal cu dimensiunea proiectivă a inelului factor asociat,^[16] $grade (I) = proj \dim (R / I) .$ Un ideal perfect este un ideal nemixat.
Ideal nemixat: un ideal propriu Format:Mvar într-un inel noetherian $R$ se numește ideal nemixat (în înălțime) dacă înălțimea lui Format:Mvar este egală cu înălțimea fiecărui prim asociat Format:Mvar din Format:Mvar. (Acest lucru este mai tare decât a spune că Format:Mvar este echidimensional.

Alți doi termeni importanți care folosesc cuvântul „ideal” nu sunt întotdeauna ideale ale inelului lor:

Ideal fracționar: acesta este de obicei definit atunci când Format:Mvar este un domeniu comutativ cu corpul factor Format:Mvar. În ciuda numelor lor, idealele fracționare sunt submodule Format:Mvar ale lui Format:Mvar cu o proprietate particulară. Dacă idealul fracționar este conținut în întregime în Format:Mvar, atunci este într-adevăr un ideal din Format:Mvar.
Ideal inversabil: de obicei, un ideal inversabil Format:Mvar este definit ca un ideal fracționar pentru care există un alt ideal fracționar Format:Mvar astfel încât Format:Mvar. Unii autori pot folosi termenul de „ideal inversabil” pentru idealele inelelor obișnuite Format:Mvar și Format:Mvar cu Format:Mvar în alte inele decât domeniile.

Operații cu ideale

Suma și produsul idealelor sunt definite după cum urmează. Pentru idealele stâng, $𝔞,$ respectiv drept, $𝔟,$ ale unui inel Format:Mvar, suma lor este

𝔞 + 𝔟 = {a + b ∣ a \in 𝔞 and b \in 𝔟}

,

iar dacă $𝔞, 𝔟$ este bilateral,

𝔞 𝔟 = {a_{1} b_{1} + \dots + a_{n} b_{n} ∣ a_{i} \in 𝔞 and b_{i} \in 𝔟, i = 1, 2, \dots, n; for n = 1, 2, \dots},

adică produsul este idealul generat de toate produsele de forma Format:Mvar cu Format:Mvar în $𝔞$ și Format:Mvar în $𝔟$ .

Notă: $𝔞 + 𝔟$ este cel mai mic ideal stâng, respectiv drept care conține pe ambii $𝔞$ și $𝔟$ (sau reuniunea $𝔞 \cup 𝔟$ ), în timp ce produsul $𝔞 𝔟$ este conținut în intersecția lui $𝔞$ cu $𝔟$ .

Distributivitatea este valabilă pentru idealele bilaterale $𝔞, 𝔟, 𝔠$ ,

𝔞 (𝔟 + 𝔠) = 𝔞 𝔟 + 𝔞 𝔠

,

(𝔞 + 𝔟) 𝔠 = 𝔞 𝔠 + 𝔟 𝔠

.

Dacă un produs este înlocuit cu o intersecție, este valabilă o distributivitate parțială:

𝔞 \cap (𝔟 + 𝔠) \supset 𝔞 \cap 𝔟 + 𝔞 \cap 𝔠

unde egalitatea este valabilă dacă $𝔞$ conține pe $𝔟$ sau $𝔠$ .

Notă: Suma și intersecția idealelor sunt și ele ideale; cu aceste două operații, mulțimea tuturor idealelor unui inel dat formează o Format:Ill-wd Format:Ill-wd. Rețeaua nu este, în general, o Format:Ill-wd.

Dacă $𝔞, 𝔟$ sunt ideale ale unui inel comutativ Format:Mvar, atunci avem $𝔞 \cap 𝔟 = 𝔞 𝔟$ cel puțin în următoarele două cazuri:

𝔞 + 𝔟 = (1),

𝔞

este generat de elemente care formează un șir regulat modulo

𝔟 .

Un domeniu de integritate se numește Format:Ill-wd dacă pentru orice pereche de ideale $𝔞 \subset 𝔟$ , există un ideal $𝔠$ astfel încât $𝔞 = 𝔟 𝔠$ .^[17] Ca urmare se poate arăta că orice ideal nenul al unui domeniu Dedekind poate fi scris în mod unic ca un produs de ideale maximale, o generalizare a teoremei fundamentale a aritmeticii.

Exemple de operații cu ideale

În $ℤ$ avem

(n) \cap (m) = lcm (n, m) ℤ

deoarece $(n) \cap (m)$ este mulțimea numerelor întregi care sunt divizibile atât cu $n,$ cât și cu $m .$

Fie $R = ℂ [x, y, z, w]$ și $𝔞 = (z, w), 𝔟 = (x + z, y + w), 𝔠 = (x + z, w)$ . Atunci,

$𝔞 + 𝔟 = (z, w, x + z, y + w) = (x, y, z, w)$ și $𝔞 + 𝔠 = (z, w, x + z)$
$𝔞 𝔟 = (z (x + z), z (y + w), w (x + z), w (y + w)) = (z^{2} + x z, z y + w z, w x + w z, w y + w^{2})$
$𝔞 𝔠 = (x z + z^{2}, z w, x w + z w, w^{2})$
$𝔞 \cap 𝔟 = 𝔞 𝔟$ în timp ce $𝔞 \cap 𝔠 = (w, x z + z^{2}) \neq 𝔞 𝔠$

În primul calcul, se vede modelul general pentru suma a două ideale finit generate, este idealul generat de reuniunea generatorilor lor. În ultimele trei se observă că produsele și intersecțiile sunt identice ori de câte ori cele două ideale se intersectează în idealul nul. Aceste calcule pot fi verificate folosind Macaulay2.^[18]^[19]^[20]

Extinderea și contracția unui ideal

Fie Format:Mvar și Format:Mvar două inele comutative și fie Format:Mvar un homomorfism de inele. Dacă $𝔞$ este un ideal din Format:Mvar, atunci $f (𝔞)$ nu trebuie să fie un ideal din Format:Mvar (de exemplu, se ia Format:Mvar ca fiind includerea inelului numerelor întregi, Format:Mvar în corpul numerelor raționale Format:Mvar. extinderea $𝔞^{e}$ a lui $𝔞$ din Format:Mvar este definită a fi idealul din Format:Mvar generat de $f (𝔞)$ . Explicit,

𝔞^{e} = {\sum y_{i} f (x_{i}) : x_{i} \in 𝔞, y_{i} \in B}

Dacă $𝔟$ este un ideal din Format:Mvar, atunci $f^{- 1} (𝔟)$ este întotdeauna un ideal din Format:Mvar, numit contracția $𝔟^{c}$ lui $𝔟$ în Format:Mvar.

Presupunând că Format:Mvar este un homomorfism de inele, că $𝔞$ este un ideal din Format:Mvar și că $𝔟$ este un ideal din Format:Mvar, atunci:

$𝔟$ este prim în Format:Mvar $\Rightarrow$ $𝔟^{c}$ este prim în Format:Mvar.
$𝔞^{e c} \supseteq 𝔞$
$𝔟^{c e} \subseteq 𝔟$

În general este fals că $𝔞$ fiind prim (sau maximal) în Format:Mvar implică faptul că $𝔞^{e}$ este prim (sau maximal) în Format:Mvar. Multe exemple clasice ale acestui fapt provin din teoria numerelor algebrice. De exemplu, încorporarea $ℤ \to ℤ [i]$ . În $B = ℤ [i]$ , elementul 2 factorizează ca $2 = (1 + i) (1 - i)$ unde (se poate arăta că) niciunul dintre $1 + i, 1 - i$ nu este o unitate în Format:Mvar. Deci $(2)^{e}$ nu este prim în Format:Mvar (și, prin urmare, nu este maximal). Într-adevăr, $(1 \pm i)^{2} = \pm 2 i$ arată că $(1 + i) = ((1 - i) - (1 - i)^{2})$ , $(1 - i) = ((1 + i) - (1 + i)^{2})$ și prin urmare $(2)^{e} = (1 + i)^{2}$ .

Pe de altă parte, dacă Format:Mvar este surjectivă și $𝔞 \supseteq \ker f$ (ker fiind nucleul), atunci:

$𝔞^{e c} = 𝔞$ și $𝔟^{c e} = 𝔟$ .
$𝔞$ este un ideal prim în Format:Mvar $\Leftrightarrow$ $𝔞^{e}$ este un ideal prim în Format:Mvar.
$𝔞$ este un ideal maximal în Format:Mvar $\Leftrightarrow$ $𝔞^{e}$ este un ideal maximal în Format:Mvar.

Notă: Fie Format:Mvar o extindere de corp a lui Format:Mvar și fie Format:Mvar și Format:Mvar inelele numerelor întregi ale Format:Mvar, respectiv Format:Mvar. Atunci Format:Mvar este o extindere de întregi a lui Format:Mvar și fie Format:Mvar aplicația de includere de la Format:Mvar la Format:Mvar. Comportamentul unui ideal prim $𝔞 = 𝔭$ al lui Format:Mvar în extindere este una dintre problemele centrale ale Format:Ill-wd.

Note

↑ ^1,0 ^1,1 Cosmin Pelea, Algebră (curs 4), Universitatea Babeș-Bolyai, accesat 2023-08-01
↑ ^2,0 ^2,1 Aurelian Claudiu Volf, Aritmetica în inele (curs, p. 121), Universitatea „Alexandru Ioan Cuza” din Iași, accesat 2023-05-09
↑ Costel Gabriel Bontea, Corpuri cu divizori primi, Institutul de Matematică „Simion Stoilow” al Academiei Române, 11 septembrie 2012, accesat 2023-10-22, p. 8
↑ ^4,0 ^4,1 Format:En icon Format:Cite book
↑ Format:En icon Format:Cite book
↑ Format:Cite book
↑ ^7,0 ^7,1 ^7,2 Tiberiu Dumitrescu, Algebra 1 (curs, p. 66), Universitatea din București, accesat 2023-05-09
↑ Dummit, Foote, 2004, p. 243
↑ Lang, 2005, Section III.2
↑ Dummit, Foote, 2004, p. 243
↑ Dummit, Foote, 2004, p. 244
↑ Dummit, Foote, 2004, p. 243
↑ Format:En icon Format:Cite book
↑ Dummit, Foote, 2004, p. 255
↑ Dummit, Foote, 2004, p 251
↑ Format:En icon Format:Cite book
↑ Milnor, 1971, p. 9
↑ Format:En icon Format:Cite web
↑ Format:En icon Format:Cite web
↑ Format:En icon Format:Cite web

Bibliografie

Lectură suplimentară

Format:Citat carte

Legături externe

Format:Portal

Format:En icon Format:Cite web

Format:Control de autoritate

[CP-1] 1,0 ^1,1 Cosmin Pelea, Algebră (curs 4), Universitatea Babeș-Bolyai, accesat 2023-08-01

[ACV-2] 2,0 ^2,1 Aurelian Claudiu Volf, Aritmetica în inele (curs, p. 121), Universitatea „Alexandru Ioan Cuza” din Iași, accesat 2023-05-09

[3] Costel Gabriel Bontea, Corpuri cu divizori primi, Institutul de Matematică „Simion Stoilow” al Academiei Române, 11 septembrie 2012, accesat 2023-10-22, p. 8

[Stillwell-4] 4,0 ^4,1 Format:En icon Format:Cite book

[flt-5] Format:En icon Format:Cite book

[everest_ward-6] Format:Cite book

[TD-7] 7,0 ^7,1 ^7,2 Tiberiu Dumitrescu, Algebra 1 (curs, p. 66), Universitatea din București, accesat 2023-05-09

[8] Dummit, Foote, 2004, p. 243

[9] Lang, 2005, Section III.2

[10] Dummit, Foote, 2004, p. 243

[11] Dummit, Foote, 2004, p. 244

[12] Dummit, Foote, 2004, p. 243

[13] Format:En icon Format:Cite book

[14] Dummit, Foote, 2004, p. 255

[15] Dummit, Foote, 2004, p 251

[Matsumura1-16] Format:En icon Format:Cite book

[17] Milnor, 1971, p. 9

[18] Format:En icon Format:Cite web

[19] Format:En icon Format:Cite web

[20] Format:En icon Format:Cite web

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

Ideal (teoria inelelor)

Cuprins

Istoric

Definiție și motivare

Exemple și proprietăți

Tipuri de ideale

Operații cu ideale

Exemple de operații cu ideale

Extinderea și contracția unui ideal

Note

Bibliografie

Lectură suplimentară

Legături externe

Meniu de navigare

Ideal (teoria inelelor)

Istoric

Definiție și motivare

Exemple și proprietăți

Tipuri de ideale

Operații cu ideale

Exemple de operații cu ideale

Extinderea și contracția unui ideal

Note

Bibliografie

Lectură suplimentară

Legături externe

Meniu de navigare

Căutare