Cтраница 3
Функторный морфизм называется изоморфизмом, если все ч ( Х) суть изоморфизмы. [31]
Морфизмы объекта Л в себя называются эндоморфизмами. Из наших аксиом немедленно вытекает, что End ( Л) - моноид. [32]
Общий морфизм /: X - Y совершенный, если он разлагается на замкнутое совершенное вложение /: X - Р и гладкий морфизм р: Р - У. Если / собственный, можно считать что Р Р ( Е), где Е - векторное расслоение над У, а р - проекция. [33]
Морфизмы Зц t Ix называются проекциями прямого произведения. [34]
Морфизм R есть изоморфизм. [35]
Морфизм Фробениуса F: Х - - Х схемы X над F, определяется на любой аффинной открытой подсхеме ЗресЛсгА с помощью гомоморфизма колец а - а; на топологическом пространстве X морфизм F действует тождественно. [36]
Морфизм жестких представлений определяется естественным образом. Очевидно, что замена вектора а пропорциональным не меняет структуру жесткого представления. [37]
Рациональный морфизм Y - X свидетельствует о том, что поверхность X унирациональна. [38]
Биективный факторный морфизм является изоморфизмом. [39]
Несепарабельный конечный морфизм тг: X - У степени / устанавливает некоторые связи между подмногообразиями многообразий X и У. [40]
Морфизм связного полного многообразия в аффинное мно гообразие есть константа. [41]
Любой конечный несепарабельный морфизм степени р гладких поверхностей тг: X - У является морфизмом факторизации по р - замкнутому векторному полю без изолированных особенностей. [42]
Морфизму у ГДП G и Н соответствуют непрерывные в смысле топологий TG и TH отображения. [43]
Морфизмом в категории SET0 является любое отображение /; А - В, удовлетворяющее условию / ( Ол) - Ов. В категории групп нулевым объектом является единичная группа. [44]
Единичным морфизмом д любого объекта Ае 7.1 ( 1) является подалгебра прямого произведения А А, состоящая из всех пар вида ( а йК СКГА. [45]