Кардинальность аффинного открытого покрытия квазиаффинной схемы Лемма. Пусть R -- нетерово кольцо конечной размерности Крулля d, и пусть W -- открытая подсхема в Spec R. Тогда W является объединением не более, чем d+1 главных аффинных открытых подсхем в Spec R.
Доказательство: индукция по d. Очевидно, можно предполагать, что W плотна в Spec R (иначе заменим Spec R на замыкание W). [Нифига не очевидно; здесь дыра, на самом деле. Сейчас еще посмотрим, может, заделается.] Ясно также, что можно заменить Spec R на ее максимальную приведенную замкнутую подсхему (отфакторизовать R по нильрадикалу). Пусть I -- идеал в R, соответствующий (скажем, приведенной) структуре замкнутой подсхемы на дополнении Spec R \ W.
База индукции: если d=0, то в наших предположениях кольцо R артиново, спектр его дискретен, W совпадает со всем Spec R, и является главным аффинным открытым подмножеством в самом себе.
Шаг индукции: пусть p
1, ..., p
n -- идеалы в R, соответствующие неприводимым компонентам Spec R (попросту, минимальные простые идеалы -- ввиду теоремы о примарном разложении в нетеровом кольце, существует конечное число таковых, и каждый простой идеал в R содержит один из p
i). В силу условия, что замыкание W равно Spec R, идеал I не содержится ни в одном из p
i.
В силу известной леммы об идеалах, содержащихся в конечном объединении простых идеалов, отсюда следует, что найдется элемент f ∈ I, не содержащийся ни в одном из p
i. Теперь факторкольцо R/(f) имеет размерность Крулля не больше d−1.
Применив утверждение леммы для d−1 к открытой подсхеме W ∩ Spec R/(f) в Spec R/(f) ⊂ R, получим набор элементов g
1, ..., g
d ∈ R/(f), такой что W ∩ Spec R/(f) есть объединение колец спектров R/(f)[g
i−1]. Другими словами это значит, что радикал идеала, порожденного (g
1, ..., g
d) в R/(f), равен I/(f). Теперь если f
i -- какие-то прообразы g
i в R, то радикал идеала, порожденного f, f
1, ..., f
d в R, равен I, что и требовалось.
--
Дыра, отмеченная выше: надо показать, что главное аффинное открытое подмножество в замыкании W в Spec R, содержащееся в W, является в то же время и главным аффинным открытым подмножеством в Spec R. Пусть замыкание W равно спектру кольца S = R/(p
1∩...∩p
k), где p
1, ..., p
n -- минимальные простые идеалы в R. Пусть подмножество U открыто в W и является главным аффинным открытым в замыкании W; это значит, что U = Spec S[g
−1] для некоторого g ∈ S и U не пересекается с замкнутым подмножеством, соответствующим идеалу p
k+1∩...∩p
n ⊂ R.
Поднимем g до элемента f ∈ R; тогда U есть пересечение Spec R[f
−1] c замыканием W в Spec R и оно же есть пересечение Spec R[f
−1] с открытым подмножеством W ⊂ Spec R. Таким образом, U есть открыто-замкнутое подмножество в Spec R[f
−1]. Поскольку открыто-замкнутое подмножество аффинной схемы является главным аффинным и главная аффинная подсхема главной аффинной подсхемы является главной аффинной подсхемой исходной аффинной схемы, U есть главное аффинное открытое подмножество в Spec R.
Update:
http://mathoverflow.net/questions/112239/radical-generation-of-ideals-in-noetherian-rings-reference-request