Математическая энциклопедия - сепарабельное отображение
Связанные словари
Сепарабельное отображение
доминантный морфизм f неприводимых алгебраич. многообразий Xи , для к-рого поле K(X)является сепарабельным расширением подполя f* K(Y)(изоморфного K(Y). ввиду доминантности). Несепарабельные отображения существуют только тогда, когда характеристика росновного поля больше нуля. Если f конечный морфизм и его степень не делится на р, то он сепарабелен. При С. о. для точек в нек-ром открытом подмножестве дифференциал (df)x отображения f сюръективно отображает касательное пространство в и наоборот: если точки хи f (х)неособые и (df)x - сюръективен, то f есть С. о.
Термин "сепарабельность" употребляется для морфизмов и в ином смысле. Морфизм схем Xи Yназ. с е п а р а б е л ь н ы м, или (чаще) отделимым, если диагональ в замкнута. Композиция отделимых морфизмов отделима; отделим тогда и только тогда, когда для любой точки существует такая окрестность , что морфизм отделим. Морфизм аффинных схем всегда отделим. Существует критерий отделимости для нётеровых схем. А. Н. Рудаков.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 554 | |
2 | 480 | |
3 | 478 | |
4 | 470 | |
5 | 452 | |
6 | 438 | |
7 | 435 | |
8 | 431 | |
9 | 422 | |
10 | 422 | |
11 | 419 | |
12 | 411 | |
13 | 402 | |
14 | 373 | |
15 | 372 | |
16 | 370 | |
17 | 364 | |
18 | 361 | |
19 | 361 | |
20 | 361 |