Ideal fracționar

În matematică, în special în algebra comutativă, noțiunea de ideal fracționar este introdusă în contextul domeniilor de integritate și este deosebit de fructuoasă în studiul Format:Ill-wd. Într-un anumit sens, idealele fracționare ale unui domeniu de integritate sunt la fel cu idealele în care sunt permiși numitorii. În contextele în care se discută atât despre idealele fracționare cât și despre idealele obișnuite, pentru claritate acestea din urmă sunt uneori numite ideale întregi.

Definiție și noțiuni de bază

Fie $R$ un domeniu de integritate, iar $K=\mathrm{Frac}R$ corpul său de fracții.

Un ideal fracționar al $R$ este un $R$-Format:Ill-wd $I$ al $K$ astfel încât să existe un $r\in R$ nenul, astfel încât $rI\subseteq R$. Elementul $r$ poate fi considerat ca înlocuind numitorii din $I$, de unde și denumirea de ideal fracționar.

Idealele fracționare principale sunt acele $R$-submodule ale $K$ generate de un singur element nenul din $K$. Un ideal fracționar $I$ este conținut în $R$ dacă și numai dacă este un ideal (întreg) al lui $R$.

Un ideal fracționar $I$ se numește inversabil dacă există un alt ideal fracționar $J$ astfel încât

$IJ=R$

unde

$IJ=\{a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n:a_i\in I,b_j\in J,n\in {\mathbb{Z}}_{>0}\}$

este produsul celor două ideale fracționare.

Mulțimea idealelor fracționale inversabile formează un grup abelian în raport cu produsul de mai sus, unde unitatea este idealul unitate $(1)=R$ însuși. Acest grup este numit grupul idealelor fracționare al lui $R$. Idealele fracționare principalele formează un subgrup. Un ideal fracționar (nenul) este inversabil dacă și numai dacă este Format:Ill-wd ca $R$-Format:Ill-wd. Din punct de vedere geometric, asta înseamnă că un ideal fracționar inversabil poate fi interpretat ca Format:Ill-wd de rangul 1 peste Format:Ill-wd $\text{Spec}(R)$.

Orice $R$-submodul Format:Ill-wd din Format:Mvar este un ideal fracționar și dacă $R$ este Format:Ill-wd acestea sunt toate idealele fracționale ale lui $R$.

Domenii Dedekind

În Format:Ill-wd, situația este mult mai simplă. În special datorită faptului că orice ideal fracționar nenul este inversabil. De fapt, această proprietate caracterizează domeniile Dedekind:

Un domeniu de integritate este un domeniu Dedekind dacă și numai dacă orice ideal fracționar nenul este inversabil.

Mulțimea idealelor fracționare peste un domeniu Dedekind $R$ se notează $\text{Div}(R)$.

Grupul său factor de ideale fracționare în funcție de subgrupul de ideale fracționare principale este un invariant important al unui domeniu Dedekind, numit Format:Ill-wd.

Corpuri de numere

Pentru cazul particular al Format:Ill-wd $K$ (cum ar fi $\mathbb{Q}({\zeta }_n)$) există un inel asociat notat ${𝒪}_K$ numit inelul întregilor lui $K$. De exemplu, ${𝒪}_{\mathbb{Q}(\sqrt{d})}=\mathbb{Z}[\sqrt{d}]$ pentru $d$ liber de pătrate și Format:Ill-wd cu $2,3(\text{mod }4)$. Proprietatea cheie a acestor inele ${𝒪}_K$ este că sunt domenii Dedekind. Prin urmare, teoria idealelor fracționare poate fi descrisă pentru inelele de numere întregi ale corpurilor de numere. De fapt, Format:Ill-wd este studiul unor astfel de grupuri ale claselor de inele.

Structuri asociate

Pentru inelul de întregi ${𝒪}_K$ al unui corp de numere, grupul de ideale fracționare formează un grup notat ${ℐ}_K$, iar subgrupul de ideale fracționare principale este notat ${𝒫}_K$. Grupul clasei de ideale este grupul de ideale fracționare modulo idealele fracționare principale, deci

${𝒞}_K:={ℐ}_K/{𝒫}_K$

iar numărul claselor sale, $h_K$, este ordinul grupului, $h_K=|{𝒞}_K|$. Într-un fel, numărul de clase este o măsură pentru cât de „departe” este inelul întregilor ${𝒪}_K$ de a fi un inel factorial. Acest lucru se datorează faptului că $h_K=1$ dacă și numai dacă ${𝒪}_K$ este un inel factorial.

Exemple

• $\frac{5}{4}\mathbb{Z}$ este un ideal fracționar peste $\mathbb{Z}$
• Pentru $K=\mathbb{Q}(i)$ idealul $(5)$ se factorizează în ${𝒪}_{\mathbb{Q}(i)}=\mathbb{Z}[i]$ drept $(2-i)(2+i)$
• În ${\mathbb{Q}}_{{\zeta }_3}$ există factorizarea $(3)=(2{\zeta }_3+1{)}^2$. Acest lucru se datorează faptului că dacă se înmulțește, se obține

$\begin{array}{cc}(2{\zeta }_3+1{)}^2& =4{\zeta }_3^2+4{\zeta }_3+1\\ & =4({\zeta }_3^2+{\zeta }_3)+1\end{array}$

Deoarece ${\zeta }_3$ satisface relația ${\zeta }_3^2+{\zeta }_3=-1$, factorizarea are sens.

• În $\mathbb{Q}(\sqrt{-23})$ se pot înmulți idealele fracționare

$I=(2,(1/2)\sqrt{-23}-(1/2))$ și $J=(4,(1/2)\sqrt{-23}+(3/2))$

pentru aobține idealul

$IJ=(-(1/2)\sqrt{-23}-(3/2)).$

Bibliografie

• Format:En icon Format:Citation
• Format:En icon Format:Citation
• Format:En icon Format:Citation, Chapter 9
• Format:En icon Format:Citation, Chapter VII.1
• Format:En icon Format:Citation, Chapter 11