Глобальна розмірність

• Нехай ${\displaystyle M}$— модуль над кільцем R. Точна послідовність ${\displaystyle \longrightarrow ...\longrightarrow E_{n}\longrightarrow ...\longrightarrow E_{0}\longrightarrow M\longrightarrow 0}$ називається лівою резольвентою модуля ${\displaystyle M}$. Якщо для кожного ${\displaystyle i}$, модуль ${\displaystyle E_{i}}$ є проективним (відповідно, плоским, вільним), то ця резольвента називається проективною (відповідно плоскою, вільною). Якщо ${\displaystyle E_{n}\neq 0}$ і ${\displaystyle E_{i}=0}$ для всіх ${\displaystyle i>n}$, ця резольвента називається резольвентою довжини ${\displaystyle n}$. Якщо такого цілого числа ${\displaystyle n}$ немає, резольвента має нескінченну довжину.
• Точна послідовність ${\displaystyle \longleftarrow ...\longleftarrow E^{n}\longleftarrow ...\longleftarrow E^{0}\longleftarrow M\longleftarrow 0}$ називається правою резольвентою модуля ${\displaystyle M}$. Якщо для всіх ${\displaystyle i}$, модуль ${\displaystyle E^{i}}$ є ін'єктивним, ця резольвента називається ін'єктивною. Довжина ін'єктивної резольвенти визначається подібно до проективної.
• Для всіх R-модулів ${\displaystyle M}$ існують вільні, а отже, проективні і плоскі резольвенти. Також для всіх R-модулів ${\displaystyle M}$ існують ін'єктивні резольвенти [2].

Позначимо ${\displaystyle {\overline {\mathbb {Z} }}=\mathbb {Z} \cup \left\{-\infty ,+\infty \right\}}$ і вважатимемо, що для всіх ${\displaystyle n\in \mathbb {Z} }$, ${\displaystyle -\infty <n<+\infty }$, ${\displaystyle -\infty +n=-\infty }$ і ${\displaystyle +\infty +n=+\infty }$.

Нехай ${\displaystyle M}$ — лівий модуль над R. Його проективною (ін'єктивною, плоскою) розмірністю, що позначається ${\displaystyle pd_{R}\left(M\right)}$ (відповідно ${\displaystyle id_{R}\left(M\right),fd_{R}\left(M\right)}$ називається точна нижня грань в ${\displaystyle {\overline {\mathbb {Z} }}}$ довжин проективних (відповідно, ін'єктивних, плоских) резольвент для ${\displaystyle M}$. Приймається також ${\displaystyle pd_{R}\left(0\right)=id_{R}\left(0\right)=df_{R}\left(0\right)=-\infty }$.

Можна дати еквівалентні означення (зокрема за допомогою функтора Ext):

• Лівий R-модуль ${\displaystyle M}$має проективну розмірність n тоді і тільки тоді коли n є максимальним числом для якого ${\displaystyle Ext_{R}^{n}\left(M,N\right)\neq 0}$ для деякого лівого R-модуля ${\displaystyle N;}$

• Лівий R-модуль ${\displaystyle M}$має проективну розмірність n тоді і тільки тоді коли n є максимальним числом для якого ${\displaystyle Ext_{R}^{n}\left(M,N\right)\neq 0}$ для деякого циклічного лівого R-модуля ${\displaystyle N;}$

• Лівий R-модуль ${\displaystyle M}$має проективну розмірність n тоді і тільки тоді коли n є максимальним числом для якого ${\displaystyle Ext_{R}^{n}\left(M,N\right)\neq 0}$ для деякого скінченнопородженого лівого R-модуля ${\displaystyle N;}$

• ${\displaystyle Ext_{R}^{n}\left(M,N\right)}$ є точним справа функтором від другого аргумента.

• Якщо ${\displaystyle m\geqslant n,}$послідовність модулів і гомоморфізмів

${\displaystyle 0\;\rightarrow \;X_{m}\;\rightarrow \;X_{m-1}\;\rightarrow \;\ldots \;\rightarrow \;X_{0}\;\rightarrow M\;\rightarrow \;0}$

є точною послідовністю і всі модулі ${\displaystyle X_{i},\;0\leq i<m}$ є проективними, то і модуль ${\displaystyle X_{n}}$ є проективним.

Для комутативних нетерових кілець проективна розмірність скінченномородженого модуля є локальною характеристикою, а саме виконується рівність:

${\displaystyle pd_{R}\left(M\right)=\sup _{{\mathfrak {m}}\ \in \ \operatorname {mspec} (R)}pd_{R_{\mathfrak {m}}}\left(M_{\mathfrak {m}}\right),}$

де ${\displaystyle \operatorname {mspec} (R)}$позначає множину максимальних ідеалів, а ${\displaystyle R_{\mathfrak {m}},M_{\mathfrak {m}}}$— локалізацію кільця і модуля за ідеалом

За допомогою двоїстості такі ж означення можна дати і для ін'єктивної розмірності.

• Модуль ${\displaystyle \mathbb {Q} }$ раціональних чисел над кільцем ${\displaystyle \mathbb {Z} }$ цілих чисел має плоску розмірність 0 і проективну розмірність 1.

• The module ${\displaystyle \mathbb {Q} /\mathbb {Z} }$ над кільцем ${\displaystyle \mathbb {Z} }$ має слабку розмірність 1 і ін'єктивну розмірність 0.

• Модуль ${\displaystyle \mathbb {Z} }$ над кільцем ${\displaystyle \mathbb {Z} }$ має слабку розмірність 0 і ін'єктивну розмірність 1.

• Нехай ${\displaystyle 0\;\rightarrow \;M'\;\rightarrow \;M\;\rightarrow \;M''\;\rightarrow \;0}$ є точною послідовністю лівих модулів над R і ${\displaystyle d=pd_{R}\left(M\right),\;d'=pd_{R}\left(M'\right),\;d''=pd_{R}\left(M''\right).}$ Тоді:

${\displaystyle d'\leq \max(d,d''-1),\;d''\leq \max(d,d'+1),\;d\leq \max(d',d'').}$

Зокрема якщо ${\displaystyle d<\max(d',d''),}$ ${\displaystyle d''=d'+1.}$

• Для того щоб модуль ${\displaystyle M}$ був проективним (ін'єктивним, плоским) необхідно і достатньо, щоб ${\displaystyle pd_{R}\left(M\right)\leq 0}$ (відповідно ${\displaystyle id_{R}\left(M\right)\leq 0,fd_{R}\left(M\right)\leq 0}$).

• Нехай ${\displaystyle R\to S}$ — гомоморфізм кілець. Тоді будь-який лівий S-модуль M можна розглядати як лівий R-модуль. При цьому:

${\displaystyle pd_{R}\left(M\right)\leq pd_{S}\left(M\right)+pd_{R}\left(S\right);}$

${\displaystyle fd_{R}\left(M\right)\leq fd_{S}\left(M\right)+fd_{R}\left({}_{R}S\right);}$

${\displaystyle id_{R}\left(M\right)\leq id_{S}\left(M\right)+id_{R}\left(S_{R}\right).}$

• Добуток нескінченної кількості полів має слабку розмірність 0 але ненульову глобальну розмірність.

• ${\displaystyle wgld\left(R\right)\leq lgd\left(R\right).}$ Якщо R є лівим нетеровим кільцем, то виконується рівність.
• Якщо R є нетеровим, то ${\displaystyle wgld(R)=lgd(R)=rgd(R)=gd(R)}$.
• Кільце матриць виду ${\displaystyle {\begin{bmatrix}\mathbb {Z} &\mathbb {Q} \\0&\mathbb {Q} \end{bmatrix}}}$має праву глобальну розмірність рівну 1, ліву глобальну розмірність рівну 2 і слабку розмірність рівну 1. Дане кільце є нетеровим справа але не зліва.
• Нехай ${\displaystyle A}$ є комутативним кільцем; тоді ${\displaystyle gd(A\left[X\right])=gd(A)+1}$ (теорема Гілберта про сизигії)). Отже, якщо ${\displaystyle K}$ є полем (або, у більш загальному випадку, напівпростим комутативним кільцем), ${\displaystyle gd(K\left[X_{1},...,X_{n}\right])=n}$[7].
• Нехай R — кільце головних ідеалів, що не є полем. Тоді ${\displaystyle gd\left(R\right)=1.}$
• Нехай R — комутативне кільце, ${\displaystyle S\subset R}$— мультиплікативна множина, яка не містить дільників нуля і ${\displaystyle T}$ — локалізація ${\displaystyle S^{-1}R}$. Тоді ${\displaystyle gd(T)\leq gd(R)}$ і ${\displaystyle wgld(T)\leq wgld(R)}$[8].
• Область цілісності R є кільцем Прюфера, якщо і тільки якщо ${\displaystyle wgld(R)\leq 1}$[9].

• Кільце R називається лівим регулярним , якщо для кожного лівого скінченнопородженого R-модуля існує скінченна проективна резольвента. Подібним чином можна дати означення правого регулярного кільця. Кільце називається регулярним якщо воно є регулярним справа і зліва. [10] · [11] Для комутативних нетерових кілець це означення є еквівалентним стандартним.
• Якщо ${\displaystyle lgd(R)<+\infty }$, то R є очевидно лівим регулярним але Нагата дав у 1962 році приклад комутативного нетерового регулярного кільця з нескінченною глобальної розмірністю (і, відповідно, нескінченною розмірністю Круля) [12].
• Якщо R є регулярним комутативним кільцем, то всі локалізації ${\displaystyle T=S^{-1}R}$ R є регулярними.
• Якщо R є лівим регулярним нетеровим кільцем, то таким є і кільце ${\displaystyle R\left[X_{1},...,X_{n}\right]}$ (теорема Свана)[13].

• Ін'єктивний модуль
• Плоский модуль
• Проективний модуль
• Регулярне локальне кільце
• Резольвента (гомологічна алгебра)
• Розмірність Круля
• Функтор Tor

• Bourbaki, N. (2007). Algèbre, Chapitre 10: Algèbre homologique. Éléments de mathématique. Springer. с. 216. ISBN 3540344926.
• Lam, Tsit-Yuen (1999). Lectures on modules and rings. Graduate Texts in Mathematics No. 189. Berlin, New York: Springer-Verlag. ISBN 978-0-387-98428-5. MR 1653294.
• Matsumura, Hideyuki (1989). Commutative Ring Theory. Cambridge Studies in Advanced Mathematics 8. Cambridge University Press. ISBN 0-521-36764-6..
• McConnell, J. C.; Robson, J. C.; Small, Lance W. (2001). У Revised. Noncommutative Noetherian Rings. Graduate Studies in Mathematics 30. American Mathematical Society. ISBN 0-8218-2169-5..
• Mitchell, Barry (1965). Theory of Categories. Boston, MA: Academic Press.
• Nagata, Masayoshi (1962). Local rings. Interscience Tracts in Pure and Applied Mathematics 13. New York-London: Interscience Publishers a division of John Wiley & Sons . ISBN 0-88275-228-6. MR 0155856.
• Năstăsescu, Constantin; Van Oystaeyen, Freddy (1987). Dimensions of ring theory. Mathematics and its Applications 36. D. Reidel Publishing Co. ISBN 9789027724618. MR 894033. doi:10.1007/978-94-009-3835-9.
• Rotman, Joseph J. (1979). An introduction to homological algebra. Pure and Applied Mathematics 85. Boston, MA: Academic Press. ISBN 978-0-12-599250-3. MR 538169.