Повне кільце часток

У комутативній алгебрі, повне кільце часток є узагальнення поля часток на комутативні кільця R, що не обов'язково є областями цілісності, тобто можуть мати дільники нуля.

Означення

Нехай $R$ є комутативним кільцем і $S$ — множина елементів, які не є дільниками нуля у $R$; тоді $S$ є мультиплікативною множиною. Локалізація кільця $R$ по множині $S$ (позначається $S^{-1}R=Q(R)$) називається повним кільцем часток кільця $R$.

Якщо $R$ є областю цілісності, то $S=R-\{0\}$ і повне кільце часток є полем часток.

Оскільки $S$ не містить дільників нуля, то природне відображення $R\to Q(R)$ є ін'єкцією і повне кільце часток є розширенням кільця $R$.

Приклади

• Повне кільце часток кільця голоморфних функцій на відкритій множині D є кільцем мероморфних функцій на D, навіть якщо D не є зв'язаною множиною.
• У кільці Артіна, всі елементи є оборотними або дільниками нуля. Тобто множина елементів, що не є дільниками нуля є групою оборотних елементів, тож $Q(R)=R$.
• Таку ж властивість мають комутативні, регулярні за фон Нейманом кільця R. Нехай $a\in R$ не є дільником нуля. Тоді a = axa для деякого x у кільці R, що дає рівність a(xa − 1) = 0. Оскільки a не є дільником нуля, xa = 1, то a є оборотним елементом. Тому $Q(R)=R$.

Властивості

• Повне кільце часток $Q(A\times B)$ добутку кілець є добутком повних кілець часток $Q(A)\times Q(B)$. Зокрема якщо A і B є областями цілісності, то повне кільце часток їх добутку є добутком полів.
• Для кільця $R$ і мультиплікативної множини $S\subset R$ елементи якої не є дільниками нуля $Q(R)\cong Q(S^{-1}R)$. Зокрема $Q(R)\cong Q(Q(R))$.

Якщо $x\in S^{-1}R$ не є дільником нуля і $x=r/f$ для $r\in R$ і $f\in S$, тоді $r$ не є дільником нуля у $R$. Тому $y=s/x\in Q(S^{-1}R),$ де $s=t/u,t\in R,u\in S$ має вигляд $y=(tf)/(ru)\in Q(R).$ Тож $Q(S^{-1}R)\subset Q(R).$ Обернене включення відразу випливає з властивостей локалізації.

• Нехай кільце $R$ має скінченну кількість мінімальних простих ідеалів ${𝔮}_1,\dots ,{𝔮}_t$ і об'єднання ${𝔮}_1\cup \dots \cup {𝔮}_t$ є множиною дільників нуля кільця $R$ (такі властивості задовольняє, наприклад, нетерове редуковане кільце). Тоді повне кільце часток $Q(R)$ є рівним $R_{{𝔮}_1}\times \dots \times R_{{𝔮}_t}$.

Розглянемо природні гомоморфізми $Q(R)\to R_{{𝔮}_i},$ які є коректно визначені оскільки всі елементи, що не є дільниками нуля належать $R\setminus {𝔮}_i$. Звідси одержується також натуральний гомоморфізм $Q(R)\to R_{{𝔮}_1}\times \dots \times R_{{𝔮}_t}$. Для немінімального простого ідеалу $𝔭\subset R$ з властивостей простих ідеалів $𝔭\subset ̸{𝔮}_1\cup \dots \cup {𝔮}_t$ і за умовою $𝔭$ містить елементи, що не є дільниками нуля. Тобто єдиними простими ідеалами кільця $R,$ що не містять елементів, що не є дільниками нуля є $\{{𝔮}_1,\dots ,{𝔮}_t\}$ і їх породжені їх образами при локалізації ідеали є єдиними елементами спектру $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(Q(R)).$ Тому $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(Q(R))$ є скінченною дискретною множиною і з властивостей спектру кільця у цьому випадку $Q(R)=A_1\times \dots \times A_t$ де $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(A_i)=\{q_i\}$. Також $A_i$ є локалізацією кільця $R$. Тому $A_i\cong R_{{𝔮}_i}$.

Див. також

• Локалізація кільця
• Поле часток

Посилання

• Шаблон:Cite web

Література

• Шаблон:Бурбаки.Коммутативная алгебра
• Hideyuki Matsumura, Commutative Ring Theory. Cambridge Studies in Advanced Mathematics, 8. Cambridge University Press, Cambridge, 1986. xiv+320 pp. ISBN 0-521-25916-9