Cтраница 3
Комплексы (2.3) и (2.4) будут рассматриваться как комплексы G-модулей, где действие группы G диагональное, поэтому можно применить следствие 5.7 из [ 4, гл. [31]
Следовательно, ОТ является гладким проективным многообразием, а G-модули (2.7) стандартным образом индуцируют векторные расслоения на ОТ, которые мы обозначим через 1А и 1А соответственно. Отметим, что, по построению, имеется естественное отождествление det Ui det [ / 2 линейных расслоений на ОТ. [32]
Ясно, что ядром G-гомоморфизма будет G-модуль и фактормо-дулем G-модуля по G-подмодулю - снова G-модуль. Пусть ЭКО - множество классов ( G, &) - модулей относительно G-изоморфизма. Это множество является моноидом, сложе ie в котором представляется на модулях прямой суммой. [33]
Ясно, что ядром G-гомоморфизма будет G-модуль и фактормо-дулем G-модуля по G-подмодулю - снова G-модуль. Пусть Шп - множество классов ( G, - модулей относительно G-изоморфизма. Это множество является моноидом, сложе -: ie в котором представляется на модулях прямой суммой. [34]
Наоборот, если на М задана структура унитарного % G-модуля, то М можно рассматривать как G-модуль. [35]
В силу теоремы VI.3.4 достаточно указать какой-нибудь невырожденный / ( G-модуль. Оказывается, в нашем случае уже регулярный / ( G-модуль невырожден. [36]
Здесь дополнительно: h - толщина ленты; Е и G-модули упругости 1-го и 2-го рода материала ленты. [37]
Ср - удельная теплоемкость металла; Ts-абсолютная температура плавления; G-модуль сдвига; Е - модуль упругости; А - механический эквивалент теплоты; Y - удельный вес; Р - постоянный коэффициент, равный 8 5 кГ / ммг. [38]
Применяя эти интерпретации коциклов и кограниц к ZfGj-свободной резольвенте (2.4) тривиального G-модуля Z, приходим к следующему утверждению. [39]
Лемма 3.4. Если М - тривиальный G-модуль, то для любого правого G-модуля А тензорное произведение А с М канонически изоморфно тензорному произведению AG ( S) M, где AG A / AJG - наибольший фактор-модуль, действие группы G на котором тривиально. [40]
Если, в частности, /: E-F - - гомоморфизм G-модулей, то Tro ( /): E - - F является G-гомоморфизмом. [41]
Если представление р неприводимо, то мы будем также называть V неприводимым G-модулем или неприводимым пространством. [42]
Если V - другой неприводимый G-модуль со старшим весом V, то G-модули V, V изоморфны тогда и только тогда, когда К У. [43]
А есть G-комплекс), то Н ] ( А) будут G-модулями, и % ( А) определяется как элемент кольца характеров группы G. Оказывается при этом, что теорема об индексе может рассматриваться как обобщение Лефшеца теоремы о неподвижных точках, поскольку топологич. G может быть выражен через индекс сужения символа на подмножество М & С. [44]
Беря прямую сумму, мы видим, что Т ( Е) есть G-модуль и, следовательно, Т - функтор из категории G-модулей в категорию градуированных G-модулей. [45]