подсхема
11ГЛАДКАЯ СХЕМА — обобщение понятия неособого алгебраического многообразия. Схема X(локально) конечного типа над полем kназ. гладкой схемой (над k), если схема, полученная из Xс помощью замены поля констант kна его алгебраяч. замыкание k, является регулярной… …
12ИЗОГЕНИЯ — эпиморфизм групповых схем с конечным ядром. Морфизм групповых схем f : над базисной схемой S наз. изогенией, если f сюръективен и его ядро Кег(f) есть плоская конечная групповая S схема. В дальнейшем предполагается, что S есть спектр поля… …
13КОГОМОЛОГИЧЕСКАЯ РАЗМЕРНОСТЬ — 1) К. p. (dimGX) топологического пространства Xотносительно группы коэффициентов G максимальное целое число р, для к рого в X найдутся замкнутые подмножества Атакне, что когомологий Н p( Х, A; G )отличны от нуля. Аналогично определяется… …
14НОРМАЛЬНЫЙ ПУЧОК — аналог нормального расслоения в теории пучков. Пусть морфизм окольцованных пространств такой, что гомоморфизм сюръективен, и пусть Тогда есть пучок идеалов в и поэтому является модулем. Пучок …
15ПРИВЕДЕННАЯ СХЕМА — схема, локальное кольцо любой точки к рой не содержит ненулевых нильпотентных элементов. Для любой схемы существует наибольшая замкнутая приведенная подсхема , характеризуемая соотношениями где r х идеал, состоящий из всех нильпотентных элементов …
16ПРОЕКТИВНАЯ СХЕМА — замкнутая подсхема проективного пространства ; в однородных координатах x0, . . ., х п на проективная схема задается системой однородных алгебраич. уравнений: Каждая П. с. является полной (компактной в случае k= ); обратно, полная схема… …
17РЕГУЛЯРНАЯ СХЕМА — схема , локальное кольцо любой точки хк рой регулярно. Для схем конечного типа над алгебраически замкнутым полем kрегулярность эквивалентна тому, что пучок дифференциалов локально свободен. Регулярные локальные кольца факториальны, поэтому любая… …
18СИМПЛИЦИАЛЬНАЯ СХЕМА — (прежние названия симплициальный комплекс, абстрактный симплициальный комплекс) множество, элементы к рого наз. вершинами и в к ром выделены такие конечные непустые подмножества, наз. симплексами, что каждое непустое подмножество симплекса s… …
19УПРАВЛЯЮЩАЯ СИСТЕМА — одно из центральных понятий кибернетики. Так наз. объекты, к рые имеют определенную структуру и обладают нек рыми функциональными свойствами, отражающими их информационную природу. Понятие У. с. относится к числу понятий, к рые невозможно… …
20ФАНО СХЕМА — проективного алгебраического многообразия Х над полем k алгебраич. схема, параметризующая семейство прямых, лежащих на подмногообразии Xпроективного пространства Р n. Ф …
