Топологічні напівгрупи матричних одиниць і розширення Брандта топологічних напівгруп

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

Міністерство освіти і науки України

Львівський національний університет імені Івана Франка

Павлик Катерина Пилипівна

УДК 512.536

ТОПОЛОГІЧНІ НАПІВГРУПИ МАТРИЧНИХ ОДИНИЦЬ І -РОЗШИРЕННЯ БРАНДТА ТОПОЛОГІЧНИХ НАПІВГРУП

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

Автореферат

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

кандидата фізико-математичних наук

Львів - 2007



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

Робота виконана у відділі алгебри Інституту прикладних проблем механіки і математики ім. Я. С. Підстригача Національної академії наук України.

Науковий керівник: кандидат фізико-математичних наук, старший науковий співробітник Гутік Олег Володимирович, доцент кафедри геометрії і топології Львівського національного університету імені Івана Франка.

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

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

доктор фізико-математичних наук, професор Андрійчук Василь Іванович, професор кафедри алгебри і логіки Львівського національного університету імені Івана Франка.

Провідна установа: Інститут математики НАН України, м. Київ.

Захист відбудеться “ 19 ” квітня 2007 року о 15.30 год. на засіданні спеціалізованої вченої ради К 35.051.07 у Львівському національному університеті імені Івана Франка за адресою: 79000, м. Львів, вул. Університетська, 1, ауд. 377.

З дисертацією можна ознайомитись у Науковій бібліотеці Львівського національного університету імені Івана Франка за адресою: м. Львів, вул. Драгоманова, 5.

Автореферат розісланий “ 14 ” березня 2007 року.

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

ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ

Актуальність теми. Витоки теорії топологічних напівгруп сягають робіт 50-х років А. Д. Уоллеса, Ш. Шварца, К. Нумакури, Р. Коха і стосуються в основному дослідження структури компактних топологічних напівгруп.

Одне з центральних місць в теорії напівгруп і теорії топологічних напівгруп займає біциклічна напівгрупа, тобто напівгрупа породжена двома елементами і, для яких виконується співвідношення. Ще в часи становлення алгебраїчної теорії напівгруп О. Андерсен довів, що (-) проста напівгрупа є цілком (-) простою тоді й лише тоді, коли вона не містить біциклічну напівгрупу. Використовуючи біциклічні розширення напівгруп, у 1958 р. Р. Брак показав, що кожна напівгрупа ізоморфно занурюється у просту напівгрупу і в 1960 р. Н. Рейлі описав структуру біпростих та простих -регулярних напівгруп. Л. Андерсон, Р. Гантер і Р. Кох показали, що біциклічна напівгрупа не занурюється у стабільну, а отже і у компактну топологічну напівгрупу. К. Еберхарт і Дж. Селден довели, що на біциклічній напівгрупі існує лише дискретна напівгрупова гаусдорфова топологія та описали замикання біциклічної напівгрупи, як піднапівгрупи локально компактної топологічної інверсної напівгрупи. М. Бертман і Т. Вест показали, що на біциклічній напівгрупі, як на напівтопологічній існує лише дискретна гаусдорфова топологія. Певним “ортогональним” аналогом біциклічної напівгрупи є нескінченна напівгрупа матричних одиниць. Тому природно виникає питання: чи нескінченна напівгрупа матричних одиниць має подібні топологічні властивості до біциклічної напівгрупи?

У 20-их роках XX-го століття П. С. Александров та П. С. Урисон ввели поняття -замкненого простору і вказали критерій -замкненості топологічних просторів. Гаусдорфовий топологічний простір називається _замкненим, якщо він замкнений у кожному гаусдорфовому просторі, що містить його як підпростір. Питання про те, коли тополого-алгебраїчний об'єкт-замкнений є класичним в топологічній алгебрі. У 1946 р. Д. А. Райков вказав необхідні та достатні умови -замкненості топологічних груп. У 1969 р. Дж. Степп показав, що кожна локально компактна топологічна напівгрупа є щільною піднапівгрупою деякої -замкненої топологічної напівгрупи, а в 2003 р. О. Равський вказав достатні умови, коли комутативна топологічна група є -замкненою в класі паратопологічних груп.

У 1940 р. М. Катетов показав, що неперервний образ -замкненого топологічного простору є -замкненим простором, тобто кожен -замкнений простір є абсолютно -замкненим. У категоріях топологічних груп, топологічних інверсних напівгруп та топологічних напівгруп існують -замкнені не абсолютно -замкнені об'єкти. Питання про те, коли топологічна група є абсолютно -замкненою не розв'язане повністю. У 1998 р. Д. Дікранян та В. Успенський показали, що абсолютна -замкненість в класі топологічних груп зберігається декартовими добутками та замкненими центральними підгрупами. Дж. Степп знайшов критерій абсолютної -замкненості дискретних напівграток і поставив проблему “чи кожна -замкнена топологічна напівгратка є абсолютно -замкненою?”, відповідь на яку залишається відкритою до цього часу.

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

Отримані у дисертації результати тісно пов'язані ще з однією задачею. Питання про те, коли фактор-напівгрупа Ріса топологічної напівгрупи по замкненому ідеалу є топологічною напівгрупою розглядалось багатьма спеціалістами в теорії топологічних напівгруп. Так, зокрема, А. Д. Уоллес показав, що фактор-напівгрупа Ріса компактної топологічної напівгрупи по замкненому ідеалу є топологічною напівгрупою. У 1971 р. Дж. Лоусон та В. Медісон узагальнили результат Уоллеса на локально компактні -компактні топологічні напівгрупи. О. Гутік зауважив, що фактор-напівгрупа Ріса топологічної напівгрупи по компактному ідеалу є також топологічною напівгрупою. У 2005 р. О. Гринів показала, що результат Лоусона-Медісона не поширюється на локально компактні топологічні напівгрупи. Природно виникає питання: чи фактор-напівгрупа Ріса абсолютно -замкненої топологічної напівгрупи по абсолютно -замкненому ідеалу є топологічною напівгрупою?

Зв'язок роботи з науковими програмами, планами, темами. Тематика дисертаційної роботи пов'язана з тематикою наукових досліджень кафедри геометрії та топології механіко-математичного факультету Львівського національного університету імені Івана Франка та відділу алгебри Інституту прикладних проблем механіки і математики ім. Я. С. Підстригача Національної академії наук України. Результати дисертації частково використані при виконанні завдань держбюджетної теми № 0103U000127 “Алгебраїчні та комбінаторні методи в матричних кільцях, скінченно-параметричних групах Лі та топологічних напівгрупах”.

Мета і завдання дослідження. У зв'язку з вищезгаданими задачами виникла необхідність вивчення алгебраїчних і топологічних властивостей напівгрупи матричних одиниць та топологічних -розширень Брандта.

Об'єктом дослідження є алгебраїчно-топологічні структури: напівгрупа матричних одиниць та топологічні -розширення Брандта топологічних напівгруп, а предметом досліджень - їх алгебраїчні та топологічні властивості, структура та топологізації.

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

Наукова новизна отриманих результатів. Усі отримані результати є новими. У дисертаційній роботі:

1. Описано усі псевдо-компактні топології на нескінченній напівгрупі матричних одиниць, що перетворюють її у напівтопологічну напівгрупу. Доведено, що на нескінченній напівгрупі матричних одиниць не існує напівгрупової топології , такої, що занурюється у компактну топологічну напівгрупу. Доведено, що нескінченна напівгрупа матричних одиниць є алгебраїчно -замкненою в класі топологічних інверсних напівгруп. Побудовано напівгрупові абсолютно -замкнені мінімальні та мінімальні інверсні гаусдорфові топології на нескінченній напівгрупі матричних одиниць.

2. Доведено, що топологічна інверсна напівгрупа є (абсолютно) -замкненою в класі топологічних інверсних напівгруп тоді і тільки тоді, коли довільне її топологічне _розширення Брандта в класі топологічних інверсних напівгруп є (абсолютно) -замкненою напівгрупою. Для довільного нескінченного кардинала побудовано напівгрупові топології на _розширеннях Брандта топологічних напівгруп, що зберігають -замкненість та абсолютну -замкненість.

3. Описано структуру компактних -простих топологічних інверсних напівгруп. Описані компактифікації Бора нескінченних напівгруп матричних одиниць та топологічних _розширень Брандта топологічних напівгруп для нескінченного кардинала .

4. Побудовано приклад зліченної абсолютно -замкненої метризовної інверсної топологічної напівгрупи з абсолютно -замкненим ідеалом такої, що фактор-напівгрупа Ріса не є топологічною напівгрупою.

Практичне значення отриманих результатів. Робота має теоретичний характер. Отримані результати та розвинуті у ній методи можна застосувати для подальших досліджень у топологічній алгебрі та функціональному аналізі. Матеріали дисертації можуть бути використані при читанні спеціальних курсів у Львівському національному університеті та Київському національному університеті.

Особистий внесок здобувача. Усі наукові результати, які входять у дисертацію, отримані здобувачем самостійно. Деякі з результатів опубліковані у співавторстві з О. В. Гутіком. З цих публікацій у дисертацію внесено лише результати, отримані автором самостійно. У спільній статті [1] О. В. Гутіку належать постановка задач, обговорення та аналіз отриманих результатів У роботі [2] автору належать леми 6, 8, твердження 3, 5, 7, 9, 11, теореми 10, 12, 14, 16, 17, приклад 15 та наслідки 4, 13. У роботі [4] автору не належать твердження 1, теорема 2 та наслідок 3. У роботі [5] автору не належать твердження 1, теореми 1, 12, та приклад 1.

Апробація результатів дисертації. Результати отримані в дисертаційній роботі доповідалися та обговорювалися на Третій міжнародній алгебраїчній конференції в Україні (Суми, 2001); на International Algebraic Conference in Ukraine (Одеса, 2005); на Summer School on General Algebra and Ordered Sets (Radejov, Czech Republic, 2006); на III Sympozjum matematycznych i Informatycznych Kуl Naukowych. Topologia (Krakow, Poland, 2006); на Другій літній школі з алгебри і топології (Долина, 2004); на Третій літній школі з алгебри, аналізу і топології (Козьова, 2005); на XVII відкритій науково-технічній конференції молодих науковців і спеціалістів фізико-механічного інституту ім. Г. В. Карпенка НАН України (Львів, 2001); на Конференції молодих учених із сучасних проблем механіки і математики ім. акад. Я. С. Підстригача (Львів, 2005); на семінарі “Топологія і застосування” у Львівському національному університеті імені Івана Франка (Львів, 2001); на Львівському міському алгебраїчному семінарі (Львів, 2003, 2004, 2006); на семінарі відділу алгебри Інституту прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України (Львів, 2003, 2004, 2005, 2006); на математичному семінарі Інституту прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України (Львів, 2006).

Публікації. Результати дисертації опубліковані у 13 роботах [1 - 13], з яких 5 статей у виданнях з переліку затвердженого ВАК України.

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

Автор висловлює щиру подяку науковому керівнику кандидату фізико-математичних наук, старшому науковому співробітнику, доценту кафедри геометрії і топології Львівського національного університету імені Івана Франка, Олегу Володимировичу Гутіку за постановку задач і допомогу у роботі над дисертацією.

ОСНОВНИЙ ЗМІСТ ДИСЕРТАЦІЇ

Коротко охарактеризуємо зміст роботи.

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

У першому підрозділі розділу 1 “Огляд літератури, мотивація досліджень та допоміжні відомості” подається огляд літератури, у якому коротко висвітлено історію розвитку теорії топологічних напівгруп та формулюються основні задачі, що розв'язуються у даній роботі. У другому підрозділі першого розділу викладено відомі результати з алгебраїчної теорії напівгруп, загальної топології та теорії топологічних напівгруп, які використовуються у дисертації.

Напівгрупа, де - напівгрупа з одиницею, - множина потужності, і напівгрупова операція визначена так: і для довільних, , називається-розширенням Брандта напівгрупи. У випадку, якщо тривіальна напівгрупа, то напівгрупа називається напівгрупою матричних одиниць.

Розділ 2 “Топологічні напівгрупи матричних одиниць” складається з трьох підрозділів і присвячений вивченню топологічних властивостей нескінченної напівгрупи матричних одиниць. У першому підрозділі другого розділу досліджуються топологічні властивості напівгрупи матричних одиниць як напівтопологічної напівгрупи.

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

Лема 2.1.1. Нехай і - топологія на така, що - напівтопологічна напівгрупа. Тоді довільний ненульовий елемент напівгрупи є ізольованою точкою в.

М. О. Бертман і Т. Т. Вест4 показали, що біциклічна напівгрупа занурюється у компактні напівтопологічні напівгрупи. На нескінченній напівгрупі матричних одиниць побудовано таку топологію, що є компактною напівтопологічною інверсною напівгрупою.

Приклад 2.1.1. Нехай - нескінченний кардинал. Означимо на напівгрупі матричних одиниць топологію так:

а) усі ненульові елементи напівгрупи є ізольованими точками в;

б) і - база топології у точці.

Тоді - компактна гаусдорфова напівтопологічна напівгрупа.

А. Б. Паалман-де-Міранда показала, що нуль компактної цілком -простої топологічної напівгрупи є ізольованою точкою в. Напівгрупа є прикладом компактної цілком -простої напівтопологічної інверсної напівгрупи з неізольованим нулем.

Наступна теорема описує усі компактні, зліченно-компактні, та псевдо-компактні топології на такі, що перетворюють її у напівтопологічну напівгрупу.

Теорема 2.1.1. Нехай і - топологія на така, що - напівтопологічна напівгрупа. Тоді наступні твердження еквівалентні:

1) - компактна напівтопологічна напівгрупа;

2) - зліченно-компактна напівтопологічна напівгрупа;

3) - псевдо-компактна напівтопологічна напівгрупа;

4) топологічно ізоморфна напівгрупі.

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

Наслідок 2.2.1. На нескінченній напівгрупі матричних одиниць не існує компактної (зліченно-компактної, псевдо-компактної) напівгрупової топології.

У підрозділі 2.2 досліджується занурення нескінченної топологічної напівгрупи матричних одиниць у компактні топологічні напівгрупи. Л. Андерсон, Р. Гантер і Р. Кох2 довели, що біциклічна напівгрупа не занурюється в стабільну напівгрупу, а отже і в компактну топологічну напівгрупу. Дж. Гільдебрант і Р. Кох показали, що довільна -компактна топологічна напівгрупа не містить біциклічної напівгрупи. Постає природне запитання: чи існує компактна топологічна напівгрупа, що містить нескінченну напівгрупу матричних одиниць? Наступна теорема дає негативну відповідь на це питання.

Теорема 2.2.1. Якщо, то на напівгрупі матричних одиниць не існує напівгрупової топології , такої що занурюється у компактну топологічну напівгрупу.

Напівгруповий гомоморфізм називають анулюючим, якщо існує елемент в такий, що для кожного з. Виконується

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

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

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

Наслідок 2.2.2. Компактифікація Бора нескінченної топологічної напівгрупи матричних одиниць є тривіальною напівгрупою.

У третьому підрозділі 2-го розділу досліджуються напівгрупові топологізації нескінченної напівгрупи матричних одиниць.

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

Кожна компактна напівгрупа є абсолютно -замкнена, абсолютно -замкнена напівгрупа є -замкнена, алгебраїчно -замкнена напівгрупа є абсолютно -замкнена, алгебраїчно замкнена напівгрупа є -замкнена, алгебраїчно -замкнена напівгрупа є алгебраїчно замкнена.

Замкнені, абсолютно -замкнені та алгебраїчно -замкнені топологічні напівгрупи були введені Дж. Степпом6,10.

Оскільки напівгрупа матричних одиниць є конгруенц-простою, то з теореми 2.3.1 слідує

Наслідок 2.3.5. Для довільного кардинала напівгрупа є алгебраїчно -замкненою у класі топологічних інверсних напівгруп.

Побудовано приклад 2.3.1, з якого слідує, що нескінченна напівгрупа матричних одиниць з дискретною топологією не є -замкненою напівгрупою в класі локально компактних топологічних напівгруп.

Мінімальні топологічні групи були введені у 70-их роках XX-го століття незалежно Д. Дойтчіновим і Р. Стефенсоном для теорії мінімальних топологічних просторів, яка активно розвивалася у той час. Раніше, у 50-их роках, мінімальність у кільцях з подільностями вивчав Л. Нахбін, і у більш загальному розумінні - у топологічних алгебрах - Б. Банашевський.

Означення 2.3.1. Гаусдорфова топологічна (інверсна) напівгрупа називається мінімальною (інверсною), якщо жодна гаусдорфова напівгрупова (інверсна) топологія на не міститься строго у. Якщо - мінімальна топологічна (інверсна) напівгрупа, тоді називається мінімальною напівгруповою (інверсною) топологією.

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

Питання 2.3.1 (Т. О. Банах). Чи для довільного нескінченного кардинала існує мінімальна (інверсна) напівгрупова топологія на напівгрупі матричних одиниць?

Для довільних позначимо

Сім'ї, і є базами топологій, і на, відповідно.

Теорема 2.3.2. Нехай _ нескінченний кардинал. Тоді:

1) _ мінімальна напівгрупова топологія на;

2) _ мінімальна напівгрупова топологія на;

3) _ найслабша, а отже мінімальна, напівгрупова інверсна топологія на.

Теорема 2.3.3. Нехай і, _ напівгрупові топології на напівгрупі матричних одиниць такі, що і. Тоді або, і або.

Наслідок 2.3.4. Нехай _ нескінченний кардинал. Тоді, і _ абсолютно _замкнені топологічні напівгрупи.

Теорема 2.3.5. Для кожного кардинала довільний неперервний гомоморфізм напівгрупи [,] у топологічну напівгрупу, простір якої є точково-зліченного типу, є анулюючим.

Теорема 2.3.6. Для кожного нескінченного кардинала довільний неперервний гомоморфізм топологічної напівгрупи [,] у локально компактну топологічну напівгрупу є анулюючим.

У розділі 3 “Топологічні _розширення Брандта топологічних напівгруп” досліджується збереження -замкненості та абсолютної -замкненості топологічними -розширеннями Брандта топологічних напівгруп.

Конструкція-розширення Брандта є узагальненням групоїдів Брандта, вивчення яких було започатковане у роботах Г. Брандта у 20-х роках XX-го століття. Цілком -проста інверсна напівгрупа ізоморфна групоїду Брандта, тобто є -розширенням над групою. У 1989 р. Дж. Гауї запропонував конструкцію занурення напівгруп у нільпотентно-породжені напівгрупи індексу нільпотентності . О. Гутік узагальнив конструкцію Гауї для довільного кардинала і топологізував її. Отриману напівгрупу було названо -розширенням Брандта напівгрупи.

Означення 3.1.2. Нехай - кардинал, , - клас топологічних напівгруп,. Якщо топологія на така, що

1),

2) для деякого,

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

У першому підрозділі третього розділу вивчається питання збереження -замкненості топологічними -розширеннями Брандта топологічних напівгруп.

Виконується

Теорема 3.1.3. Нехай - топологічна інверсна напівгрупа. Тоді наступні умови еквівалентні:

1) --замкнена напівгрупа в класі топологічних інверсних напівгруп,

2) існує кардинал такий, що довільне топологічне -розширення Брандта напівгрупи є -замкненим у класі топологічних інверсних напівгруп,

3) для кожного кардинала довільне топологічне -розширення Брандта напівгрупи є -замкненим у класі топологічних інверсних напівгруп.

З теореми 3.1.3 випливає

Наслідок 3.1.2. Нехай - інверсна напівгрупа. Тоді наступні твердження еквівалентні:

1) - алгебраїчно замкнена напівгрупа в класі топологічних інверсних напівгруп;

2) існує кардинал такий, що -розширення Брандта напівгрупи є алгебраїчно замкненою напівгрупою в класі топологічних інверсних напівгруп;

3) для кожного кардинала, -розширення Брандта напівгрупи є алгебраїчно замкненою напівгрупою в класі топологічних інверсних напівгруп.

Оскільки нескінченна дискретна напівгрупа матричних одиниць не є -замкненою, то топологічні -розширення Брандта не зберігають -замкненість для. Тому природно виникає питання: чи існують напівгрупові топології на -розширеннях Брандта топологічних напівгруп, що зберігають -замкненість в класі топологічних напівгруп. Відповідь на це питання дає теорема 3.1.4.

Нехай - топологічна напівгрупа і - нескінченний кардинал. Для довільних означимо

, .

Нехай

, , ,

де,.

Нехай - база топології топологічної напівгрупи. Кожна з сімей

,

,

визначає бази топологій, і відповідно, на напівгрупі.

Твердження 3.1.5. Нехай - нескінченний кардинал і - топологічна напівгрупа. Тоді, , - топологічні напівгрупи, а якщо - топологічна інверсна напівгрупа, то - топологічна інверсна напівгрупа.

Теорема 3.1.4. Нехай i --замкнена топологічна напівгрупа. Тоді, і -замкнені топологічні напівгрупи.

У 20-их роках XX-го століття А. К. Сушкевич описав структуру скінченних простих напівгруп. Д. Ріс узагальнив теорему Сушкевича і описав цілком прості напівгрупи за допомогою матричних напівгруп Ріса над групою з регулярною сендвіч-матрицею. А. Д. Уоллес довів топологічний аналог теореми Ріса-Сушкевича для компактних простих топологічних напівгруп: довільна компактна топологічна напівгрупа містить мінімальний ідеал і топологічно ізоморфний топологічній матричній напівгрупі Ріса над топологічною групою з регулярною сендвіч-матрицею. А. В. Паалман-де-Міранда14 довела, що довільна -проста компактна топологічна напівгрупа є цілком -простою. А. Г. Кліфорд описав структуру цілком-простих інверсних груп. В. С. Оуен показав, що якщо - локально-компактна цілком проста топологічна напівгрупа, тоді має подібну будову до компактних простих топологічних напівгруп. Природно постає задача: описати структуру компактних -простих топологічних інверсних напівгруп.

Наступна теорема описує структуру компактних -простих топологічних інверсних напівгруп.

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

Наслідок 3.1.6. Кожна компактна конгруенц-проста топологічна інверсна напівгрупа з нулем, що містить більше ніж два елементи, ізоморфна скінченній напівгрупі матричних одиниць.

Структура двоелементних конгруенц-простих напівгруп описана в роботі Є. С. Ляпіна.

У 1940 році М. Катетов8 довів, що _замкненість топологічного простору зберігається неперервними відображеннями, тобто кожен -замкнений топологічний простір є абсолютно _замкненим. У класі топологічних груп, топологічних інверсних напівгруп та топологічних напівгруп існують _замкнені але не абсолютно -замкнені об'єкти. Такою, наприклад, в класі топологічних груп та в класі топологічних інверсних напівгруп є адитивна група цілих чисел з дискретною топологією. Питання: “коли -замкнена топологічна група є абсолютно -замкненою?” залишається нерозв'язаним повністю. Зокрема, відомо, що властивість бути абсолютно _замкненою топологічною групою зберігається декартовими добутками та замкненими центральними підгрупами. У категорії топологічних напівграток Дж. Степп дав критерій абсолютної -замкненості дискретних напівграток. Залишається також нерозв'язаною проблема Дж. Степпа: ”чи кожна -замкнена топологічна напівгратка є абсолютно _замкненою?”. Тому, актуальним є питання відшукання конструкцій, які б зберігали абсолютну -замкненість у різних класах топологічних напівгруп. Виявляється, що такою конструкцією є топологічне -розширення Брандта топологічної напівгрупи.

У другому підрозділі третього розділу вивчається збереження абсолютної -замкненості топологічними -розширеннями Брандта топологічних напівгруп.

З теореми 2.2.2 та наслідку 3.2.1 випливає описання компактифікації Бора топологічних _розширень Брандта топологічних напівгруп для нескінченного кардинала.

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

Виконується

Теорема 3.2.3. Нехай _ топологічна інверсна напівгрупа. Тоді наступні умови є еквівалентними:

1) _ абсолютно _замкнена топологічна напівгрупа у класі топологічних інверсних напівгруп;

2) існує кардинал такий, що довільне топологічне _розширення Брандта напівгрупи є абсолютно _замкненою топологічною напівгрупою у класі топологічних інверсних напівгруп;

3) для довільного кардинала довільне топологічне _розширення Брандта напівгрупи є абсолютно _замкненою топологічною напівгрупою у класі топологічних інверсних напівгруп.

Як наслідок отримано аналогічне твердження для алгебраїчно -замкнених напівгруп:

Теорема 3.2.5. Нехай _ інверсна напівгрупа. Тоді наступні умови є еквівалентними:

1) _ алгебраїчно _замкнена напівгрупа у класі топологічних інверсних напівгруп;

2) є алгебраїчно _замкненою напівгрупою у класі топологічних інверсних напівгруп для деякого кардинала;

3) є алгебраїчно _замкненою напівгрупою у класі топологічних інверсних напівгруп для довільного кардинала.

У класі топологічних напівгруп твердження теореми 3.2.3 не виконується, оскільки напівгрупа матричних одиниць з дискретною топологією не є _замкненою.

Природно постає запитання: чи для кожного кардинала існують напівгрупові абсолютно _замкнені топології на _розширеннях Брандта напівгрупи для абсолютно _замкненої топологічної напівгрупи? Виявляється, що побудовані топології, і є такими.

Теорема 3.2.6. Нехай _ нескінченний кардинал і _ абсолютно _замкнена напівгрупа. Тоді, і _ абсолютно _замкнені топологічні напівгрупи.

Побудовано приклад (Приклад 3.1.1) не -замкненої топологічної інверсної напівгрупи в класі топологічних інверсних напівгруп такої, що для кожного кардинала існує абсолютно-замкнене топологічне -розширення Брандта напівгрупи (Теорема 3.1.5 і 3.2.7). З цього слідує, що умову 3) в теоремі 3.1.3 (теоремі 3.2.3, відповідно), не можна послабити до наступної:

) для кожного кардинала існує топологічне-розширення Брандта напівгрупи, яке є (абсолютно)-замкненим, відповідно, у класі топологічних інверсних напівгруп.

За допомогою топологічного -розширення Брандта топологічної напівгрупи побудовано приклад абсолютно _замкненої зліченної -вимірної метризовної топологічної напівгрупи з абсолютно _замкненим ідеалом такої, що фактор-напівгрупа Ріса не є топологічною напівгрупою.

Приклад 3.2.2. Нехай - множина натуральних чисел, - зростаюча послідовність в. Покладемо. Означимо напівграткову операцію на так:, де. Очевидно, - нуль напівгратки. Нехай. Задамо топологію на так: усі ненульові елементи напівгратки є ізольованими точками в і - база топології у точці. Очевидно, що - зліченна лінійно-впорядкована -компактна локально компактна метризовна топологічна напівгратка і якщо для кожного, то топологічний простір - не є компактним.

Теорема 3.2.8. Нехай. Тоді і - метризовні топологічні напівгрупи.

За теоремою 3.2.6, множина є абсолютно -замкненим ідеалом напівгрупи. Виконується

Теорема 3.2.10. Нехай і - зростаюча послідовність в така, що для довільного, і - означена вище топологічна напівгрупа. Тоді топологічні фактор-напівгрупи Ріса і з фактор - топологіями не є топологічними напівгрупами.



ВИСНОВКИ

матричний одиниця напівгрупа компактифікація

У дисертації автором отримані наступні результати:

1. Описано усі компактні, зліченно компактні, дискретно псевдо-компактні та псевдо-компактні топології на нескінченній напівгрупі матричних одиниць такі, що є напівтопологічною напівгрупою.

2. Доведено, що на нескінченній напівгрупі матричних одиниць не існує компактної (зліченно компактної, псевдо-компактної) напівгрупової топології. Більше того, доведено, що на нескінченній напівгрупі матричних одиниць не існує напівгрупової топології, такої що занурюється у компактну топологічну напівгрупу.

3. Доведено, що довільний неперервний гомоморфізм нескінченної топологічної напівгрупи матричних одиниць у компактну топологічну напівгрупу є анулюючим.

4. Описані компактифікації Бора нескінченних напівгруп матричних одиниць та топологічних _розширень Брандта топологічних напівгруп для нескінченного кардинала.

5. Описано структуру компактних -простих топологічних інверсних напівгруп.

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

7. Побудовано напівгрупові абсолютно -замкнені, мінімальні та мінімальні інверсні гаусдорфові топології на нескінченній напівгрупі матричних одиниць.

8. Доведено, що топологічна інверсна напівгрупа є (абсолютно) -замкненою в класі топологічних інверсних напівгруп тоді і тільки тоді, коли для кожного кардиналу довільне її топологічне _розширення Брандта в класі топологічних інверсних напівгруп є (абсолютно) -замкненою напівгрупою.

9. Для довільного нескінченного кардинала побудовано напівгрупові топології на _розширеннях Брандта топологічних напівгруп, що зберігають (абсолютну) _замкненість.

10. Наведено приклад не _замкненої топологічної напівгрупи такої, що для довільного кардинала існує абсолютно _замкнене топологічне _розширення Брандта напівгрупи.

11. Побудовано приклад зліченної абсолютно -замкненої -вимірної метризовної інверсної топологічної напівгрупи з абсолютно -замкненим ідеалом такої, що фактор-напівгрупа Ріса не є топологічною напівгрупою.

СПИСОК ОПУБЛІКОВАНИХ РОБІТ ЗА ТЕМОЮ ДИСЕРТАЦІЇ

1. Гутік О. В., Павлик К. П. -замкнені топологічні напівгрупи та -розширення Брандта// Мат. методи та фіз.-мех. поля. - 2001. - Т. 44, № 3. - C. 20-28.

2. Gutik O. V., Pavlyk K. P. Absolutely _closed topological Brandt _extensions of topological inverse semigroups// Вісник Львів. ун-ту. Сер. мех.-мат. - 2003. - Вип. 61. - C. 98-105.

3. Павлик К. П. Абсолютно -замкнені топологічні напівгрупи та -розширення Брандта// Прикладні проблеми мех. і мат.: Наук. збірник. - Львів, 2004. - Випуск 2. - С. 61-68.

4. Gutik O. V., Pavlyk K. P. On topological semigroups of matrix units// Semigroup Forum. - 2005. - Vol. 71. - P. 389-400.

5. Gutik O. V., Pavlyk K. P. On Brandt -extensions of semigroups with zero// Мат. методи та фіз.-мех. поля. - 2006. - Т. 49, № 3. - C. 26-40.

6. Gutik O. V., Pavlyk K. P. On topological semigroups of matrix units// Праці третьої міжнар. алгебр. конф. в Україні. - Суми, 2001. - С. 42-45.

7. Gutik O. V., Pavlyk K. P. -closed topological semigroups and topological Brandt -extensions// Міжнародна алгебраїчна конференція, Ужгород, 27-29 серпня 2001 р. - Ужгород, 2001. - С. 13.

8. Gutik O. V., Pavlyk K. P. On _closed topological semigroups and Brandt _extensions// International Mathematical Conference honouring D. A. Grave's 100th year since the beginning of his work at Kyiv University. - Kyiv, June 17-22, 2002. - Kyiv, 2002. - P. 29-30.

9. Pavlyk K. P. Absolutely -closed topological semigroups and Brandt -extensions// ІІ-а літня школа з алгебри і топології, Львів-Долина, 2-14 липня 2004. - Programs of Invited Lectures and Abstracts of Research Reports, Львів-Долина, 2-14 липня 2004. - P. 28-30.

10. Gutik O. V., Pavlyk K. P. On compact semitopological semigroups of matrix units// Конференція молодих учених із сучасних проблем механіки і математики ім. академіка Я. С. Підстригача, Львів, 24_27 травня 2005 р. - Тези доповідей, Львів, 2005. - С. 247-248.

11. Gutik O. V., Pavlyk K. P., On absolutely -closed topological semigroups and Brandt -extensions// International Algebraic Conference in Ukraine, Odessa, July 20_27, 2005. - Abstracts, July 20_27, 2005, Odessa. - P. 83-84.

12. Gutik O. V., Pavlyk K. P. Pseudo-compact semitopological semigroups of matrix units// Third Summer School in Algebra, Analysis and Topology, Lviv-Kozyova, August 9-20, 2005. - Invited Lectures and Abstracts of Research Reports, Lviv-Kozyova, August 9-20, 2005. - P. 137-139.

13. Gutik O. V., Pavlyk K. P. On Brandt -extensions of topological semigroup with zero// IV-th Summer School “Algebra, Topology, Functional and Stochastic Analysis”, Lviv-Kozyova, July 17-29, 2006. - Invited Lectures and Abstracts of Research Reports, Lviv-Kozyova, July 17-29, 2006. - P. 105-107.

АНОТАЦІЯ

Павлик К. П. Топологічні напівгрупи матричних одиниць і -розширення Брандта топологічних напівгруп. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.01.06 - алгебра і теорія чисел. - Львівський національний університет імені Івана Франка, Львів, 2007.

Дисертаційна робота присвячена дослідженню властивостей нескінченних топологічних напівгруп матричних одиниць та топологічних -розширень Брандта топологічних напівгруп. Описано усі псевдо-компактні топології на нескінченній напівгрупі матричних одиниць такі, що є напівтопологічною напівгрупою. Доведено, що на нескінченній напівгрупі матричних одиниць не існує напівгрупової топології, такої що занурюється у компактну топологічну напівгрупу. Доведено, що нескінченна напівгрупа матричних одиниць є алгебраїчно -замкненою в класі топологічних інверсних напівгруп. Побудовано напівгрупові абсолютно -замкнені мінімальні та мінімальні інверсні гаусдорфові топології на нескінченній напівгрупі матричних одиниць. Описано структуру компактних -простих топологічних інверсних напівгруп. Описано компактифікації Бора нескінченної напівгрупи матричних одиниць та топологічних _розширень Брандта топологічних напівгруп для нескінченного кардинала. Доведено, що топологічна інверсна напівгрупа є (абсолютно) -замкненою в класі топологічних інверсних напівгруп тоді і тільки тоді, коли для кожного кардинала довільне її топологічне _розширення Брандта є (абсолютно) -замкненою напівгрупою в класі топологічних інверсних напівгруп. Для довільного нескінченного кардинала побудовано напівгрупові топології на _розширеннях Брандта топологічних напівгруп, що зберігають _замкненість та абсолютну _замкненість. Побудовано приклад зліченної абсолютно -замкненої -вимірної метризовної інверсної топологічної напівгрупи з абсолютно -замкненим ідеалом такої, що фактор-напівгрупа Ріса не є топологічною напівгрупою.

Ключові слова: топологічна (напівтопологічна) напівгрупа, напівгрупа матричних одиниць, мінімальна напівгрупова топологія, топологічне-розширення Брандта, -замкнена напівгрупа, абсолютно -замкнена напівгрупа.



АННОТАЦИЯ

Павлык Е. Ф. Топологические полугруппы матричных единиц и-расширения Брандта топологических полугрупп. - Рукопись.

Диссертация на соискание ученой степени кандидата физико-математических наук по специальности 01.01.06 - алгебра и теория чисел. - Львовский национальный университет имени Ивана Франко, Львов, 2007.

Диссертационная работа посвящена изучению свойств бесконечных топологических полугрупп матричных единиц и топологических -расширений Брандта топологических полугрупп. Получено описание всех псевдо-компактных топологий на бесконечной полугруппе матричных единиц такое, что есть полутопологической полугруппой. Доказано, что на бесконечной полугруппе матричных единиц не существует полугрупповой топологии, такой, что погружается в компактную топологическую полугруппу. Доказано, что бесконечная полугруппа матричных единиц алгебраически -замкнутая в классе топологических инверсных полугрупп. Построены полугрупповые абсолютно -замкнутые минимальные и минимальные инверсные гаусдорфовые топологии на бесконечной полугруппе матричных единиц. Получены описание строения компактных -простых топологических инверсных полугрупп и описание компактификаций Бора бесконечной полугруппы матричных единиц и топологических _расширений Брандта топологических полугрупп для бесконечного кардинала. Доказано, что топологическая инверсная полугруппа (абсолютно) -замкнутая в классе топологических инверсных полугрупп тогда и только тогда, когда для каждого кардинала ее произвольное топологическое -расширение Брандта является (абсолютно) -замкнутой полугруппой в классе топологических инверсных полугрупп. Для произвольного бесконечного кардинала построены полугрупповые топологии на _расширениях Брандта топологических полугрупп, которые сохраняют _замкнутость и абсолютную _замкнутость. Построен пример счетной абсолютно -замкнутой -измеримой метризовної инверсной топологической полугруппы с абсолютно -замкнутым идеалом такой, что фактор-полугруппа Риса не является топологической полугруппой.

Ключевые слова: топологическая (полутопологическая) полугруппа, полугруппа матричных единиц, минимальная полугрупповая топология, топологическое-расширения Брандта, -замкнутая полугруппа, абсолютно -замкнутая полугруппа.



ABSTRACT

Pavlyk K. F. Topological semigroups of matrix units and Brandt-extensions of topological semigroups. - Manuscript.

Thesis of dissertation for obtaining the degree of candidate of sciences in physics and mathematics, speciality 01.01.06 - algebra and number theory. - Ivan Franko Lviv National University, Lviv, 2007.

The thesis is devoted to the investigation of properties of an infinite topological semigroup of matrix units and of the topological Brandt -extensions of topological semigroups.

The thesis consists of introduction, three chapters and conclusive remarks. In the first chapter we introduce the bibliography and provide a brief history of the investigations. Also the main problems to be solved in the dissertation are formulated. In the first section of the first chapter generally-known useful results from the algebraic semigroup theory, general topology and the theory of topological semigroup are stated. The following chapters consist of the results obtained by the author.

The second chapter is devoted to study of the topological properties of the infinite semigroup of matrix units. The compact, countably compact and pseudo-compact topologies on the infinite semigroup of matrix units such that is a semi-topological semigroup are described.

The topological embeddings of the infinite semigroup of matrix units into compact topological semigroups are considered in the 2nd section of chapter II. It is proved that on the infinite semigroup of matrix units there exists no semigroup topology such that embeds into a compact topological semigroup. Moreover, any continuous homomorphism from the infinite topological semigroup of matrix units into a compact topological semigroup is annihilating.

The semigroup topologizations of the infinite semigroup of matrix units are investigated in the 3rd section of chapter II. It is proved that the infinite semigroup of matrix units is algebraically -closed in the class of topological inverse semigroups. An example of an infinite semigroup of matrix units which is not -closed in the class of locally compact topological semigroup is constructed. Some absolutely -closed minimal and minimal inverse semigroup topologies on the infinite semigroup of matrix units are described.

In the third chapter, the preservation of the -closedness and the absolute -closedness by the topological Brandt -extensions of topological semigroups are investigated. The main result of this chapter is: any topological inverse semigroup is (absolutely) -closed in the class of topological inverse semigroups if and only if for every cardinal arbitrary topological Brandt -extension of the semigroup is (absolutely) -closed semigroup in the class of topological inverse semigroups. For every infinite cardinal, semigroup topologies on Brandt _extensions which preserve -closedness and an absolute -closedness are constructed. An example of a non -closed topological inverse semigroup in the class of topological inverse semigroups such that for any cardinal there exists an absolute -closed topological Brandt-extension of the semigroup in the class of topological semigroups is constructed.

As a consequence of the obtained results, the structure of compact -simple topological inverse semigroups is described. The Bohr compactification of the infinite semigroup of matrix units and of the topological Brandt-extensions of topological semigroups for the infinite cardinal are described.

Using the construction of topological Brandt -extensions of topological semigroups, an example of the countable absolutely -closed -dimensional metrizable inverse topological semigroup with an absolutely -closed ideal such that the Rees quotient-semigroup is not a topological semigroup is constructed.

Key words: topological (semitopological) semigroup, semigroup of matrix units, minimal semigroup topology, the topological Brandt-extension, -closed semigroup, absolutely -closed semigroup.

Размещено на Allbest.ru

...