Cтраница 1
Нульмерное неприводимое многообразие состоит из конечного числа сопряженных над К точек. [1]
С неприводимым многообразием X ассоциируется его поле К ( Х) рациональных функций. [2]
Тогда существуют нормальное неприводимое многообразие У, сюръективный морфизм а: V - V с конечными слоями и изоморфизм К ( К) - алгебр / С ( V) - L. Многообразие V и морфизм а, по существу, единственны. [3]
Прямое произведение неприводимых многообразий является неприводимым многообразием. [4]
Пусть X - неприводимое многообразие, х Х - точка, локальное кольцо которой ( Ух целозамкнуто, f K ( X) - функция, не принадлежащая ( Ух. Тогда существует подмногообразие Y многообразия X, содержащее точку х, такое, что / l / feO для некоторой точки у е У, причем / принимает значение 0 на Y всюду, где она определена. [5]
Пусть М - трехмерное компактное ориентируемое неприводимое многообразие, у которого каждая компонента края является тором. ЛО подгруппе Н, которая есть образ я4 ( 5) в яДЛ /) при гомоморфизме, индуцированном вложением S М для некоторой компоненты S с: дМ ( В. [6]
Если исходить из неприводимого многообразия М, то соответствующий ему идеал р согласно § 126 прост. Если - общий корень идеала р, то i называется общей точкой многообразия М над полем К. [7]
Если исходить из неприводимого многообразия М, то соответствующий ему идеал р согласно § 126 прост. Если - общий корень идеала р, то называется общей точкой многообразия М над полем И. [8]
Согласно теореме 3 каждое неприводимое многообразие М обладает общей точкой. [9]
Согласно теореме 3 каждое неприводимое многообразие М обладает общей точкой. [10]
Тем самым построено два ориентируемых асферичных неприводимых многообразия со связпьтм краем, фундаментальные группы которых изоморфны тт имеют тривиальный центр, одно из которых можно униформизировать клейновой группой, а другое нет. [11]
Заметим, что Z - неприводимое многообразие, ибо многообразие У неприводимо, и слои канонического отображения неприводимы. [12]
Прямое произведение неприводимых многообразий является неприводимым многообразием. [13]
Предположим также, что Y - неприводимое многообразие. [14]
Предположим, что X, У - неприводимые многообразия и кольцо / ( [ У ] целозамкнуто. [15]