Результаты поиска

...и топологических пространств]]), схемы (объекты [[Категория схем|категории схем]]). ...угой или наоборот, то есть, разделение составляющих категории на объекты и морфизмы имеет смысл только в рамках фиксированной категории. ...

'''Универсальный гомеоморфизм''' — [[морфизм]] [[Схема (математика)|схем]] <math>f \colon X \to Y</math>, такой, что для каждого морфизма <math>Y' \ {{iw|Морфизм схем|Морфизм схем|en|Morphism of schemes}} является универсальным гомеоморфизмом тогда и толь ...

...остранства, в частности, используются при определении [[схема (математика)|схем]]. ...математика)|схемы]] определяют как результат «склейки» нескольких аффинных схем. ...

...групп]] между группами ''k''-значных точек<ref>Если ''X''­ — предсхема, то морфизмы из ''S'' в ''X'', то есть элементы <math>h_X(S)</math>, будут называться '' [[Категория:Морфизмы схем]] ...

...ьных [[Коммутативное кольцо|коммутативных колец]] или [[Схема (математика)|схем]]. Это понятие было введено [[Келер, Эрих|Эрихом Келером]] в 1930-х. == Кэлеровы дифференциалы для схем == ...

...бразом вложено в касательное пространство аффинного пространства). Так как морфизмы полей [[инъективность|инъективны]], [[сюръекция]] полей вычетов, индуцирова ...точке ''x''{{sfn|Hartshorne|1977|loc=Exercise II 2.8}}. Таким образом, эти морфизмы имеет смысл называть '''касательными векторами'''. ...

...х пространств]] <math>f\colon X\to Y</math>, например [[Схема (математика)|схем]] в [[Алгебраическая геометрия|алгебраической геометрии]], часто работают с ...

...трия)|дифференциалы]], в [[теория колец|теорию колец]]. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометри Основным аппаратом теории схем являются [[теория категорий]], [[Пучок (математика)|теория пучков]], [[комм ...

...[Векторное расслоение|векторные расслоения]] и [[Конечный морфизм|конечные морфизмы]].}} {{опр|Бирациональный морфизм схем — это морфизм схем, который индуцирует изоморфизм их плотных открытых подмножеств. Пример бира ...

...войственности Серра||Serre duality}} на случай особых [[Схема (математика)|схем]] стала очевидной необходимость рассмотрения комплексов пучков вместо одног ...с теми же объектами, что и в <math>\operatorname{Kom}(\mathcal{A})</math>, морфизмы в которой — это классы эквивалентности морфизмов комплексов по отношению к ...

Морфизмы между (квази)когерентными пучками те же самые, что и морфизмы ''O''_''X''-модулей. Как следствие зануления когомологий аффинных схем, для отделимой схемы ''X'', аффинного открытого покрытия {''U''<sub>''i''</ ...

...ое пространство. Ключевым её достижением стала [[Схема (математика)|теория схем]] [[Гротендик, Александр|Александра Гротендика]], позволившая применить [[П ...потент]]ов. Обнаружение этой эквивалентности стало начальной точкой теории схем. ...