SH-двойственность коммутативных полугрупп тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат физико-математических наук Баринова, Валерия Ростиславовна

• Баринова, Валерия Ростиславовна
• кандидат физико-математических наук
• 1998

Оглавление диссертации кандидат физико-математических наук Баринова, Валерия Ростиславовна

Введение

§1. 8Н-двойственность и Ш-двойственность относительно коммутативных регулярных полугрупп.

§2. 8Н- и Н8-двойственность коммутативных полугрупп.

§3. 8Н-квазидвойственность коммутативных полугрупп.

§4. Самодвойственность коммутативных полугрупп.

§5. Слабая двойственность коммутативных полугрупп.

Введение диссертации (часть автореферата) на тему «SH-двойственность коммутативных полугрупп»

Теория полугрупп активно развивается в течение последних десятилетий и к настоящему времени является самостоятельной ветвью абстрактной алгебры. Настоящая работа посвящена проблеме двойственности в категории коммутативных полугрупп.

Приведем основное определение. Пусть А и В - коммутативные полугруппы. Обозначим через Нот (А, В) полугруппу всех гомоморфизмов полугруппы в полугруппу В относительно действия: (/1^2) (а) = /\ (а)*[2 (а) для любых а еА, /¡,/2 е Нот (А, В).

Определение. Говорят, что коммутативная полугруппа А двойственна относительно коммутативной полугруппы В, если гомоморфизм со: А -> Нот (Нот (А, В), В) по правилу (в) (а))ф = /(а) (а £ А и / е Нот (А, В)) является биективным.

Теория двойственности начала активно развиваться благодаря работам Л.С.Понтрягина [29], [30], относящимся к началу 30-х годов. Основным методом исследования в этих работах служит изучение связей между данной группой и ее группой характеров, где под характером понимается гомоморфизм данной группы в мультипликативную группу К комплексных чисел, по модулю равных единице. Каждой коммутативной локально компактной топологической группе О ставится в соответствие группа характеров X группы О. Основная теорема двойственности Л.С.Понтрягина утверждает, что С естественным образом можно рассматривать как группу характеров группы X.

Л.Фукс [25] в 1959 году получил необходимые и достаточные условия, при которых произвольная дискретная группа двойственна относительно К, а именно: для дискретной группы С имеет место теорема двойственности тогда и только тогда, когда С является абелевой конечной группой.

Известно, что двойственный объект к локально компактной группе уже не является группой, если только исходная группа некоммутативная. Этот факт верен даже для конечных групп, он является причиной, затрудняющей перенесение на некоммутативные полугруппы теории двойственности Л.С.Понтрягина. Заметим лишь, что для некоммутативных компактных групп теорема двойственности доказана Т.Таннакой (1938 г.) и М.Г.Крейном (1949 г.); ее обобщения принадлежат Н.Татсууме (1965 г.) и М.Такесаки (1971 г.). Для некоммутативных локально компактных групп аналогом характеров являются унитарные представления, аналогом произведения характеров - кронекеровское произведение представлений. Г.И.Кац [4], [5] построил категорию кольцевых групп (в современной терминологии унимодулярных алгебр Каца), в которую вкладывается категория унимодулярных групп, и в которой имеет место принцип двойственности, сводящийся к двойственности Л.С.Понтрягина в случае коммутативных групп. Двойственности некоммутативных алгебраических систем посвящены также работы Л.И.Вайнермана [2], [3].

Вопрос о выполнении принципа двойственности в категории коммутативных полугрупп впервые был рассмотрен Э.Хьюиттом и Г.Цукерманом (1956 г.) [27]. Для полугруппы 5 двойственным объектом является множество полухарактеров ¿Г, то есть множество ненулевых гомоморфизмов полугруппы 5 в мультипликативную полугруппу комплексных чисел С. Э.Хьюитт и Г.Цукерман показали, что для конечной коммутативной полугруппы 5 имеет место теорема двойственности тогда и только тогда, когда £ содержит единицу и является объединением непересекающихся групп.

Р.Уорном и Л.Вильямсом [31] в 1961 году была поставлена проблема нахождения необходимых и достаточных условий выполнения теоремы двойственности Л.С.Понтрягина для произвольной коммутативной полугруппы. В классе коммутативных инверсных полугрупп этот вопрос был решен К.Остином (1963) [23]. Ему принадлежит следующая теорема. Теорема. Для дискретной коммутативной инверсной полугруппы, содержащей единицу, выполнен принцип двойственности. Обратно, если множество 5" полухарактеров дискретной коммутативной полугруппы 5 образует полугруппу, и имеет место теорема двойственности для 51, то инверсная полугруппа, содержащая единицу.

Окончательно проблема двойственности коммутативной полугруппы относительно мультипликативной полугруппы комплексных чисел С была решена Р.Фалпом и Ф.Хиллом (1965 г.) [26]. Они назвали полугруппу Я рефлексивной, если ¿> двойственна относительно С. Основная теорема Р.Фалпа и Ф.Хилла утверждает, что полугруппа £ рефлексивна тогда и только тогда, когда Я является рефлексивной полурешеткой рефлексивных групп. Учитывая результат Л.Фукса [25], приведенный выше, Р.Фалп и Ф.Хилл получили следующий критерий: полугруппа £ рефлексивна тогда и только тогда, когда £ является рефлексивной полурешеткой конечных абелевых групп.

Обобщением результатов Э.Хьюитта, Г.Цукермана, К.Остина явились работы Л.Б.Шнепермана [21], [22], который нашел условия справедливости теоремы двойственности для компактных, а позднее и локально компактных топологических полугрупп.

Для коммутативной полугруппы А в качестве двойственного объекта можно рассмотреть полугруппу обобщенных характеров [15, с. 413], то есть полугруппу всех гомоморфизмов полугруппы А в произвольную коммутативную полугруппу В. В такой постановке проблемой двойственности занимался М.М.Лесохин [11], [10], [12]. Им найдены необходимые и достаточные условия выполнения принципа двойственности для регулярных коммутативных полугрупп, максимальные подгруппы которых есть расширения прямых произведений групп без кручения ранга 1, имеющих один и тот же тип, с помощью периодических групп. В частности, М.М.Лесохин показал, что для делимой регулярной коммутативной полугруппы А имеет место двойственность относительно некоторой коммутативной полугруппы тогда и только тогда, когда А - делимая абелева группа без кручения конечного ранга. М.М.Лесохиным построены также примеры полугрупп, для которых не существует коммутативной полугруппы, относительно которой они двойственны [12].

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

Важным направлением развития современной алгебры является изучение не только данной алгебраической системы, но и производных от нее систем. Так, в теории полугрупп объектом различных исследований часто становится класс 8Н(А) полугрупп, состоящий из всех делителей данной полугруппы А, и класс НБ(А) полугрупп, состоящий из всех подполугрупп всех гомоморфных образов данной полугруппы А. В частности, в последние годы получены содержательные результаты по БН-аппроксимации полугрупп. В исследованиях по теории двойственности такой подход еще не рассматривался. В настоящей работе исследуется БН- и ИЗ- двойственность в категории коммутативных полугрупп.

Целью представленной диссертации является нахождение необходимых и достаточных условий БН- и Ш-двойственности в категории коммутативных полугрупп. В рамках ее реализации в диссертации решаются следующие задачи :

- нахождение необходимых и достаточных условий Б-, БН- и Ш-двойственности коммутативной полугруппы относительно некоторой коммутативной регулярной полугруппы;

- нахождение необходимых и достаточных условий, при которых коммутативная полугруппа БН- и Ш-двойственна относительно некоторой коммутативной полугруппы;

- нахождение необходимых и достаточных условий, при которых имеет место БН-квазидвойственность в категории коммутативных полугрупп;

- описание класса коммутативных полутрупп, для которых имеет место 8Н-двойственность относительно себя;

- нахождение классов коммутативных полугрупп, для которых отношение двойственности является рефлексивным отношением.

Для более точной формулировки решаемых нами задач приведем все необходимые определения.

2. Основные определения и обозначения

Основные понятия, относящиеся к теории полугрупп и теории решеток, предполагаются известными; соответствующие определения можно найти в книгах [6], [15], [18], [17].

Пусть А и В - произвольные коммутативные полугруппы. Следующие обозначения закрепим для всего текста диссертации.

А0 обозначает полугруппу А с внешне присоединенным нулем 0.

О' обозначает нулевой гомоморфизм в полугруппе Нот (А, В0).

О'' обозначает нулевой гомоморфизм в полугруппе Нот (Нот (А, В0), В0). соа,в обозначает гомоморфизм со: А —>Нот (Нот (А, В), В) по правилу (со(а))ф =/(а) (а еА и / еНот (А, В)). со 'а,в обозначает гомоморфизм со': А Нот (Нот (А, В0) \ {О'}, В0) \{0"} по правилу (&' (а))ф = /(а) (а е А и / е Нот (А, В0)).

Н обозначает полугруппу, изоморфную полугруппе {О, 1} : О2 = 0*1 = 1*0 = 0, 12 = 1.

Г обозначает моногенную полугруппу типа (2,1).

О обозначает моногенную полугруппу типа (3, 1).

N обозначает множество натуральных чисел.

2 обозначает множество целых чисел.

С обозначает множество комплексных чисел.

С(рк) обозначает мультипликативную группу всех комплексных корней из единицы степени рк, где р - простое число, к е N.

А = band А т обозначает, что полугруппа А есть связка полугрупп Л®. со eQ

Определение. Делителем полугруппы А называется всякий гомоморфный образ произвольной подполугруппы полугруппы А.

Определение. Говорят, что коммутативная полугруппа A SH-двойственна относительно коммутативной полугруппы В, если для любого делителя полугруппы А имеет место двойственность относительно полугруппы В.

Определение. Говорят, что коммутативная полугруппа A HS-двойственна относительно коммутативной полугруппы В^ если для любой подполугруппы любого гомоморфного образа полугруппы А имеет место двойственность относительно полугруппы В.

Определение. Говорят, что коммутативная полугруппа A S-двойственна относительно коммутативной полугруппы В, если для любой подполугруппы полугруппы А имеет место двойственность относительно полугруппы В.

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

Определение. Говорят, что коммутативная полугруппа А БН-квазидвойственна относительно коммутативной полугруппы В, если для любого делителя полугруппы А имеет место квазидвойственность относительно полугруппы В.

Определение. Говорят, что коммутативная полугруппа А самодвойственна, если имеет место двойственность полугруппы А относительно А.

Определение. Говорят, что коммутативная полугруппа А БН-самодвойственна, если для любого делителя полугруппы А имеет место самодвойственность.

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

Определение. Говорят, что коммутативная полугруппа А БН-естественно слабо двойственна относительно коммутативной полугруппы В,, если для любого делителя полугруппы А имеет место естественная слабая двойственность относительно полугруппы В.

Определение. Пусть Ф - множество некоторых гомоморфизмов полугруппы А. Говорят, что полугруппа А аппроксимируема гомоморфизмами из Ф относительно равенства, если для любых а^ а2 е А, таких, что а\ &а2, существует гомоморфизм <р е Ф, для которого (р (а^ (р (а2). При этом говорят, что гомоморфизм ср разделяет элементы а1 и аг.

Определение. Говорят, что полугруппа А БН-аппроксимируема относительно равенства в классе полугрупп К. если все делители полугруппы А аппроксимируемы относительно равенства в классе К.

Определение. Полугруппа А называется сепаративной, если для любых а, Ь, с е А из того, что а2 = а*Ь = Ъ2, следует а = Ъ.

Определение. Полугруппа А с нулем 0 называется нилъполугруппой„ если для любого а еА существует п еЫ : сР = 0.

Определение. Полугруппа А с нулем 0 называется нилъпотентнойл если Ап = 0 для некоторого п е N.

Под идеалом полугруппы А будем понимать двусторонний идеал.

Определение. Идеал I полугруппы А называется вполне изолированным, если для любых а, Ъ е А из того, что а*Ь е1 следует, что а е1 или Ъ е1.

Определение. Идеал / полугруппы А называется изолированным, если для любых а е А п п е N ш того, что сГ е I следует, что а е I.

Определение. Полугруппа идемпотентов называется связкой. Коммутативная связка называется полуструктурой, или полурешеткой.

Определение. Полуструктура Р называется направленной вверх. если любые два элемента из Р имеют общую единицу.

3. Обзор содержания диссертации

Текст диссертации делится на пять параграфов, имеющих сквозную нумерацию. Теоремы, предложения, леммы и следствия пронумерованы парами индексов, из которых первый указывает номер соответствующего параграфа, второй - порядковый номер утверждения в данном параграфе.

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

Предложение 1.1.

Коммутативная полугруппа Б-двойственна относительно некоторой коммутативной регулярной полугруппы тогда и только тогда, когда она является конечной группой. Предложение 1.2.

Коммутативная полугруппа Ш-двойственна относительно некоторой коммутативной регулярной полугруппы тогда и только тогда, когда она является конечной группой. Предложение 1.3.

Коммутативная полугруппа 8Н-двойственна относительно некоторой коммутативной регулярной полугруппы тогда и только тогда, когда она является конечной группой.

Эти предложения получают в диссертации целый ряд применений; с их помощью доказывается основная теорема БН- и Ш-двойственности для произвольных коммутативных полугрупп (§ 2).

Основные результаты представленной диссертации заключены в ее втором и третьем параграфах: теоремы 2.3 и 3.7.

Во втором параграфе настоящей диссертации обобщаются результаты, полученные в предложениях 1.2 и 1.3, а именно: изучаются условия БН- и Ш-двойственности коммутативной полугруппы относительно коммутативной полугруппы. Тем самым полностью решается вопрос о 8Н- и Ш-двойственности в категории коммутативных полугрупп. Показано, что условия БН- и Ш-двойственности коммутативной полугруппы относительно некоторой коммутативной полугруппы эквивалентны. Основным результатом данного параграфа явилась следующая теорема.

Теорема 2.3.

Для коммутативной полугруппы А следующие условия эквивалентны:

1) А является либо конечной группой, либо моногенной полугруппой типа (п, 1), п < 3;

2) А 8Н-двойственна относительно некоторой коммутативной полугруппы 2?;

3) А Щ-двойственна относительно некоторой коммутативной полугруппы В.

Некоторые следствия этой теоремы рассмотрены в четвертом параграфе диссертации.

Результаты второго параграфа показывают, что 8Н - двойственность в категории коммутативных полугрупп имеет место довольно редко. В третьем параграфе представленной диссертации мы изучаем 8Н -двойственность коммутативной полугруппы А относительно коммутативной полугруппы В0. Двойственным объектом к полугруппе А в этом случае является множество Нот (А, В0) \ {0'}, что связано с необходимым условием существования 8Н-двойственности коммутативной полугруппы А относительно коммутативной полугруппы В0 [13, с. 103]. Рассмотрение такого вида двойственности коммутативных полугрупп (квазидвойственности) неслучайно: присоединение всего лишь одного идемпотента (внешнего нуля) к полугруппе В существенным образом расширяет класс полугрупп, для которых имеет место 8Н-двойственность относительно В. Этот класс описывается основной теоремой третьего параграфа.

Теорема 3.7.

Коммутативная полугруппа А БН-квазидвойственна относительно некоторой коммутативной полугруппы тогда и только тогда, когда выполнены следующие условия:

1) А - регулярная полугруппа, полуструктура идемпотентов которой направлена вверх;

2) все цепи идемпотентов в полугруппе А конечны;

3) все максимальные подгруппы полугруппы А конечны.

Четвертый параграф настоящей диссертации посвящен изучению некоторых частных случаев двойственности коммутативных полугрупп. Так, например, рассматривается вопрос о том, когда отношение двойственности является рефлексивным отношением (самодвойственность). Нами описаны также некоторые классы коммутативных полугрупп, для всех делителей которых отношение двойственности является рефлексивным (8Н -самодвойственность). Кроме того, получены необходимые и достаточные условия, при которых коммутативная полугруппа 8Н - двойственна относительно самой себя, то есть любой делитель данной полугруппы А двойственен относительно А. Основные результаты параграфа следующие.

Теорема 4.3.

Коммутативная полугруппа 8Н - двойственна относительно самой себя тогда и только тогда, когда она является либо моногенной полугруппой типа (п, 1), п < 3, либо конечной циклической группой.

Предложение 4.6.

Коммутативная регулярная полугруппа БН - самодвойственна тогда и только тогда, когда она является конечной циклической группой.

Предложение 4.7.

Коммутативная нильполугруппа БН - самодвойственна тогда и только тогда, когда она конечная моногенная.

Выше был введен в рассмотрение гомоморфизм соА>в, который в случае двойственности полугруппы А относительно полугруппы В является биективным гомоморфизмом. Если мы ослабим условия, накладываемые на Щв, и потребуем лишь инъективности данного гомоморфизма, то полугруппа А будет естественно слабо двойственна относительно полугруппы В. Изучению условий естественной слабой двойственности коммутативных полугрупп посвящен пятый параграф представленной диссертации. Условие естественной слабой двойственности коммутативной полугруппы А относительно коммутативной полугруппы В эквивалентно условию аппроксимируемости полугруппы А гомоморфизмами в полугруппу В относительно равенства [1, с. 3]. В связи с этим известные результаты по аппроксимации полугрупп могут быть независимо получены и переформулированы в терминах слабой двойственности полугрупп. В данном параграфе рассматривается естественная слабая двойственность коммутативной полугруппы относительно конечной коммутативной регулярной полугруппы. Тем самым, по существу, получены критерии финитной аппроксимируемости и финитной 8Н - аппроксимируемости коммутативной полугруппы в регулярную коммутативную полугруппу, которые выражены в следующих предложениях.

Предложение 5.1.

Коммутативная полугруппа А естественно слабо двойственна относительно некоторой конечной коммутативной регулярной полугруппы тогда и только тогда, когда выполнены следующие два условия:

1) А является сепаративной полугруппой;

2) порядки всех элементов полугруппы А ограничены в совокупности.

Предложение 5.3.

Коммутативная полугруппа А БН-естественно слабо двойственна относительно некоторой конечной регулярной коммутативной полугруппы тогда и только тогда, когда выполнены два условия:

1) А является регулярной периодической полугруппой;

2) порядки всех элементов полугруппы А ограничены в совокупности.

Список литературы диссертационного исследования кандидат физико-математических наук Баринова, Валерия Ростиславовна, 1998 год

1. Богачева Е.Б. О слабой двойственности коммутативных полугрупп // Исследования полугрупп: Межвуз. сб. научн. тр. - Л., 1990. - С. 3 - 9.

2. Вайнерман Л.И. Принцип двойственности для конечных гиперкомплексных систем // Известия вузов. Математика. 1985. - № 2. -С. 12-21.

3. Вайнерман Л.И. Двойственность алгебр с инволюцией и операторы обобщенного сдвига // Итоги науки и техники. ВИНИТИ АН СССР. Матем. анализ. 1986. - Вып. 24. - С. 165 - 205.

4. Кац Г.И. Кольцевые группы и принцип двойственности. I, II // Тр. Моск. матем. общ-ва. 1963. - Т. 12. - С. 259 - 301; 1965. - Т. 13. - С. 84 -113.

5. Кац Г.И., Палюткин В.Г. Конечные кольцевые группы // Тр. Моск. матем. общ-ва. 1966. - Т. 15. - С. 224 - 261.

6. Клиффорд А., Престон Г. Алгебраическая теория полугрупп. М.: Мир, 1972.-Т. 1.

7. Курош А.Г. Теория групп. М.: Наука, 1967.

8. Лесохин М.М. Некоторые свойства обобщенных характеров полугрупп // Уч. зап. ЛГПИ им. А.И.Герцена. 1958. - Т. 183. - С. 277 - 286.

9. Лесохин М.М. Об отделимости подполугрупп комплексными характерами // Матем. сб. 1967. - Т. 74 (116). - № 2. - С. 314 - 320.

10. Лесохин М.М. О двойственности коммутативных полугрупп // Тез. кратких сообщений. Международный конгресс математиков. М., 1966. -С. 46.

11. Лесохин М.М. О двойственности комплексных характеров и полухарактеров коммутативных полугрупп // Матем. сб. 1965. -Т. 66 (108). - № 3. - С. 378 - 383.

12. Лесохин М.М. О двойственности регулярных коммутативных полугрупп // Разбиения и гомоморфные отображения полугрупп: Межвуз. сб. научн. тр. СПб., 1992. - С. 64 - 75.

13. Лесохин М.М., Купцов А.И. О двойственности и квазидвойственности полугрупп // Современная алгебра: Межвуз. сб. научн. тр.-Л., 1980. -С. 99- 103.

14. Лесохин М.М., Тутыгин А.Г., Яшина Е.Ю. Аппроксимация полугрупп // Разбиения и гомоморфные отображения полугрупп: Межвуз. сб. научн. тр. СПб., 1992. - С. 76 - 87.

15. Ляпин Е.С. Полугруппы. М.: Физматгиз, 1960.

16. Мальцев А.И. Избранные труды. Т. 1: Классическая алгебра. М.: Наука, 1976.

17. Общая алгебра / О.В.Мельников, В.Н.Ремесленников и др.; под общ. ред. Л.А.Скорнякова. М.: Наука, 1990. - Т. 1.

18. Общая алгебра / В.А.Артамонов, В.Н.Салий и др.; под общ. ред. Л .А. Скорнякова. М.: Наука, 1991. - Т. 2.

19. Понтрягин Л.С. Непрерывные группы. М.: Наука, 1984.

20. Фукс Л. Бесконечные абелевы группы. М.: Мир, 1974. - Т. 1.

21. Шнеперман Л.Б. Теорема двойственности для коммутативных бикомпактных топологических полугрупп // Матем. зам. 1967. - № 5. -С. 531 -536.

22. Шнеперман Л.Б. К теории характеров локально бикомпактных топологических полугрупп // Матем. сб. 1968. - Т. 77 (119). - № 4. - С. 508 -532.

23. Austin С. Duality theorems for commutative semigroups // Trans. Amer. Math. Soc. 1963. - V. 109. - № 2. - P. 245 - 256.

24. Fucsh L. Abelian groups. Budapest, 1958.

25. Fucsh L. On character groups of discrete abelian groups // Acta Math. Acad. Scient. Hungary. 1959. - V. 10. - № 1-2. - P. 133 - 140.

26. Fulp R., Hill P. Reflexive semigroups I I Proc. Amer. Math. Soc. -1965,-V. 16.

27. Hewitt E., Zuckerman H. Finite dimensional convolution algebras // Acta Math. 1955. - V. 93. - № 1-2. - P. 67 - 119.

28. Hewitt E., Zuckerman H. The li-algebra of commutative semigroups // Trans. Amer. Math. Soc. 1956. - V. 83. - № 1. - P. 70 - 97.

29. Pontrjagin L. Sur les groupes abelliens continus // C.R. Acad. Sci. Paris. 1934. - V. 198. - P. 328 - 330.

30. Pontrjagin L. The theory of topological commutative groups // Ann. Math. 1934. - V. 35. - P. 361 - 388.

31. Tamura T., Kimura N. On decompositions of commutative semigroup // Kodai Math., Sem. Rep. 1954. - P. 109 - 112.

32. Warne R., Williams L. Characters of inverse semigroups // ^exocn. matem. jr. -1961.-T. 11 (86). № 1. - C. 150- 155.