| Home / lib / M_Mathematics / | ||
Shafarevich I.R. Sobranie sochinenij, tom 3, chast' 1 (1996)(ru)(600dpi)(KA)(T)(444s)_M_.djvu |
|
Size 4.4Mb Date Jun 22, 2005 |
считать, что
Из этого следует, как и на стр...
Таким
образом, все условия G8), G9) и (80) совместны, если
СМ = 1 (85')
для любого (р) для которого
Теперь нам остается только доказать, что существуют функции
Ci(^)> удовлетворяющие условиям F9) и G0)...
Пусть в цепочке полей Q С L С к С К группа Галуа поля К/О,
есть F • ©^ , где F - группа Галуа &/Q, (S^c - группа Галуа
К/к...
В этом поле определены инварианты
\х,Х] и (Х)м, инварианты [Х]ф, если \х, X] = (Х)м = 1, и инва-
инварианты [Xi^.^Xs-iiXs]^..^,^, если \х,Х] — (Х)м =
220 Изв...
ТО
i) 4- (p(a2i b2) = р(а3) 63), (92)
причем = означает равенство векторов в А о В...
Ввиду ука-
указанных свойств мы будем рассматривать классы X как характеры
модуля Ли...
Ввиду этого, степень
f(S) ^ п' + п77, что и доказывает теорему...
Действительно, пусть
d > с(<5, г, s) и Kj'r) D k - заданное нам шольцево поле с группой
Галуа F ¦ Ф^с над Q...
При этом М должно делиться
на I в степени хотя бы на 1 большей, чем произведение показателей
G и силовской I подгруппы группы F...
Если О, не содержит корня степени / из 1,
то обозначим k(Q через &, его группу - через F, естественный го-
гомоморфизм F на F - через <р(п) = и) и ядро этого гомоморфизма
- через С...
Возьмем за М число, содержащее любой
простой делитель / порядка G в степени большей, чем он входит
в произведение показателей силовских /-подгрупп групп Ni-\/N{...
Ввиду этого, подгруппа {<т, НПНа}, по-
порожденная <т и НГ\На, содержит НГ\На как нормальный делитель
индекса 2...
Предположим, что
Как мы показали,
Из абелевости Ef П k'/L следует, что rjh = 77, h ? Я...
Этим доказана возможность
выбора щ на каждом шаге так, чтобы удовлетворялись условия
A08), A09) и A10)...
Точно так же то, что р полностью рас-
распадается в к и удовлетворяет условиям A16), A18), A20), A22),
Построение полей алгебраических чисел ...
Исследование случая, когда 6 ? V,
проводится совершенно аналогично...
Нетрудно проверить,что две
кривые 7i и 72 рассматриваемого типа будут тогда и только тогда
бирационально эквивалентны над к, когда
где t - некоторый автоморфизм поля К(х, у), не меняющий элемен-
элементов поля К...
| © 2007 eKnigu | ||
| книжный магазин киев. . Некоторые считают, что статьи на тему здоровая беременность всем нужны. . Ищешь про увеличенный расход топлива? Тебе сюда. |