Различия
Здесь показаны различия между двумя версиями данной страницы.
| Предыдущая версия справа и слева Предыдущая версия | Последняя версия Следующая версия справа и слева | ||
|
glossary:topology:scheme [18.10.2011 21:26:46] Ладилова Анна |
glossary:topology:scheme [18.10.2011 23:10:02] Ладилова Анна |
||
|---|---|---|---|
| Строка 24: | Строка 24: | ||
| __Предложение 2.__ Схема <latex>X</latex> является целой тогда и только тогда, когда она приведена и неприводима. | __Предложение 2.__ Схема <latex>X</latex> является целой тогда и только тогда, когда она приведена и неприводима. | ||
| + | <wrap hide> | ||
| <hidden onVisible="Доказательство." onHidden="Доказательство." initialState="invisible"> | <hidden onVisible="Доказательство." onHidden="Доказательство." initialState="invisible"> | ||
| Если схема целая, то для любого открытого <latex>U</latex> кольцо <latex>\mathcal{O}_X(U)</latex> не имеет делителей нуля, а потому не имеет ненулевых нильпотентов, то есть <latex>X</latex> --- приведенная схема. | Если схема целая, то для любого открытого <latex>U</latex> кольцо <latex>\mathcal{O}_X(U)</latex> не имеет делителей нуля, а потому не имеет ненулевых нильпотентов, то есть <latex>X</latex> --- приведенная схема. | ||
| Строка 32: | Строка 33: | ||
| <latex>\blacksquare</latex> | <latex>\blacksquare</latex> | ||
| </hidden> | </hidden> | ||
| + | </wrap> | ||
| ===== Нетерова схема ===== | ===== Нетерова схема ===== | ||
| __Определение 7.__ Схема <latex>(X,\mathcal{O}_X)</latex> называется **локально нетеровой**, если она допускает покрытие открытыми подмножествами <latex>U_i</latex>, где <latex>U_i=\textrm{Spec}~A_i</latex> --- аффинная схема, и кольцо <latex>A_i</latex> [[:glossary:ring:noetherian|нетерово]]. | __Определение 7.__ Схема <latex>(X,\mathcal{O}_X)</latex> называется **локально нетеровой**, если она допускает покрытие открытыми подмножествами <latex>U_i</latex>, где <latex>U_i=\textrm{Spec}~A_i</latex> --- аффинная схема, и кольцо <latex>A_i</latex> [[:glossary:ring:noetherian|нетерово]]. | ||
