Когомології напівгруп

Размещено на http://www.allbest.ru/

Київський університет імені Тараса Шевченка

УДК 512.664.4

01.01.06 - алгебра і теорія чисел

Автореферат

дисертації на здобуття наукового ступеня доктора фізико-математичних наук

Когомології напівгруп

Новіков Борис Володимирович

Київ-1999

Дисертацією є рукопис

Робота виконана в Харківському державному університеті

Офіційні опоненти:

- доктор фізико-математичних наук, Міхальов Олександр Васильович, професор, проректор, Московський державний університет ім. М.В. Ломоносова, м. Москва

- доктор фізико-математичних наук, Понізовський Іосиф Соломонович, професор кафедри вищої математики, Російський державний гідрометеорологічний університет, м. Санкт-Петербург

- доктор фізико-математичних наук, Протасов Ігор Володимирович, професор кафедри дослідження операцій, Київський університет імені Тараса Шевченка, м. Київ

Провідна установа: Львівський державний університет ім. І. Франка, м. Львів

Захист відбудеться 30.08.1999 р. о 14-00 годині на засіданні спеціалізованої вченої ради Д 26.001.18 при Київському університеті імені Тараса Шевченка за адресою 252127, м. Київ-127, проспект акад. Глушкова, 6, Київський університет ім. Т.Шевченка, механіко-математичний факультет.

З дисертацією можна ознайомитись у науковій бібліотеці університету за адресою: м. Київ, вул. Володимирська, 58.

Автореферат розісланий 14.07.1999 р.

Вчений секретар спеціалізованої вченої ради Кириченко В.В.

Анотації

Новіков Б.В. Когомології напівгруп.- Рукопис.

Дисертація на здобуття наукового ступеня доктора фізико-математичних наук за спеціальністю 01.01.06 - алгебра і теорія чисел. - Київський університет ім. Т. Шевченка, Київ, 1999.

Дисертацію присвячено дослідженню когомологій напівгруп та їх застосуванням. Вивчено властивості напівгруп когомологічної вимірності 1, зокрема, доведено послаблену гіпотезу Мітчелла. Запропоновано нову конструкцію часткових когомологій напівгруп, одержано їхнє котроєчне зображення і зв'язок із когомологіями Ейленберга - Маклейна. З їхньою допомогою знайдено групи когомологій Ейленберга - Маклейна деяких класів напівгруп і, зокрема, дано ряд контрприкладів до гіпотези Мітчелла. Наведено використання часткових когомологій для класифікації сильно примарних асоціативних алгебр, отримано нові властивості моноїда Брауера.

Ключові слова: напівгрупи, групи когомологій напівгруп, часткові когомології, моноїд Брауера, когомологічна вимірність, рефлективна підкатегорія, ланцюговий комплекс, симпліціальний комплекс.

Novikov B.V. Cohomology of semigroups. Manuscript.

Thesis of the dissertation for obtaining of the degree of doctor of sciences in physics and mathematics, speciality 01.01.06 - algebra and number theory. Kyiv Taras Shevchenko University, Kyiv, 1999.

The thesis is devoted to investigation of semigroup cohomology and its applications. Properties of semigroups of cohomological dimension 1 are studied, in particular, the weakened Mitchell conjecture is proved. A new construction of partial cohomology is proposed, its cotriple presentation and relation to Eilenberg - MacLane cohomology is obtained. The Eilenberg - MacLane cohomology groups of some classes of semigroups are founded with the help of partial cohomology, and, in particular, the serie of counter-examples to the Mitchell conjecture is given. The using of partial cohomology for classification of the strongly primary algebras is proposed, new properties of the Brauer monoid are obtained.

Key words: semigroups, cohomology groups of semigroups, partial cohomology, Brauer monoid, cohomological dimension, reflective subcategory, chain complex, simplicial complex.

Новиков Б.В. Когомологии полугрупп. - Рукопись.

Диссертация на соискание ученой степени доктора физико-математических наук по специальности 01.01.06 - алгебра и теория чисел.- Киевский университет им. Т. Шевченко, Киев, 1999.

Диссертация посвящена исследованию когомологий полугрупп и их приложениям.

Получено применение 0-когомологий к классификации сильно примарных алгебр. Введено понятие модификации группы и предложено построение моноида Брауэра с помощью 0-когомологий группы Галуа. При определенных условиях найдено ядро гомоморфизма компоненты моноида Брауэра в группу Брауэра. Описаны некоторые типы модификаций циклической группы простого порядка.

Предложена новая конструкция частичных когомологий полугрупп, определяемых с помощью частичных функций из полугруппы в модуль над ней. В связи с тем, что частичные когомологии не являются производным функтором, дано их представление с помощью теории Барра - Бека. Введено понятие канонического корня как порождающего множества, удовлетворяющего некоторым условиям однозначности разложения элементов полугруппы и задающего область определения для частичных коциклов. Доказано, что для канонических J-корней группы частичных изоморфны группам когомологий Эйленберга - Маклейна. Полученные результаты использованы для вычисления когомологий Эйленберга - Маклейна некоторых классов полугруп и, в частности, дан ряд контрпримеров к гипотезе Митчелла.

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

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

Ключевые слова: полугруппы, группы когомологий полугрупп, частичные когомологии, моноид Брауэра, когомологическая размерность, рефлективная подкатегория, цепной комплекс, симплициальный комплекс.

Загальна характеристика роботи

Актуальність теми. Методи гомологічної алгебри протягом майже півсторіччя успішно використовуються для розв'язання задач у різноманітних розділах математики. Класичним прикладом є використання когомологій фундаментальних груп топологічних просторів в алгебраїчній топології. Необхідно відзначити також піонерські роботи

Д.К. Фаддєєва по побудові когомологій груп як апарата для дослідження поширень груп.

З когомологіями напівгруп справа обстоїть інакше. Хоча вони розглядалися вже А. Картаном і С. Ейленбергом у "Гомологічній алгебрі " (і навіть раніше - у статтях С. Ейленберга і С. Маклейна 1945 - 51 рр.), але вони не залучали до себе серйозної уваги алгебраїстів. Це викликано в першу чергу тим, що шрайерові поширення, пов'язані з 2- і 3-вимірними когомологіями Ейленберга - Маклейна (надалі ми будемо називати їх ЕМ-когомологіями), не грають такої ролі при дослідженні побудови напівгруп, як у теорії груп. Пізніше з'явився ряд робіт ([15 - 17] та ін.), у яких по різноманітних (нешрайерових) типах поширень побудовано нові конструкції когомологій напівгруп. Стало ясно, що застосування гомологічних методів у теорії напівгруп не вичерпується ЕМ-когомологіями.

Проте дослідження ЕМ-когомологій напівгруп продовжувалося. Першою фундаментальною роботою в цьому напрямку можна вважати статтю У. Нико [19], у якій вивчалися когомології різноманітних типів напівгруп, що мають ядро Сушкевича (найменший двобічний ідеал), і, зокрема, описано когомології цілком простих напівгруп (відзначимо, що в цій роботі зроблено також спробу зв'язати когомологічну вимірність із поняттям складності напівгрупи, введеним Роудсом і ін.).

Мало значення і робота Б. Мітчелла [18], у якій, зокрема, вивчалася когомологічна вимірність напівгруп. Мітчелл довів, що так звана частково свободна напівгрупа (свободний твір свободної групи і свободної напівгрупи) має когомологічну вимірність, яка дорівнює 1, і припустив по аналогії з відомою теоремою Столлінгса-Суона, що вірно й зворотне. Проте, дисертантом у 1982 р. був опублікований контрприклад до гіпотези Мітчелла, і таким чином, питання про властивості напівгруп вимірності 1 залишилося відкритим. Надалі ряд алгебраїстів [10, 20] розглядав питання про когомологічну вимірність деяких різновидів напівгруп.

Ще одна некласична конструкція когомологій з'явилася в результаті вивчення проективних зображень напівгруп [7]. При цьому мультиплікатор Шура являється не групою, а комутативною інверсною напівгрупою. Остання є, як відомо, напівструктурою груп, яка, у свою чергу, описується за допомогою спеціальної конструкції так званих 0-когомологій. Окремий випадок 0-когомологій (коли дія напівгрупи на модулі тривіальна), був розглянутий У. Кларком [11] при вивченні будови деяких матричних алгебр.

Пізніше дисертантом було показано, що 0-когомології являються корисними і для обчислення ЕМ-когомологій напівгруп; саме з їхньою допомогою був побудований вищезгаданий контрприклад до гіпотези Мітчелла. алгебра когомологія моноїд

Нарешті відзначимо серію робіт Хейла, Ларсона і Суідлера [12 -14, 21], у яких побудовано так званий моноїд Брауера, що описує клас сильно примарних асоціативних алгебр подібно тому, як група Брауера класифікує центральні прості алгебри. У дисертації показано, що вивчення моноїда Брауера теж зводиться до 0-когомологій.

Наведений вище короткий огляд показує, що зараз когомології напівгруп не тільки представляють самостійний інтерес, але і знаходять застосування в інших розділах алгебри. Тим більш актуальним стає питання про розробку методів їхнього обчислення. Цьому напрямку присвячено значну частину дисертації. Крім того, у ній викладаються результати застосування 0-когомологій до вивчення властивостей моноїда Брауера і досліджуються напівгрупи когомологічной вимірності 1.

У дисертації переважно використовуються методи гомологічної алгебри, теорії категорій і теорії напівгруп.

Зв'язок із науковими програмами і темами. Роботу виконано на кафедрі теорії функцій і функціонального аналізу механіко-математичного факультету Харківського державного університету. Дослідження, які лягли в основу даної дисертаційної роботи, проводилися відповідно до

1) НДР "Дослідження в теорії напівгруп і суміжних галузях математики'' (1994-95 рр., номер реєстрації 0194U012799);

2) НДР "Дослідження з теорії напівгруп і гомологічної алгебри''

(1996-97 рр., номер реєстрації 0197U009308).

Метою дисертації є:

а) застосування 0-когомологій до дослідження властивостей моноїда Брауера;

б) побудова теорії часткових когомологій напівгруп і використання їх до обчислення ЕМ-когомологій;

в) вивчення властивостей когомологічной вимірності напівгруп (в першу чергу, напівгруп із скороченням).

Наукова новизна, теоретична і практична цінність. Введено поняття модифікації групи, за допомогою якого отримано нові властивості моноїда Брауера.

Запропоновано нову конструкцію часткових когомологій напівгруп, вивчено їхні властивості (у тому числі котроєчне зображення і зв'язок із ЕМ-когомологіями). З їхньою допомогою знайдено групи ЕМ-когомологій деяких класів напівгруп і, зокрема, наведено серію контрприкладів до гіпотези Мітчелла.

Доведено, що напівгрупи із скороченням когомологічної вимірності 1 вкладаються до свободної групи. У комутативному випадку для таких напівгруп отримано повне описання.

Всі одержані в дисертаційній роботі результати є новими.

Практичне значення отриманих результатів. Результати і методи дисертації можуть бути застосовані в теорії асоціативних алгебр (для класифікації алгебр за допомогою часткових когомологій), для вивчення напівгруп і інших алгебраїчних систем малої когомологічной вимірності, для виявлення зв'язків між теорією напівгруп і алгебраїчною топологією. Вони також можуть бути використані в навчальному процесі при читанні лекцій по спеціальним курсам "Гомологічна алгебра", "Теория напівгруп" і "Когомології груп і напівгруп" на механіко-математичних і фізико-математичних факультетах вищих навчальних закладів України III і IV рівня акредитації.

Особистий внесок здобувача. Усі надруковані роботи з теми дисертації виконано без співавторів, за винятком [36] і [40] (співавтори - О.С. Кащєєва і К. Йорджев).

У обох статтях дисертанту належать постановки задач, а також доведення теорем 1.1, 1.2 у [36] і доведення усіх теорем у [40].

На захист виносяться наступні основні положення:

1. Вивчення за допомогою часткових когомологій властивостей моноїда Брауера; опис деяких типів модифікацій груп.

2. Побудова і властивості часткових когомологій напівгруп; застосування до обчислення класичних груп когомологій.

3. Дослідження різноманітних класів напівгруп когомологічної вимірності 1.

Усі результати дисертації являються математичними теоремами, доведеними на прийнятому в сучасної математиці рівні строгості.

Апробація результатів дисертації. Основні результати дисертаційної роботи доповідалися на таких конференціях, симпозіумах і семінарах:

XVI Всесоюзна алгебраїчна конференція - Ленінград, 1981;

XVII Всесоюзна алгебраїчна конференція - Мінськ, 1983;

XVIII Всесоюзна алгебраїчна конференція - Кишинів, 1985;

XIX Всесоюзна алгебраїчна конференція - Львів, 1987;

X Всесоюзний симпозіум з теорії груп - Мінськ, 1986;

III Всесоюзний симпозіум з теорії напівгруп - Свердловськ, 1988;

Розширений алгебраїчний семінар Київського університету імені Тараса Шевченка, присвячений 100-річчю з дня народження академіка О.Ю. Шмідта - Київ, 1991;

Розширений алгебраїчний семінар Київського університету імені Тараса Шевченка, присвячений 80-річчю фундатора кафедри алгебри і математичної логіки проф. Л.А. Калужніна - Київ, 1994;

Міжнародний колоквіум з напівгруп - Сегед, Угорщина, 1994;

Міжнародна конференція з алгебри, логіки і дискретної математики - Ніш, Югославія, 1995;

Другий Європейський математичний конгрес - Будапешт, Угорщина, 1996;

Міжнародна конференція з теорії зображень і комп'ютерної алгебри в Київському університеті імені Тараса Шевченка - Київ, 1996;

Міжнародна алгебраїчна конференція, присвячена пам'яті проф.

Л.М. Глускина - Слов'янськ, 1997.

Тези доповідей надруковано в [41 - 47].

Публікації. Основні результати дисертації опубліковано в 25 роботах, з них - 18 статей [22 - 40], у тому числі 2 статті із співавторами ([36] і [40]).

Структура й обсяг дисертації. Дисертація складається з вступу, окремого розділу "Позначения і визначення'', п'яти глав і списку літератури.

Докладніше: глава 1 "0-Когомології і моноїд Брауера" містить 5 розділів;глава 2 "Часткові когомології" містить 7 розділів;глава 3 "Напівгрупи когомологічної вимірності 1" містить 4 розділи; глава 4 "Когомології та рефлективні підкатегорії" містить 5 розділів; глава 5 "Загальна теорія когомологій напівгруп" містить 4 розділи.

Загальний обсяг дисертаційної роботи складає 281 стор. Список літератури містить 122 найменування.

Зміст роботи

Кожна глава починається з нульового розділу "Попередні відомості", що містить додаткову інформацію, необхідну для читання наступних розділів цієї глави. Нагадаємо спочатку одне з визначень ЕМ-когомологій напівгрупи.

Нехай S - довільна напівгрупа, A - будь-який S-модуль (надалі ми розглядаємо тільки ліві модулі). Через Cⁿ(S, A) позначаєтся група всіх n-місцевих відображень

f: S ґ ј ґ S ® A

(група n-вимірних коланцюгів); кограничний оператор

¶n : Cⁿ(S, A) ® Cⁿ⁺¹(S, A)

задається наступним чином:

¶ⁿ f(x₁, ..., x_n+1) = x₁f(x₂, ..., x_n+1) +

Тоді ¶ⁿ ¶^n-1 = 0, тобто Im ¶^n-1 = Bⁿ(S, A) (група n-вимірних кограниць) Н Кer ¶ⁿ = Zⁿ(S, A) (група n-вимірних коциклів) і групи EM-когомологій визначаються як

Hⁿ(S, A) = Zⁿ(S, A) / Bⁿ(S, A).

Главу 1 присвячено застосуванню апарату 0-когомологий, розробленого автором раніше [6]. У розділі 1.1 наводяться необхідні відомості про 0-когомології та теоретико-категорна інтепретація одержаних конструкцій.

Для довільної напівгрупи S з нулем 0-модулем над S називається абелева (адитивна) група A, для якій визначено множення

S \ 0 ґ A ® A,

що задовольняє для всіх s, t О S \ 0, a,b О A таким умовам:

s(a + b)=sa + sb,

st№ 0 Ы s(ta)=(st)a.

n-Вимірним 0-коланцюгом зветься часткове n-місцеве відображення із S в A, визначене на всіх таких наборах (s₁,ј, s_n), що s₁јs_n № 0. Кограничний оператор задається, як і для ЕМ-когомологій, наведеною вище формулою, і рівність ¶ⁿ ¶^n-1 = 0, залишається у силі; когомології, що з'являються при цьому, названі в [16] 0-когомологіями і позначаються через . Для 0-коциклів і 0-кограниць використовуються позначення і відповідно.

Основним у цієї главі є розділ 1.2, де наведено застосування 0-когомологій до дослідження моноїда Брауера, визначеного в серії робіт Хейла, Ларсона і Суідлера [12 - 14, 21] для класифікації сильно примарних асоціативних алгебр.

Для визначення цього класу алгебр зафіксуємо основне поле K і будемо в подальшому розглядати тільки скінченно вимірні алгебри над K.

Нехай F/K - скінченне сепарабельне поширення. Центральна проста F-алгебра B зветься нормальною над K, якщо кожна проста компонента (напівпростої) алгебри B Д_K B^op ізоморфна повній матричній алгебрі над центром цієї компоненти.

Під мінімальним точним модулем розуміється точний модуль, що не має власних точних підмодулів.

K-Алгебра A зветься сильно примарною над K, якщо для неї виконуються наступні умови:

1) якщо J - радикал алгебри A, то факторалгебра A/J являється сепарабельною, простою і нормальною над K;

2) якщо A = B Е J - розкладення Веддербеpна - Мальцева (таке існує в силу сепарабельності A/J), то A являється мінімальним точним B Д_K B^op-модулем відносно дії (x Д_K y^op)a=xay для x, y О B, a О A.

Наприклад, центральні прості алгебри являються сильно примарними.

Нехай тепер, як і вище, L - нормальне поширення поля K, G - група Галуа цього поширення. Позначимо через P клас усіх сильно примарних над K алгебр A = B Е J, таких, що центр прямого доданку B знаходиться в L.

В роботі Хейла [13] показано, що на P можна так ввести еквивалентність і добуток на класах цієї еквивалентності, що отримаємо моноїд, який позначається M(G, L) і зветься (відносним) моноїдом Брауера. Ми не будемо описувати цю еквивалентність і відповідний добуток, тому що їхні визначення займають досить багато місця і не використовуються подалі. Відзначимо тільки, що на класі центральних простих алгебр вони зводяться до відомих конструкцій для групи Брауера и що в [13] побудовано також і абсолютний моноїд Брауера поля K, який являється об'єднанням моноїдів вигляду M(G, L), коли L пробігає всі (скінченні) нормальні поширення поля K.

Для скінченного нормального поширення L поля K із групою Галуа G визначення моноїда Брауера M(G, L) відрізняється від визначення групи когомологій Галуа H²(G, L) тільки тим, що коцикли можуть приймати і нульові значення. В результаті цього моноїд Брауера M(G, L) являється (комутативною) інверсною напівгрупою і, таким чином, напівструктурою абелевих груп M_e(G, L), де e пробігає множину всіх ідемпотентів моноїда M(G, L).

Групи M_e(G, L) допускають описання у термінах 0-когомологій. Саме, у таблиці множення напівгрупи G⁰ = GИ0 (група з зовнішньо приєднаним нулем) зітремо зміст деяких її клітин і впишемо в них 0, так, щоб нова операція була асоціативною. Отримана напівгрупа називається модифікацією групи G. Зокрема, визначаючи для даного ідемпотенту e на G И 0 нову операцію ·:

ми одержуємо модифікацію, що позначаємо через G_e.

Як показують наступні дві пропозиції, моноїд Брауера визначається модифікаціями:

Лема 1.2.1 Існує взаємно однозначна відповідність між ідемпотентами моноїда Брауера M( G, L) і модифікаціями групи G.

Пропозиція 1.2.4.

,

де L* - мультиплікативна група поля L, - друга група 0-когомологій моноїда G_e.

У [14, 21] для вивчення полуструктури ідемпотентів моноїда Брауера використовуються деякі частково упорядковані множини, названі "субтрактивними знизу частково упорядкованими G-орбітами".

А саме, нехай, як і раніш, G - скінченна група, (Q, <) - частково упорядкована множина з найменшим елементом q і задано дію

G ґ Q ® Q : (g,x) ® g * x,

таку, що G * Q = Q. Множна Q зветься субтрактивною знизу частково упорядкованою G-орбитою, якщо для будь-яких g, h О G, таких, що g*q < h*q, виконується умова

" f О G g * q < f * q < h * q Ы g^-1f * q < g^-1h* q

У дисертації показано, що використання для цієї мети модифікацій більш переважно (див., напр., наслідок 1.2.5).

Позначимо через H підгрупу обратимих елементів модифікації G_e. Вкладення H И 0 ® G_e індукує гомоморфізм

У [14] при деяких додаткових умовах встановлюється ін'єктивність відображення j. Ми обчислюємо Ker j в іншій ситуації:

Теорема 1.2.6. Нехай модифікація G_e коммутативна (і, отже, H, будучи підгрупою центру групи G, нормальна). Позначимо через P підполе нерухомих щодо H елементів з L. Тоді має місце точна послідовність



Запропоноване в дисертації поняття модифікації групи може представляти, можливо, і самостійний інтерес. Проте повне описання модифікацій являється досить важкою задачею навіть для просто улаштованих груп, що ілюструється в розд. 1.3 на прикладі доссових модифікацій простої циклічної групи.

Нехай G - довільна скінченна група. Назвемо її модифікацію

S = G⁰(*)

доссовою (за аналогією з відомою умовою Досса вкладення напівгрупи до групи), якщо

" a,b О S (a * S) З (b * S) № 0 Ы (а О b * S) Ъ (b О a * S)

Зазначимо, що для доссових модифікацій 0-когомології являються тривіальними:

Наслідок 1.3.2. Якщо S - доссова модифікація, то для будь-якого 0-модуля А.

Надалі нехай

G = б a | a^p = 1 с

являється циклічною групою простого порядку p і 3 з породжуючим елементом a, а S - її комутативною доссовою модифікацією, що відрізняється від G⁰(Ч) (тобто x * y = 0 для деяких x, y О G).

Опишемо комутативні доссові модифікації з двома і трьома породжуючими елементами. При цьому елемент a^k (ступінь відносно групової операції) будемо позначати через b_k, коли він розглядається як елемент модифікації; таким чином,

(n разів).

Теорема 1.3.3. Якщо комутативна доссова модифікація S групи G, являється 2-порожденою, то

де 1 Ј k Ј p-1, 2 Ј m Ј p-1.

Наслідок 1.3.4. Кількість всіх різних (але, можливо, ізоморфних) комутативних 2-породжених доссових модифікацій групы G дорівнює

(p-1)(p-2)/2.

В випадку, коли модифікація 3-породжена, ситуація виявляється більш складною:

Теорема 1.3.6. Якщо комутативна доссова модифікація S групи G, являється 3-порожденою, то для відповідним засобом вибраного породжуючого елемента a

де 2 Ј m Ј p-2.

У розділі 1.4 показано прийоми обчислення 0-когомологій модифікацій на прикладі циклічної групи п'ятого порядку.

Основні результати цієї глави опубліковано в [23, 25, 32].

Можливість прикладення 0-когомологій до різноманітних алгебраїчних задач (проективні зображення напівгруп, матричні алгебри, моноїди Брауера, обчислення ЕМ-когомологій) приводить до постановки питання про їх узагальнення шляхом переходу від 0-коланцюгів до довільних (наскільки це можливо) часткових функцій на напівгрупі. Таке дослідження проводиться в главі 2.

Нагадаємо визначення рефлективної підкатегорії.

Підкатегория D категорії C зветься рефлективною, якщо кожному об'єкту C О C зіставлено об'єкт R_D(C) О D (який зветься D-рефлектором об'єкту C) і морфізм

e_D(C): C ® R_D(C),

такі, що для будь-якого D О D діаграма

однозначно доповнюється до комутативної морфізмом з Hom_D (R_D(C), D).

Ми будемо також використовувати в назві рефлектора прикметник, що відповідає імені рефлективної підкатегорії. Наприклад, якщо C - категорія напівгруп, а D - підкатегорія груп, то D-рефлектор будемо звати також груповим рефлектором.

Для побудови часткових когомологій та попереднього виявлення їхніх властивостей зручно використовувати модулі не над напівгрупами, а над частковими групоїдами. Нехай X - деякий частковий групоїд. (Лівим) X-модулем зветься адитивна абелева група A, для якої визначено дію

X ґ A ® A,

задовольняючу для усіх x, y О X, a, b О A таким умовам:

x(a+b)=xa+xb,

xy № Ж Ю x(ya) = (xy)a.

Гомоморфізмом X-модуля A в X-модуль B зветься гомоморфізм абелевих груп f : A ® B такий, що

" х О X " a О A f(хa) = хf(a).

Категорія X-модулів позначається через Mod X.

Для даного часткового групоїда X(Ч) розглянемо напівгрупу SX(*), породжену множиною X з визначаючими співвідношеннями вигляду

х*y = хy,

де х,у О X і хy № Ж. З відомих властивостей напівгрупи, що задана визначаючими співвідношеннями, витікає

Лема 2.1.1. Категорія напівгруп Sem являється рефлективною підкатегорією в категорії часткових групоїдів PG; точніше, SX являється напівгруповим рефлектором часткового групоїда X, а природне відображення e : X ® SX - рефлекторним морфізмом.

Лема 2.1.2. Категорії Mod X і Mod SX являються ізоморфними.

Наслідок 2.1.3. Mod X являється абелевою категорією, що містить досить багато ін'єктивних і проективних об'єктів.

Надалі ми цікавитимось тількі тими частковими групоїдами, які являються підмножинами напівгруп.

Нехай S - будь-яка напівгрупа. Назвемо підмножину X Н S корнем напівгрупи S, якщо S = бXс і вкладення X до S індукує ізоморфізм S @ SX. Легко довести, що X являється корнем в S тоді і тільки тоді, коли

S=б X | xy = z (x, y, z О X)с.

Наприклад, напівгрупа S являється своїм корнем, оскільки S = бSс. Якщо задане довільне зобаження напівгрупи

S = бa₁, ј, a_m | P₁ = Q₁, ј, P_n = Q_nс,

то підмножина, що складається з усіх породжуючих елементів a₁,ј, a_m і усіх підслів слів P_i і Q_i (1 Ј i Ј n) в абетці a₁, ј, a_m, являється корнем (причому легко бачити, що кожний корінь можна одержати аналогічним способом). Перейдемо до визначення часткових когомологій.

Першим кроком у цьому напрямку є визначення одновимірного часткового коланцюга (або X-коланцюга) як функції на фіксованій підмножині X М S, що породжує напівгрупу S. При цьому значення часткового коланцюга беруться з деякого X-модуля A. Далі, позначимо через X_n множину усіх наборів (n разів) у яких x_i x_i+1…x_j О X для будь-яких i, j таких, що 1 Ј i Ј j Ј n. Тоді n-вимірний частковий коланцюг визначається як відображення X_n у A. Визначаючи звичайним засобом кограничні гомоморфізми, ми одержуємо групи часткових когомологій Hⁿ(S, X, A). Частинними випадками цієї конструкції являються ЕМ-когомології (при X = S) і 0-когомології (якщо S містить 0 і X = S \ 0).

Для підмножини X напівгрупи S, що розглядається як частковий групоїд, рефлекторний морфізм : X X, очевидно, являється вкладенням. Тому X можна також розглядати як підмножину в X, і при цьому множини X_n не зміняться. Отже, має місце ізоморфізм

Hⁿ (S, X, A) Hⁿ (X, X, A),

і, таким чином, при вивченні часткових когомологій можна обмежитися випадком, коли X - корінь напівгрупи S.

Вкладення X М S індукує гомоморфізми

Легко перевірити, що є ізоморфізмом. Тому закономірне питання: чи є ізоморфізмами при n > 0?

Пропозиція 2.1.4. Нехай X - корінь напівгрупи S, A - довільний X-модуль. Тоді - ізоморфізм.

Наслідок 2.1.5. Нехай X - корінь напівгрупи S, A - довільний X-модуль. Тоді - мономорфізм.

У загальному випадку в умовах наслідку 2.1.5 може не бути ізоморфізмом (відповідний приклад наведено в кінці цього розділу).

На вивчення часткових когомологій напівгрупи впливає існування в ній одиничного елементу. Наприклад, при включенні одиниці до кореня ускладнюється, взагалі кажучи, процес обчислення часткових когомологій. Тому представляється доцільним розглянути окремо специфічні властивості когомологій моноїдів. Таке дослідження проведено в розділі 2.2.

Нехай S - деякий моноїд з одиницею 1, X - його підмножина, що його породжує (яка не обов'язково є коренем) і містить 1, A - довільний унітарний X-модуль. Введемо позначення T = X \ 1.

Теорема 2.2.1. Нехай виконується наступна умова: якщо x, y О X і xy = 1, то x = y = 1. Тоді відображення

,

що індукується вкладенням , являється ізоморфізмом для усіх n і 0.

Звідси, зокрема, випливає, що зовнішнє приєднання одиниці до напівгрупи не впливає на її часткові когомології:

Наслідок 2.2.2. Нехай U = Y - будь-яка напівгрупа, U¹ (відповідно Y¹) - результат зовнішнього приєднання до U одиниці (відповідно Y¹ = Y {1}). Тоді

Hⁿ (U, Y, A) Hⁿ (U¹, Y¹, A).

Відзначимо, що обмеження на X в теоремі 2.2.1 є істотним. Як приклад наведемо такий цікавий факт:

Пропозиція 2.2.4. Нехай G - скінченна група. Тоді

Hⁿ (G,G \{1}, A) = 0

для будь-якого G-модуля A при n |G|.

Для порівняння нагадаємо, що ЕМ-когомології групи скінченного порядку залишаються нетривіальними при довільному, як завгодно великому, n.

У цьому ж розділі вводиться поняття нормалізованих часткових когомологій. А саме, частковий коланцюг f О Cⁿ( S, X, A) називається нормалізованим, якщо f(x₁,…, x_n) = 0 як тільки x_i = 1 для деякого i Ј n. Істотним способом визначаються групи нормалізованих X-когомологій, які будемо позначати через NHⁿ (S, X, A). Наступне ствердження є узагальненням добре відомого результату для когомологій груп [5]:

Теорема 2.2.6. Якщо підмножина X М S задовольняє умові теореми 2.2.1, то

для усіх n і 0.

Більш повну інформацію про часткові когомології можна одержати за допомогою конструкції котроєчних когомологій, запропонованої М. Барром і Дж. Беком [8, 9]. Необхідність у її використанні пояснюється тим, що часткові когомології напівгруп, взагалі говорячи, не є похідним функтором, і до них не можна ужити техніку Картана - Ейленберга. Притягнення ж теорії Барра - Бека дозволяє визначити загальний підхід до вивчення часткових когомологій.

Для цього в розділі 2.3 визначається категорія PSem, об'єктами якої є пари (T, Y), де Y - підмножина в напівгрупі T, а морфізм визначається як гомоморфізм напівгруп , для якого a(Y) міститься в Z.

Для об'єкта (T, Y) О PSem будується свободна напівгрупа F_Y на множині Y, що складається із символів виду y, взаємно однозначно відповідаючим елементам y О Y. Об'єкту (T, Y) ставиться у відповідність об'єкт (F_Y, ), де

= { y₁…y_n | ( y₁, …, y_n ) О Y_n }

Ця відповідність продовжується до ендофунктора G категорії PSem, і після визначення підхожим способом природних перетворень

d: G ® G ² і e: G ® I_PSem

ми одержуємо котрійку (G, e, d).

Зафіксуємо тепер деякий об'єкт (S, X) О PSem і позначимо через PSem Ї S кома-категорію (згідно з визначенням її об'єктами являються морфізми T ® S категорії PSem, а морфізмами - комутативні діаграми, що містять ці об'єкти). Тоді котрійка (G, e, d) індукує котрійку () у категорії PSem Ї S, завдяки чому в категорії PSem Ї S визначається функтор когомологій Hⁿ(T, Y, A)_G від аргумента (T, Y). Ця конструкція і дає шукане описання часткових когомологій у термінах теорії Барра - Бека:

Теорема 2.3.4.

Hⁿ(T, Y, A)_G @ Hⁿ⁺¹(T, Y, A)

для будь-яких n>0.

Отримані результати дозволяють нам використовувати часткові когомології для обчислення ЕМ-когомологій у тих випадках, коли вдається відшукати в даній напівгрупі "добрий" корінь. Цей зв'язок встановлюється в розділах 2.4 і 2.5.

В розділі 2.4 вводиться поняття каноничного кореня та розглядаються його властивості, необхідні для подальшого. Саме, нехай X - корінь напівгрупи S. Зображення s = x₁… x_n елемента s О S у вигляді добутку елементів x_і О X, такого, що x_i x_i+1 … x_j О X для будь-яких i, j, задовольняючих нерівностям 1 Ј i < j Ј n, назвемо редукованим розкладанням. Корінь X назвемо каноничним, якщо кожний елемент із S має єдіне редукованене розкладання.

Наприклад, множина всіх елементів напівгрупи S являється каноничним коренем. Базис свободної напівгрупи F = a₁,, а_n | також являється, звичайно, каноничним коренем. Менш тривіальний приклад каноничного кореня дає підмножина свободної напівгрупи

B = {b (i, j,) = a_i a_j | i j } F,

яка породжує F з визначаючими співвідношеннями

b (i, j,) b (k, l,) = b (i, j,, k, l,)

при i j . k l .

ля перевірки кореня на каноничність нам потрібний один результат з [36]. Стосовно до нашої ситуації теорема 1 цієї статті формулюється так:

Лема 2.4.1. Нехай X - корінь напівгрупи S = M R, що задовольняє умовам:

1) M X;

2) кожне визначаюче слово з R міститься в X;

3) для будь-яких єлементів a, b, c S з того, що ab, bc X випливає abc X.

Тоді X являється каноничним.

Нарешті, накладемо ще одну додаткову вимогу на X. Корінь X назвемо J-коренем, якщо для будь-яких x, y, z О X із xy = x, yz = z випливає xz О X.

Наприклад, в напівгрупі із скороченням без одиниці кожний корінь являється J-коренем.

Наслідок 2.4.4. Нехай X - каноничний J-корінь напівгрупи S. Якщо x₁,, x_n X і x_ix_i+1 X для усіх 1 i n-1, то (x₁,, x_n) X_n.

Наступне ствердження являється основним результатом другої глави:

Теорема 2.5.1. Якщо X - канонічний J-корінь напівгрупи S, то являється ізоморфізмом для усіх n і 0.

Основу доведення цієї теореми складає побудова стягуючої гомотопії, підібраної належним чином.

Як ілюстрацію застосування отриманих результатів про часткові когомології у розділі 2.6 обчислено ЕМ-когомології деяких типів напівгруп.

Нехай

S = a, b₁, b₂ , … | aP= Q

- така напівгрупа, що визначальні слова P і Q не містять літери a, і S^ор позначає напівгрупу, антиізоморфну напівгрупі S.

Теорема 2.6.2. Hⁿ(S, A) = 0 для будь-якого S-модуля A і для довільних n і 2.

Теорема 2.6.2 дає серію контрприкладів до гіпотези Мітчелла (див. нижче).

Когомології антиізоморфної напівгрупи

S^ор = < a, b₁, b₂ , … | Pа = Q >

побудовані складніше. Для їхнього описання нам буде зручно ввести визначення аналога похідної Фокса [4] для напівгруп.

Нехай F = b₁, b₂, - довільна свободна напівгрупа. Нехай елемент x F записано у вигляді

x = x₁ b_i x₂ b_i x_n-1 b_i x_n,

де слова x_k F не містять букви b_i. Похідною слова x по b_i назвемо елемент напівгрупової алгебри ZF¹:

якщо при цьому x₁ = , то перший доданок в дорівнює 1; якщо буква b_i входить до x, то покладаємо

Наприклад, якщо

то

Теорема 2.6.6. Для будь-якого S^ор-модуля A

а) H² (S^ор, A) @ A /B,

де

б) Hⁿ (S^ор, A) = 0 для усіх n і 3.

Розглянемо тепер інший приклад.

Нехай напівгрупа T породжується своєю піднапівгрупою U і елементом p ПU таким чином, що

T = U, p | Up = p (p П U),

і T^op - напівгрупа, антиiзоморфна до T.

Теорема 2.6.7. Для будь-якого T-модуля A

а) H¹ (T, A) @ A /( p - 1)A,

б) Hⁿ (T, A) = 0 для усіх n і 2.

Теорема 2.6.8. Нехай A - довільний T^op-модуль, A₁ - адитивна група модуля A, що розглядається як T^op-модуль із тривіальним множенням. Гомоморфізми

yⁿ: Hⁿ (T^op, A) ® Hⁿ (U, A),

що індуковані вкладенням U ® T^op, включаються до довгої точної послідовності

Теореми 2.6.7 і 2.6.8 дають можливість побудувати приклад напівгрупи, що має в категорії лівих модулів когомологічну вимірність, дорівнюючу 1, а в категорії правих модулів - когомологічну вимірність, дорівнюючу нескінченності. А саме, в попередніх теоремах візьмемо адитивну групу кільця Z₉ як А, а мультиплікативну групу його обратимих елементів - як U. Дія U на A співпадає із множенням в кільці Z₉. Тоді H ⁿ (T, A) = 0 і Hⁿ (T^op, A) Z₃ при n і 2.

Главу 3 присвячено дослідженню когомологічної вимірности напівгруп (переважно із скороченням). Когомологічна вимірність напівгрупи S позначається через cd S і розуміється в нашому контексті як мінімальне ціле невід'ємне число n, таке що Hⁿ⁺¹ (S, A) = 0 для будь-якого S-модуля A.

У розділі 3.1 вивчаються гомологічні властивості піднапівгруп адитивної напівгрупи N^r невід'ємних цілочисельних векторів.. Піднапівгрупа S М N^r називається об'ємною, якщо вона не міститься у власному підпросторі простору R^r, і рясною, якщо знайдеться такий вектор f , що f + e^(і) О S для усіх ортів e^(і).

Пропозиція 3.1.4. Кожна об'ємна напівгрупа S М N^r ізоморфна рясній.

Позначимо через [Con S] сукупність цілочисельних точок, що містяться в опуклому замкненому конусі, натягнутому на S (у дійсному просторі R^r).

Теорема 3.1.6. Кожна скінченно породжена рясна піднапівгрупа S М N^r містить ідеал виду

I = v + [Con S]

для деякого елемента v О S.

Це ствердження узагальнює відому властивість піднапівгруп із N, відповідно до якого кожна така піднапівгрупа ізоморфна піднапівгрупі, яка містить промінь [n, Ґ) для деякого натурального n.

Викладені вище результати дають змогу одержати інформацію про цілочисельне кільце ZS напівгрупи S N^r. Щоб не було непорозумінь при використанні цілих чисел як коефіцієнтів в ZS, з одного боку, і як координат елементів з S, з другого, ми будемо замість N^r розглядати свободний комутативний моноїд M = x₁,, x_r, а замість S - ізоморфну до неї напівгрупу S_M, що складається з усіх мономів вигляду , де (p₁,, p_r) S. Для скорочення введемо позначення

,

де p = (p₁,, p_r).

Згідно з пропозицією 3.1.4 ми можемо обмежитися випадком, коли S - рясна напівгрупа. Зафіксируємо елемент f S, для якого f + e⁽ⁱ⁾ S при усіх i r.

Нагадаємо, що фундаментальним ідеалом IP напівгрупового кільця ZS зветься ядро гомоморфізму



Таким чином, ідеал IP як модуль над ZS породжуеться усіма eлементами вигляду s - 1 (s P).

Теорема 3.1.7. Фундаментальний ідеал IS_M напівгрупового кільця ZS_M породжується як ZS_M-модуль многочленами

Наслідок 3.1.8. Фундаментальний ідеал довільної напівгрупи S N^r являється скінченно породженим.

Підкреслимо, що наслідок 3.1.8 залишається справедливим і для нескінченно породжених піднапівгруп.

Більш детальний розгляд одновимірного випадку дозволяє дати повне описання комутативних напівгруп когомологічной вимірності 1 із скороченням:

Теорема 3.1.9. Для комутативной напівгрупи S із скороченням cd S = 1 тоді і тільки тоді, коли S є ізоморфною або до групи Z, або до піднапівгрупи напівгрупи N.

Розділ 3.2 є допоміжним (для розділу 3.3), хоча і представляє самостійний інтерес.

По-перше, тут дано один критерій для когомологічної вимірності модуля:

Лема 3.2.1. Нехай R - будь-яке кільце, A - лівий модуль над R, ⁿ - кограничний оператор проєктивної резольвенти модуля A. Тоді ⁿ можна розглядати як коцикл, що належить до Zⁿ⁺¹(A, Imⁿ). Коцикл ⁿ являється когомологічним нулю тоді і тільки тоді, коли проективна вимірність модуля A не перевищує n.

По-друге, в цьому розділі досліджено властивості одного типу систем рівнянь у напівгрупах.

Нехай S позначає напівгрупу iз скороченням когомологічної вимірности 1. Назвемо систему рівностей у напівгрупі S

циклічною (тут n >1). Циклічна система зветься разложимою, якщо a_i О a_j S для деяких i № j, і приводимою, якщо a_i S З a_j S № Ж для деяких i, j, таких, що i № j, i № j ± 1 (mod n). Циклічну систему при n Ј 3 ми вважаємо неприводимою.

Теорема 3.2.4. Циклічна система (1) приводима при n > 3.

Теорема 3.2.5. Якщо n = 3, то для системи (1) знайдуться такі елементи z_i О S (1 Ј i Ј 3), що a₁ z₁ = a₂ z₂ = a₃ z₃.

Ці теореми допускають топологічну інтепретацію. Розглянемо симпліціальний комплекс, вершинами якого являються елементи напівгрупи S, а n-мірними гранями - набори (a₁ , …, a_n+1 ), a_i О S, для яких

Тоді кожний замкнутий шлях у цьому комплексі стягується. Зокрема якщо S є моноїдом, то такий комплекс буде лінійно зв'язним і його фундаментальна група тривіальна.

За аналогією з гіпотезою Гані - Ейленберга для груп (позитивне вирішення якої пізніше одержало назву теореми Столлінгса - Суона [1]) Б. Мітчелл [18] припустив, що напівгрупа зі скороченням когомологічної вимірності 1 повинна бути так званою частково свободною (тобто свободним добутком свободної групи і свободної напівгрупи).

У статтях [24] і [26] дисертантом побудовано контрприклади до гіпотези Мітчелла. Крім того, у [26] сформульовано нове припущення (послаблена гіпотеза Мітчелла): якщо напівгрупа зі скороченням має когомологічну вимірність, дорівнюючу 1, то вона вкладається в групу (причому остання автоматично являється свободною згідно з теоремою Столлінгса - Суона).

...