- сюръективный
- adj. surjective
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
АЛГЕБРАИЧЕСКОЕ ПРОСТРАНСТВО — обобщение понятия схемы и алгебраического многообразия. К этому обобщению приводят нек рые конструкции алгебраич. геометрии: схемы Гильберта, схемы Пикара, мнoгообразия модулей, стягивания, не выполнимые зачастую в категории схем и требующие… … Математическая энциклопедия
АФФИННОЕ МНОГООБРАЗИЕ — аффинное алгебраическое многообразие, обобщение понятия аффинного алгебраического множества. А. м. есть приведенная аффинная схема X конечного типа над полем k, т. е. , где А коммутативная fe алгебра конечного типа без нильпотентных элементов. А … Математическая энциклопедия
АФФИННОЕ ПРОСТРАНСТВО — над полем k множество А(элементы к рого наз. точками А. п.), к рому сопоставлены векторное пространство над (наз. пространством присоединенным к А).и отображение множества в пространство (образ элемента обозначается и наз. вектором с началом аи… … Математическая энциклопедия
ВЕКТОРНОЕ АНАЛИТИЧЕСКОЕ РАССЛОЕНИЕ — локально тривиальное аналитич. расслоение над аналитич. ространством, слои к рого обладают структурой n мерного векторного пространства над основным полем k(если иоле комплексных чисел, то аналитич. расслоение наз. также голоморфны м). Число пназ … Математическая энциклопедия
ЗАРИСКОГО ТЕОРЕМА — о связности: пусть f: собственный сюръективный морфизм неприводимых многообразий и пусть поле рациональных функций k(Y)сепарабельно алгебраически замкнуто в k(Х), а нормальная точка, тогда f 1(y)связно (и более того, геометрически связно) (см.… … Математическая энциклопедия
КАРТАНА ПОДГРУППА — группы G максимальная нильпотентная подгруппа Св G, всякий нормальный делитель конечного индекса к рой является подгруппой конечного индекса в своем нормализаторе в G. Если G связная линейная алгебраич. группа над полем характеристики 0, то К. п … Математическая энциклопедия
КОНГРУЭНЦ-ПРОБЛЕМА — всякая ли подгруппа конечного индекса группы G О, где О кольцо целых элементов поля алгебраич. чисел k,a G связная линейная алгебраическая k определенная группа, является конгруэнц подгруппой?Это классическая постановка К. п. Современный вариант… … Математическая энциклопедия
ПЛОСКИЙ МОРФИЗМ — морфизм схем такой, что для любой точки локальное кольцо является плоским над (см. Плоский модуль). Вообще, пусть пучок модулей, он наз. плоским над Yв точке , если плоский модуль над кольцом … Математическая энциклопедия
ПРОЕКТИВНАЯ СХЕМА — замкнутая подсхема проективного пространства ; в однородных координатах x0, . . ., х п на проективная схема задается системой однородных алгебраич. уравнений: Каждая П. с. является полной (компактной в случае k= ); обратно, полная схема… … Математическая энциклопедия
РЕПЛИКА — а л г е б р а и ч е с к о й с и с т е м ы Ав заданном классе алгебраических систем той же сигнатуры алгебраическая система K0. из , обладающая следующими свойствами: 1) существует сюръективный гомоморфизм j0 системы Ана K0;2) если и j гомоморфизм … Математическая энциклопедия
Изоморфизм (математика) — Изоморфизм это очень общее понятие, которое употребляется в различных разделах математики. В общих чертах его можно описать так: Пусть даны два множества с определённой структурой (группы, кольца, линейные пространства и т. п.). Биекция между… … Википедия