Группы когомологий малых размерностей над абелевыми группами тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Шапошникова, Елена Васильевна АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1997 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Автореферат по математике на тему «Группы когомологий малых размерностей над абелевыми группами»
 
Автореферат диссертации на тему "Группы когомологий малых размерностей над абелевыми группами"

1 КОЯ 1527

На правах рукописи

ШАПОШНИКОВА Елена Вакильевна

ГРУППЫ КОГОМОЛОГИЙ МАЛЫХ РАЗМЕРНОСТЕЙ НАД АБЕЛЕВЫМИ ГРУППАМИ

Специальность 01.01.06 - математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Москва 1997

Работа выполнена на кафедре алгебры Томского государственного университета.

Научный руководитель:

кандидат физико-математических наук, профессор БЕККЕР И.Х.

Официальные оппоненты:

доктор физико-математических наук, профессор ТУГАНБАЕВ АА.

кандидат физико-математических наук, доцент МАНОВЦЕВ АА.

Ведущая организация - Институт математики СО РАН.

-/•3 НС

Защита состоится «..„.„..».....,-й........... 1997 г. в ........часов на

заседании диссертационного Совета К 053.01.02 в Московском педагогическом государственном университете имени В.И. Ленина по адресу: 107140, Москва, ул. Краснопрудная, д. 14, математический факультет.

С диссертацией можно ознакомиться в библиотеке МПГУ имени В.И. Ленина по адресу: 119435, Москва, Малая Пироговская ул., д. 1.

£*£- "¡Г

Автореферат разослан «....„..:..»....................1997 года.

Ученый секретарь диссертационного Совета

КАРАСЕВ ГА

Актуальность темы. Изучение групп кошмологий малых размерностей— одна из тенденций развития современной когомологической теории групп.

В рамках когомологической теории групп решаются самые разнообразные и важные задачи из различных областей математики: топологии, геометрии, алгебры (теории расширений групп, теории Галуа, теории групп, теории алгебр, теории представлений и т.д.). Интересное применение получила эта теория в теоретической физике (например, при изучении явления квантовой аномалии). При этом в приложениях встречаются почти исключительно когомологии малых размерностей: 0, 1, 2 и изредка 3. Поэтому, не умаляя важности общей теории, без развития которой невозможно единообразное изучение групп когомологий, следует считать изучение групп когомологий малых размерностей, исходя из их теоретико-групповой интерпретации, актуальной задачей современной алгебры.

Алгебраические предпосылки теории групп когомологий появились в работах Шура [1], Шрайера [2], Брауэра [3] и Бэра [4,5]. За десятки лет цо появления общего определения гомологий и когомологий групп эти-уш учеными в связи с различными математическими проблемами были зведены и изучались объекты, позже получившие название групп когомо-тогий малых размерностей. Это были факторгруппа группы скрещенных хшоморфизмов по подгруппе главных скрещенных гомоморфизмов (груп-га Я1), группа классов эквивалентных наборов факторов (группа Я"2), и 1аже группа Н3 появилась в алгебраическом контексте в работе Тейхмюл-гера [6]. Выход в свет в 60-ые годы основополагающих книг А.Картана, ^.Эйленберга "Гомологическая алгебра" [7] и С.Маклейна "Гомология" [8] онаменовал рождение когомологической теории групп как самостоятель-юй математической дисциплины с собственными методами и собственным [редметом изучения. Современное состояние теории групп кошмологий тражено, например, в книге К.С. Брауна "Когомологии групп" [9].

Известной интерпретацией первой группы когомологий является сле-ующая. Пусть Г(О)— голоморф абелевой группы (7, то есть полупрямое асширение группы (7 с помощью группы АгИ;(7. Обозначим через Л'(Г) руппу всех внутренних автоморфизмов голоморфа, через Л<?(Г)— группу сех автоморфизмов голоморфа, отображающих группу в на себя. Первая руппа когомологий Н1(АпХО,С) группы АиЪО над группой С изоморфна «кторгруппе Аз(Г)/Л'(Г) [10]. Таким образом, если всякий автоморфизм эломорфа группы (7 является внутренним, то Н1(Аи1С, й) = 0, то есть ривиальность первой группы когомологий над группой — необходимое словие совершенности голоморфа этой группы.

Следует отметить также связь групп когомологий с группами расширений. Известно, что Я*(П,С) = Ех^и(г,С) [11, с.111.], где г[П]— групповое кольцо, а С— П-модуль (п > 1). Однако единых подходов к описанию групп Ех^вд^, (?) (групп ЕхЬя(А,В), где А,В— Д-модули, Л— произвольное ассоциативное кольцо) нет. Не считая некоторых частных случаев, немного известно как о свойствах элементов групп Ех^щ^.С) (Ех<;д(А,5)), так и о строении самих групп расширений. Вычисление же групп £Р(П, й) с помощью известных общих методов (резольвент, спектральных, точных последовательностей) даже в случае достаточно простых по строению конечных групп Н небольших порядков требует немалых усилий. Поэтому подходы, позволяющие изучать группы НП(П, <?), исходя из взаимосвязей между свойствами групп П и б, представляют определенный интерес.

Идейным источником данной работы является цикл работ Й.Х. Бек-кера [12—16], где получены условия равенства нулю первых групп когомологий над широкими классами абелевых групп. Предложенный И.Х. Беккерои подход к изучению групп когомологий Л^Ф,(?), где Ф < АтйСг, основывается на использовании взаимосвязей между свойствами абелевых групп и свойствами их групп автоморфизмов. Этот подход позволяет применить теорию абелевых групп к исследованию групп когомологий. Здесь данный метод исследования получил дальнейшее развитие и применен к новым классам абелевых групп.

Так как группы когомологий (гомологий) являются абелевыми группами, то их изучение средствами теории абелевых групп представляется естественным и интересным направлением в теории групп когомологий малых размерностей. По словам Л.Фукса, теория когомологий групп является областью математики, в которой широкое применение теории абелевых групп может быть очень плодотворным. Однако как абелевы группы группы когомологий фактически не изучались, и работы, относящиеся к этой тематике, неизвестны.

Методы ИССЛеДОВаНИЯ. В диссертации используются методы теории абелевых групп и модулей, методы когомологической теории групп.

Цель работы. Изучение групп когомологий малых размерностей над абелевыми группами.

Научная ПОВИЗНа. Результаты работы новые. Основными являются следующие:

1) получены условия тривиальности первых групп когомологий над следующими классами абелевых групп: 5-сепарабельными и обобщенно сепарабельными группами без кручения, группами без кручения ранга 2, смешанными сепарабельными группами;

-52) доказано, что группы когомологий малых размерностей (0, 1) над смешанными сепарабелъными абелевыми группами также сепарабельны; полнено описание первых групп когомологий над абелевыми группами без кручения с сильно однородными кольцами эндоморфизмов; доказана реализуемость произвольной абелевой группы в качестве первой группы когомологий Н1(Ф,<2), где С?— абелева группа, Ф— группа ее автоморфизмов.

Практическая ценность. Работа имеет теоретическое значение. Результаты работы могут быть использованы при изучении голоморфов абелевых групп, аффинных групп модулей и колец, групп расширений. Методы изучения групп когомологий малых размерностей, развиваемые в данной работе, могут быть применены при вычислении групп когомологий над модулями, кольцами и другими алгебраическими системами.

Апробация работы. Основные результаты диссертации были представлены на VI симпозиуме по теории колец, алгебр и модулей (Львов, 1990), на Международной конференция по алгебре, посвяшрнной памяти А.й. ПГиршова (Барнаул, 1991), на симпозиуме "Абелевы группы" (Бийск, 1994), докладывались на семинаре кафедры алгебры МПГУ и неоднократно обсуждались на алгебраических семинарах Томского государственного университета.

Публикации. По теме диссертации опубликовано 8 работ:

1. Беккер И.Х., Шапошникова Е.В. Первые группы когомологий над 5-сепарабельными абелевыми группами// VI симпозиум по теории колец, алгебр и модулей. Тезисы сообщений. Львов: Львовский госуниверситет им. Й.Я. Франко, Институт прикладных проблем математики и механики АН УССР, 1990. С. 17.

2. Беккер И.Х., Шапошникова Б.В. Скрещенные гомоморфизмы в Б-се-иарабельные абелевы группы без кручения// Абелевы группы и модули. Гомск: Изд-во Том. ун-та, 1991. Вып. 10. С. 9-16.

3. Беккер И.Х., Шапошникова Е.В. Первые группы когомологий над Целевыми группами без кручения ранга 2// Международная конференция по алгебре, посвященная памяти А.й. Ширшова. Тезисы докладов. 1овосибирск: Институт математики СО АН СССР, 1991. С. 20.

4. Беккер И.Х., Шапошникова Е.В. Первые группы когомологий над абелевыми группами без кручения ранга 2// Абелевы группы и модули. Гомск: Изд-во Том. ун-та, 1994. Вып. 11, 12. С. 53-62.

5. Шапошникова Б.В. Первые группы когомологий над обобщенно се-гарабельными абелевыми группами без кручения// Симпозиум "Абелевы руппы". Тезисы выступлений участников. Бийск: НИЦ БиГПЙ, 1994. С. 9-40.

-66. Шапошникова E.B. Первые группы когомологий над обобщенно се-парабельньши абелевыми группами без кручения// Абелевы группы и модули. Томск: Изд-во Том. ун-та, 1996. Вып. 13,14. С. 243-247.

7. Шапошникова Б.В. О равенстве нулю первых групп когомологий над смешанными сепарабельными абелевыми группами.— Томск, 1997.— iO е.//Рукопись депонирована в ВИНИТИ 12.03.97, №748-В97.

8. Шапошникова Б.В. Первые группы когомологий как абелевы группы.— Томск, 1997.— 30 с.//Рукопись депонирована в ВИНИТИ 12.03.97, W49-B97.

В совместных работах постановка задачи и выбор метода исследования принадлежат И.Х. Беккеру. Диссертанту принадлежат формулировки и доказательства результатов.

Структура И объём работы. Диссертация выполнена на 83 страницах машинописного текста и состоит из введения и трех глав. Библиография содержит 39 наименований.

Содержание диссертации

Работа посвящгна изучению условий тривиальности первых групп когомологий над абелевыми группами из различных классов (главы I, И) и исследованию свойств групп когомологий малых размерностей как абеле-вых групп (глава III).

Введение содержит краткий обзор литературы по теме диссертации, обоснование актуальности решаемых задач и краткое содержание диссертации.

Под П-модулем (Ф-модулем) подразумевается модуль над целочисленным групповым кольцом Z[n] (Z[$]), где П (Ф)— некоторая мультипликативная группа. Первая группа когомологий группы П лад П-модулем G определяется как факторгруппа ЛГ^П,^) = Z1(U,G)fBl(ÜiG), где

П,С7)— группа всех скрещенных гомоморфизмов из П в G, то есть всех отображений из П в G, для которых справедливо }{ху) = /(®)+®/(у), 1,1/6 П; ß^n.G)— подгруппа всех главных скрещенных гомоморфизмов, то есть скрещенных гомоморфизмов вида f(x) = а - ха, где а— фиксированный элемент группы G.

Первая глава состоит из трех параграфов и посвящена изучению условий равенства нулю первых групп когомологий G) над абелевыми группами без кручения. Основным рабочим предположением при этом является наличие в группе автоморфизмов Ф регулярного автоморфизма <7, ограничение которого на каждом прямом слагаемом группы С? есть регулярный автоморфизм этого прямого слагаемого.

-7В работе в целом большое место занимает изучение групп когомо-логий малых размерностей над абелевыми группами сепарабельными в различных смыслах. Так §1 содержит условия равенства нулю первых групп когомологий над 5-сепарабельными группами, где 5— система абелевых групп без кручения конечного ранга, для которой справедлив аналог теоремы Бэра-Куликова-Капланского.

Для З-сепарабельных групп С? через &(<?) обозначается множество прямых слагаемых группы (7, изоморфных группам из ¿У. При вычислении первой группы когомологий Н1(Ф, С?) над 5-сепарабельной группой (? требуется выделить в подмножество тех прямых слагаемых, тривиальность первых групп когомологий над которыми эквивалентна тривиальности первой группы когомологий над самой группой

Основными определениями являются следующие [13]. Подгруппу Н группы в назовем х-эндоморфной в б, х е Е(О), если всякий раз из того, что уд — Л € В, где д € б, следует д € И. Здесь Е(О)— кольцо эндоморфизмов группы С?. Через Ф// будем обозначать группу автоморфизмов подгруппы II группы <7, индуцированных автоморфизмами из Ф < Ат^С?, через <рц— автоморфизм подгруппы Н группы б, индуцированный автоморфизмом 6 АпЮ. Множество П(О) назовем <т-точным, если условие Нот (А, В) Ф 0 для групп А, В € П(<3) влечет существование такого мономорфизма ц : А В, что д(А)— (с — ст)-эндоморфлая подгруппа в В. Понятие ст-точности множества работает во всех

параграфах, где речь идет о сепарабельных группах. Важным является также понятие изолированной в группы А, то есть такой группы,

что Нот(/4, В) — 0 для любой группы В € П(Сг) \ {А}. Для ¿'-сепарабельных групп с ^-точными множествами О(О) изолированность прямого слагаемого А в эквивалентна его характеристичности в й.

Основным результатом этого параграфа является следующий Теорема 1.5 Пусть в— Б-сепарабелъная абелева группа, а е Ф < А иЮ.

1. Если группа Н\Ф, (7) = 0, то группа .Я^Фси6») - 0 <^иг любой изолированной группы <?; 6 П(С7).

2. Если группа Н1[= 0 для любой изолированной группы € О(б) о множество о-точное, то группа Н1(Ф,С) = 0.

В §2 получены условия тривиальности первых групп когомологий над группами без кручения ранга 2. Основные результаты этого параграфа следующие.

Теорема 2.4 Пусть <7— не 2-делимая сильно неразложимая однородная

абелева группа без кручения ранга 2, Ф = (<р0) х П (<рд = Дп) х П Д

¿6/ ¿6/

п = 2,4.

1. В случае п = 2 группа Д"1(Ф,б!) ф 0 тогда и только тогда, когда

-87; 6 22 для любого г 6 } и Оц Ф 0.

2. В случае п = 4 группа Н^Ф.б) Ф 0 тогда и только тогда, когда 7i € 2Z для любого i£Jue+<po& 2 Е^СИ).

Здесь / = {г € Г; (с - £ 2Е(С)}, Ся = {д € <?; г»;» € 1тф>, » €

= I» -к = ^ € Е(О), V,- = 11'Кк + /,-ч/3) е Е(е), с - = /г1*^ е

Е(<3), UiiVi,ki,li € : С}Е(£) —> (3(\/3)— изоморфизм между кольцом квазиэндоморфизмов группы й и квадратичным полем. Теорема 2.6 Пусть С?— не 2-делимая сильно неразложимая абелева группа без кручения ранга 2, у которой ]Г(С?)| = 2, С}Е(С}) ^ Ф < АиИЗ « Ф{д3), = (е). 5 таком случае группа Н1^?^) Ф 0 тогда и только тогда, когда для некоторых 0 ф а,Ь Е <2 элемент х — ауд\ + (|у2 + Ьу)д% существует в группе б для любого у € Нот((д\)*,{д2)*).

Здесь {51,52}— максимальная линейно независимая система элементов группы <2.

В качестве примера сформулированы условия равенства нулю первых групп когомологий над 52-сепарабельными группами, где £2— система абелевых групп без кручения рангов 1 и 2.

В §3 рассматриваются первые группы когомологий над обобщенно сепарабельньшн группами без кручения. При введении понятия "обобщенная сепарабельность" роль класса групп ранга 1 играют однородные группы без, кручения. Главная трудность этого параграфа заключается в том, что для обобщенно сепарабельных групп неизвестен аналог теоремы Фукса о сепарабельности прямого слагаемого. Здесь через обозначается множество всех однородных прямых слагаемых группы б.

Для обобщенно сепарабельной группы С множество групп Б — {А; € 0(0); * € 1} назовем

1) изолированным справа, если для любой группы А,- € £> Нот(А;, В) = О для любой группы В € П(С!) \ 5 (сумму групп £ А; изолированного

справа множества в будем называть изолированной справа группой);

2) изолированным слева, если для любой группы А,- е 5 Нот(В, А,) = О для любой группы В 6 П((?) \ 5;

3) связанным, если для любой пары групп А,- и А;- из 5 Нот(А,-, А;) ф О и Нот(А/, А,) ф 0.

Показано, что сумма групп изолированного справа множества является сервантной вполне характеристической подгруппой (лемма 3.1), а изолированного справа и слева множества— прямым слагаемым группы С? (лемма 3.2). Основным результатом §3 является

Теорема 3.3 Пусть С?— обобщенно сспарабелънал абелева группа, <г € Ф < АиЮ.

-91. Если группа Н1^^) = 0, то группа Л^Фс^С;) = 0 для любой изолированной справа группы €

2. Если а) группа Ф) = О для любой изолированной справа

группы б, б б) множество а-точное; в) любое изолированное справа связанное множество 5" С П(О), мощности больше 1, изолировано и слева, то группа -ЕГ^Ф, й) = 0.

Вторая глава посвящена изучению условий равенства нулю первых групп когомологий нал смешанными сепарабельными абелевыми группами и состоит из двух параграфов (§4,5). В §4 рассматриваются группы Н1^, С), где С?— смешанная сепарабельная группа, а группа автоморфизмов Ф удовлетворяет основному предположению из главы I, то есть содержит регулярный автоморфизм а, ограничение которого на любом прямом слагаемом группы <7 есть регулярный автоморфизм этого прямого слагаемого. Это предположение позволяет применить к вычислению группы .БГ^Ф, б) над смешанной сепарабельной группой <3 тот же подход, что и в главе I. При этом из того факта, что рассматриваемая группа £7 имеет автоморфизм а е Ф,с указанным выше свойством,следует, что 2-компонента группы б равна нулю и Л1(Ф,-, С?,-) = 0 для любого прямого слагаемого (7, = Z(pÍ!). Однако в отличие от сепарабельных и 5-сепара-бельных групп без кручения тривиальность первой группы когомологий над смешанной сепарабельной группой даже в этом случае не эквивалентна тривиальности первых групп когомологий над характеристическими прямыми слагаемыми ранга 1. Так как с появлением в сепарабельной группе С? периодической части обогащается класс прямых слагаемых без кручения ранга 1 и усложняются взаимосвязи между такими прямыми слагаемыми.

Для смешанной сепарабельной группы С? обозначим через 0(0) множество всех прямых слагаемых ранга 1 группы С?, через Т((?)— множество различных типов всех прямых слагаемых без кручения ранга 1 группы С?. <г-точность множество П(С7) понимается так же,как и в §1.

Введем следующее определение. Будем говорить, что ранг типа <(<?;) группы без кручения ф 6 равен 1, если существует прямое разложение (? = <.?,-© & такое, что дополнительное прямое слагаемое С не содержит прямых слагаемых группы С?, изоморфных б,-. В противном случае будем считать, что г(*(С;)) > 1.

Множество Э С Й(С?) назовем изолированным в Я(О), если для любой группы А Е 5 Нош(Л, В) = 0 для любой группы В 6 й(О) \ в. В частности, если 5 — {<?;}, то группу С; будем называть изолированной в Я(<?) группой. Показано (лемма 4.2), что сумма групп изолированного множества 5 С П((?)— вполне характеристическая подгруппа смешанной

сепарабельной грушгы (?. Легко видеть, что для прямого слагаемого б,-группы С? изолированность в П(С) эквивалентна его характеристичности.

Рассмотрим три подмножества множества

= {группы без кручения Gi € П(С?), изолированные в Й(С?)}, то есть Ох (С?)— это множество всех вполне характеристических прямых слагаемых без кручения ранга 1 группы <3;

= {группы без кручения ф € 0(6"); = 1 и <((?,-) макси-

мален в Т(С)};

П3(С) = {группы без кручения (7, е г(*((7,)) = 1 и если для

Су е > «(ф), то (с--- О}, а, = <т0>}.

Ясно, что С С Теперь можно сформулировать

главное утверждение этого параграфа.

Теорема 4.5 Пусть й— смешанная сепарабелъная абелева группа, а 6 Ф < АиЮ.

1. Если группа Я*(Ф,С) = 0, то группа — 0 для любой группы Gi Е Пз(<7).

2. Группа Н\Ф,(7) = 0, если

а) при а — —е, группа Я^Фс^С,) = 0 для любой группы б; 6

б) при а ф -с, группа Я^Фс^О = 0 для любой группы <?,- € ^(б) и множество <т-точное.

Получены следствия теоремы 4.5 для групп без кручения.

Перейдем к §5. Цель данного параграфа— получить условия тривиальности первых групп когомологий над смешанными сепарабельными группами с ненулевой конечной 2-компонентой. В более общем виде эту задачу можно сформулировать так: получить условия равенства нулю первой группы когомологий над полухарактеристически прямо разложимой группой в = О! ©<?2, (Ною(С?1,02) = 0), где прямое слагаемое (?1 не имеет регулярного автоморфизма, принадлежащего группе Ф, а Сг имеет такой автоморфизм. Для решения поставленной задачи используются точные когомологические последовательности.

Для короткой точной последовательности 0 —► С?! —► С2 —► бз —* О П-модулей точна последовательность групп когомологий [9, с.87]

О Я°(П, СО Я°(П, С2) Я°(П, Сз) (1)

-> Я1(П, вО -> Я^.СУа) Н\П, <?3) -»- - . •

Пусть Г— нормальная подгруппа группы П. Тогда точна последовательность [8, с.449]

JEf2(II/r,Gr) Я2(П,С).

Так как в условиях данного параграфа первые группы когомологий над периодическими прямыми слагаемыми ранга 1 группы G могут быть ненулевыми, рассмотрены условия тривиальности таких групп когомологий. При этом предварительно доказаны две леммы о свойствах автоморфизмов групп Z(pi), где р— простое число, к £ N.

Лемма 5.1 Нерегулярные автоморфизмы группы 2%j>k) и только они имеют порядки, являющиеся степенями число р.

Лемма 5.2 Пусть <р— автоморфизм порядка п группы Z(pk). Тогда

1) при либо tr-f </э + ... + <ря-1 = 0, если <р регулярен, либо Кег(е + ifi •+ ... -f v3"-1) — -М/ - <р), если <р нерегулярен;

&) прир = 2 либо е + <р 4- ... + <рп~1 = 0, либо Кег(с + <р + ,.. + <р"-1) = 1т(е - <р).

Теорема 5.3 Пусть G— циклическаяр-группа, Ф— произвольная группа ее автоморфизмов.

1. При р^2 группа Н1{ Ф, G) = 0.

2. При р — 2 группа Н1(Ф, G) Ф 0 тогда и только тогда, когда либо а) Ф — (ip), где tp удовлетворяет условию е+v +... + <р3'-1 = 0, о(<р) — 21, при этом Н1(Ф,С) = Д2); либо б) Ф— группа нециклическая, при этом Я3(Ф,С?) = Д2) или В\Ф,С) 2(2) Ф Д2).

Основной результат этого параграфа— условия тривиальности первой группы когомологий Я!(Ф, G) над полухарактеристически прямо разложимой группой G = G] ® С2, где только одно прямое слагаемое G2 имеет регулярный автоморфизм, содержащийся в группе Ф. Через J обозначается подгруппа элементов группы G, неподвижных относительно автоморфизмов из Ф. Предполагается, что группа автоморфизмов Ф содержит автоморфизмы, индуцированные на прямых слагаемых G\ и С2. Тогда Ф = Ф х ($! х Ф2), где Ф ~ 0 < Hom(G2,Gi), Ф1 и Ф2— группы автоморфизмов групп Gi и G2, индуцированных автоморфизмами из Ф. Теорема 5.7 Яусшь G = Gi ф G2> HorriGi,G2) = 0, <r2 6 Ф = Ф1 ч (Ф1 х Ф2) < ¿uiG.

i. Ям» Я1(*1»С?1) = 0, ЯЧФа.^з) = 0, Я1(Ф2, /) = 0, Я*(Ф,GJ* = 0, пк>я1(Ф.<г) = о.

5. Вели Я*(Ф, G) = о, то Я*(Ф3, Ga) = 0, Я"1^.J) =

В случае характеристического разложения группы G = G\ ® G2 (HomfGLGj) = Hom(Gx,Ga) = 0), <г3 € Ф < AutG, получен более полный ответ на вопрос о равенстве нулю группы Я*( Следствие 5.8 Пусть G — G\ ф G7, Hom(Gi,G2) = Hom(Gi,Gi) = 0, т2 е Ф < AutG. Группа ffJ(®,G) = 0 тогда и только тогда, когда ff^Gi) = 0, Я1(Ф2, G2) = 0, Н1\[Ф2) J) S Яот(Ф2, J) = 0.

Если группа автоморфизмов Ф содержит регулярный автоморфизм <г, индуцирующий регулярные автоморфизмы и на <?ь и на то условие !Г3(Ф2,«0 — 0 выполняется, и равенство нулю группы Н1(Ф,0) эквивалентно одновременному равенству нулю групп когомологий над характеристическими прямыми слагаемыми ^(Фх,^) и /Г^Фз,^)- Если же прямое слагаемое <?х не имеет регулярного автоморфизма из Ф, то группа Н1{Ф, С?) может быть отлична от нуля, в то время как группы Н1(Ф1,С1) и Н1{Фц С^) нулевые (теорема 5.10).

В третьей главе изучаются свойства групп когомологий малых размерностей (0 и 1) как абелевых групп.

Доказана теорема, описывающая первую группу когомологий £Г1(Ф,й) над группой (7, обладающей регулярным автоморфизмом а € С(Ф) (С(Ф)— центр группы Ф), как подгруппу неподвижных относительно индуцированного действия группы Ф элементов некоторой факторгруппы группы С. Такое описание, во-первых, показывает, что всегда, когда речь идет о первой группе когомологий Я1(Ф,Сг), все сказанное одновременно относится к нулевой группе когомологий Н°{Ф, С?/(е — о)С). Во-вторых, это описание позволяет определенные свойства группы С? перенести на группу Нх{Ф,0). Так показано, что свойство сепарабельности переносится на первую группу когомологий £Га(Ф,С), если С?— сепара-бельная абелева группа.

Теорема 6.3 Пусть О— смешанная сепарабельная абелева группа, с Е Ф < АиЮ. Тогда Н1{Ф,С)— сепарабельная периодическая группа. Следствие 6.4 Если О— вполне разложимая группа, а £ Ф < АиЮ> то Нх(Ф,0)— прямая сумма конечных циклических групп.

Далее изучается группа когомологий Н1(Ф,0), где (3— группа без кручения, а Ф обладает тем свойством, что всякий эндоморфизм вида с — ц>, где <р € Ф, есть целое кратное некоторого автоморфизма группы (7. Например, <7 может быть группой без кручения ранга 1 или группой без кручения с сильно однородным кольцом эндоморфизмов. Получено описание таких групп когомологий в терминах групп С и Ф. Теорема 6.С Пусть б?— абелева группа без кручения, Ф— группа ее автоморфизмов такая, что для любого е Ф <р € Ф справедливо е — = кф, где к вКф б АиЮ, и С(Ф) ф е. Тогда Н\Ф, = Е (с - <р)0.

Отсюда получены условия тривиальности групп 1У1(Ф,С;), где группы Ф и С такие, как сказано выше.

Следствие 6.7 Пусть (7— абелева группа без кручения, Ф— группа ее автоморфизмов такая, что для любого е Ф <р 6 Ф справедливо е— <р = кф, к е ТУ, ф € АиЪй, и С(Ф) ф е. Группа Н1(Ф,С) = 0 тогда и только тогда,

когда НОД{к 6 Ы; е - <р = кф, <г ф <р € Ф, ф € А«й7} = 1.

При определении первой группы когомологий для того, чтобы подчеркнуть роль П-модульной структуры иногда пишут 1ЭГ^(П,£г), где значок яф" указывает на фиксированную П-ыодульную структуру. Для коммутативной группы в задание структуры левого П-модуля равносильно заданию гомоморфизма а : П -+ АиК7. Для П-модуля (7 обозначаем л(П) = Ф < А^С. При этом Л°(П,(7) = Я°(Ф,(7), но Я^П.С?) ф Д^Ф.О). Соотношение между группами когомологий Я1(П,(7), где П-модульная структура на (7 произвольная, и группами когомологий /Г^Ф,^), где Ф < АМО, не является простым и известным. Если (7— тривиальный П-модуль, то Д'1(П,С!) ® Нот(П, О). Этот факт снимает вопрос о реализуемости произвольной группы (7 как первой группы когомологий, так как всякая абелева группа в = Бот(Х, й). Однако, если речь идет о группах когомологий Н1(Ф, (7), где Ф < Аи1<7, вопрос о том, какие абелевы группы реализуются в качестве таких групп когомологий представляет интерес (тривиальной П-модульной структуре здесь соответствует только группа Нг((е)> (7) = 0). В частности, во многих случаях, например, если группа автоморфизмов Ф содержит автоморфизм с, являющийся умножением группы С на некоторое рациональное число, или, как показывают теоремы 6.3 и 6.6, если (7— смешанная сепарабельная группа, а а— регулярный автоморфизм из С(Ф), либо (7— группа без кручения с сильно однородным кольцом эндоморфизмов, то первая группа когомологий -ЕГ^Ф^) является периодической группой. Закономерно возникает вопрос: может ли первая группа когомологий Н1(Ф,С) быть группой без кручения? Вопрос о том, какими свойствами обладают группы П1(Ф,0), где (7— абелева группа, Ф < АиЬй, как абелевы группы, связан с вопросом о том, могут ли такие группы Н\ф,С) обладать некоторым заданным свойством (например, быть группами без кручения). Доказана теорема о реализуемости произвольной абелевой группы в качестве группы Н1( ФуО).

Теорема 6.10 Для любой абелевой группы А существуют абелева группа (7 и группа Ф < АиЮ такие, что Н1(Ф,С) = А.

Эта теорема показывает, что класс групп Д1(Ф, <7), где Ф < АиК7, как класс абелевых групп не уже, чем класс абелевых групп ИГ^П,«?), где б— произвольный П-модуль.

Автор выражает глубокую признательность Й.Х. Беккеру за высокий профессионализм в руководстве работой, внимание и поддержку.

-14-

ЛИТЕРАТУРА

1. Schur J. Uber die Daxstellragen der endlichen Gruppen durch gebrochen lineare Substitutionen// J. reine angew. Math., 1904. 127. S. 20-50.

2. Schreier 0. Über die Erweiterungen von Gruppen, I// Monatsch. Math. Phys., 1926. 34. S. 165-180.

3. 3. Brauer R. Uber Zusammenhänge zwischen arithmetischen und invarianten teoretischen Eigenschaften von Gruppen lineare Substitutionen// Sitzungber. Preuss. Akad. Wiss., 1926. S. 410-416.

4. Baer E. A theory of crossed characters// Trans. Amer. Math. Soc., 1953. V. 54. P. 103-170.

5. Baer R. Crossed isomorphisms// Amer. J. Math., 1944. V. 66. P. 341404.

6. Teichmiiller O. Über die sogenannte nichtcommutative Galoische Theorie und die Relation = »,r// Deutsche Math., 1940. 5. S. 138-149.

7. Картан А., Эйленберг С. Гомологическая алгебра. М.: ИЛ, 1960.

8. Маклейн С. Гомология. М.: Мир, 1966. 543 с.

9. Браун К.С. Когомологий групп. М: Наука, 1987. 543 с.

10. Mills W.H. The automorphisms of the holomorph of a finite Abelian group// Trans. Amer. Mathl. Soc., 1957. V. 85. №1. P. 1-34.

11. Бурбаки H. Элементы математики. Алгебра, глава X. Гомологическая алгебра. М: Наука, 1987. 182 с.

12. Беккер Н.Х. О группах скрещенных гомоморфизмов групп автоморфизмов абелевых групп без кручения// Изв. вузов. Матем., 1973. №7. С. 3-11.

13. Беккер Й.Х. Первые группы когомологий над сепарабельными абе-левыми группами без кручения// Изв. вузов. Матем., 1983. №3. С. 3-11.

14. Беккер И.Х. Первые группы когомологий над межпрямыми суммами Л^-сепарабельных типа Р+ групп// Абелевы группы и модули. Томск: Изд-во Том. ун-та, 1981. С. 20-34.

15. Беккер Й.Х. Об абелевых группах без кручения с периодическими группами автоморфизмов// Изв, вузов. Матем., 1986. №2. С. 3-12.

16. Беккер Й.Х. Первые группы когомологий над слабо транзитивными группами// Абелевы группы и модули. Томск: йзд-во Том. ун-та, 1996. Вып. 13,14. С. 20-34.