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

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

УДК 512.548

о\ и

Кирнасовський Олег Юхимович

БІНАРНІ ТА и-АРНІ ІЗОТОПИ ГРУП:

Основні алгебричні поняття та кількісні характеристики

Спеціальність 01.01.06: “Алгебра та теорія чисел”

Автореферат

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

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

Київ — 2000.

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

Роботу виконано у Вінницькому державному педагогічном університеті імені Михайла Коцюбинського.

Науковий керівник:

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

Сохацький Федір Миколайович,

кафедра алгебри і методики викладання математики

Вінницького державного педагогічного університету

імені Михайла Коцюбинського.

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

доктор фізико-математичних наук старший науковий співробітник Новіков Борис Володимирович,

Харківський національний університет імені В. Каразіна;

кандидат фізико-математичних наук доцент Ганюшкін Олександр Григорович,

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

Провідна організація:

Інститут математики Національної Академії наук України.

Захист відбудеться с2^. ріс)- 20 СЧ року о ' і

засіданні спеціалізованої вченої ради Д26.001.18 при Київського національному університеті імені Тараса Шевченка за адресої Київ—127, проспект академіка Глушкова, 6, Київська

національний університет імені Тараса Шевченка, механік математичний факультет.

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

Автореферат розіслано

ТіїОО року.

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

І

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

Актуальність теми. На квазігрупах, “близьких” до груп, найпродуктивніше узагальнюються результати теорії груп та прогнозуються результати для більш широких класів квазігруп. В класі луп такими “близькими” квазігрупами, що привертали увагу багатьох науковців, є лупи Муфанг, а в класі квазігруп — ізотопи груп, особливо — лінійні ізотопи груп. Проте враження щодо легкості вивчення ізотопів груп є досить оманливим. Скажімо, Ф.М. Сохацьким показано, що в багатьох випадках розв'язання задачі опису ізотопів груп з точністю до ізоморфізму вимагає розв'язання відомої задачі про пару матриць, а тому задача такого опису є “дикою”. А В.І. Ізбаш показав, що при ізотопії властивості квазігруп можуть змінюватись настільки сильно, що абсолютно втрачається, наприклад, структура підквазігруп та конгруенцій.

З іншого боку, в численних працях В.Д. Білоусова, М. Тейлора, А. Крапежа та інших науковців показано, що розв'язування багатьох функційних рівнянь призводить до вивчення бінарних та и-арних ізотопів груп.

Також бінарні та я-арні ізотопи груп з'являлись у дослідженнях інших питань: Г.Б. Бєлявська довела, що в многовиді бінарних квазігруп абелевими алгебрами в значенні Маккензі є точно лінійні ізотопи абелевих груп; Л.М. Глускін та М. Хосу встановили, що «-групи є и-арними лінійними ізотопами груп; В.Д. Білоусов довів, що и-арні медіальні квазігрупи є и-арними лінійними ізотопами абелевих груп (в бінарному випадкові — це відома теорема Брака — Тойоди); Ф.М. Сохацький встановив, що роздільні п-арні квазігрупи з властивістю оборотності та поліагрупи теж є я-арними лінійними ізотопами груп. В. Дудек показав, що квадратичні квазігрупи є лінійними ізотопами абелевих груп.

Першими працями, в яких цілеспрямовано вивчались бінарні ізотопи групи, були стаття Я. Єжека та Т. Кепки, праці Т. Кепки та П. Немця про лінійні ізотопи абелевих груп, праці В.Д. Білоусова, М. Тейлора, Я. Дуплака та Ф.М. Сохацького про тотожності, що гарантують ізотопність квазігрупи до групи. Частину робіт та дисертацій В.І. Ізбаша, В.А. Щербакова (керівник

— В.Д. Білоусов) та А.Х. Табарова (керівник — Г.Б. Бєлявська) присвячено вивченню ізотопів груп. В статті Ф.М. Сохацького та П. Сиваківського розпочато цілеспрямоване дослідження и-арних лінійних ізотопів циклічних груп.

Вперше системне дослідження бінарних ізотопів груп розпочато Ф.М. Сохацьким, яким розроблено та удосконалено понятійний апарат, основні методи дослідження, введено поняття канонічного розкладу та зведено вивчення гомоморфізмів, конгруенцій, автоморфізмів, підквазігруп тощо до вивчення відповідних залежностей між компонентами канонічних розкладів, тобто залежностей в групі канонічного розкладу. Це дозволило описати зазначені алгебричні поняття для деяких класів квазігруп. Встановлено також метод знаходження формул, що описують ізотопне замикання класів груп за формулами, які описують такі класи груп, і навпаки. Описано квазігрупові тотожності, які гарантують ізотопність до групи, її лінійність тощо.

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

1) залишено багато прогалин в проблемах опису груп

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

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

3) цілеспрямоване вивчення кількостей ізотопів скінченних груп не

проводилось взагалі;

4) відкритим залишилось питання класифікації як я-арних так

бінарних ізотопів груп.

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

Все це пояснює доцільність продовження заповнення ти? прогалин у теорії квазігруп, що стосуються бінарних та я-арню ізотопів груп.

Зв'язок роботи з науковими програмами, планами темами. Вивчення бінарних та я-арних ізотопів груп є частинам] наукових планів Вінницького державного педагогічноп університету ім. М. Коцюбинського та державних наукових тем, як виконувались у цьому університеті під науковим керівництво» Ф.М. Сохацького: N 44/5 АН “Дослідження багатомісних функціі за допомогою суперпозицій” (1990 — 1994 роки); N 8:

з

“Дослідження багатомісних функцій та операцій над ними” (1995

— 1996 роки); N 44/2 “Дослідження багатомісних функцій та відповідних алгебр” (1997 — 1999 роки); N 95 “Дослідження багатомісних функцій та відношень алгебричними методами” (2000

— 2001 роки).

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

1) описати гомоморфізми, підквазігрупи та нормальні конгруенції для л-арних ізотопів груп;

2) вивести для лінійних квазігруп критерії належності до найуживаніших класів квазігруп;

3) одержати тотожності (особливо врівноважені), які характеризують многовид усіх и-арних (зокрема, бінарних) ізотопів груп та найважливіші його підмноговиди;

4) виділити класи и-арних ізотопів груп, для яких можна досить точно описати групи автоморфізмів, і зробити цей опис;

5) встановити критерії однорідності та кратної однорідності парних ізотопів груп;

6) класифікувати скінченні лінійні ізотопи циклічних груп за допомогою числових інваріантів, які б характеризували групи автоморфізмів, моноїди ендоморфізмів тощо з точністю до ізоморфізму;

7) одержати формули знаходження кількостей з точністю до ізоморфізму лінійних ізотопів груп (зокрема, циклічних) з різних відомих класів квазігруп, таких як ІР-квазігрупи, моноквазігрупи, комутативні, ідемпотентні тощо.

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

В.Д. Білоусова (1966), Дж. Ацеля, В.Д. Білоусова та М. Хосу (1960), Г.Б. Бєлявської та А.Х. Табарова (1991, 1992) й Ф.М. Сохацького (1995)). Знайдено критерії транзитивності та кратної транзитивності груп автоморфізмів и-арних ізотопів груп (результат є новим для гі>2, А.П. Ільїних при и=2 описав усі скінченні бінарні групоїди, що

мають двічі транзитивні групи автоморфізмів). Класифіковані скінченні я-арні лінійні ізотопи циклічних груп {уперше одержано) Знайдено з точністю до ізоморфізму кількість я-арних лінійни: ізотопів циклічної групи порядку т (уперше одержано, цим самш дано відповідь на проблему, поставлену в статті Ф.М. Сохацькоп та П. Сиваківського).

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

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

Апробація результатів дисертації. Результати досліджені включених до цієї дисертації висвітлено на п'ятій та шості міжнародних наукових конференціях імені академіка М. Кравчука Києві, на міжнародній конференції з універсальної алгебри та теор решіток у Сегеді, на міжнародній алгебричній конференці присвяченій пам'яті Л.М. Глускіна, у Слов'янську, на другі міжнародній алгебричній конференції, присвяченій пам’яті і Калужніна, у Вінниці, на міжнародній конференції “Ьоорз'99” Празі, на міжнародній конференції з математики та інформатикі присвяченій 50-річчю державного університету Молдови та А Молдови, на звітних наукових конференціях Вінницької державного педагогічного університету 1996 — 2000 років та і декількох алгебричних семінарах при Інституті математики А Молдови у Кишиневі, при Київському національному університе імені Тараса Шевченка й при Вінницькому державною педагогічному університеті імені Михайла Коцюбинського.

Публікації- Результати цих досліджень опубліковано в статтях та 17 тезах.

Структура та обсяг дисертації. Дисертаційну роботу викладено на 147 сторінках. Вона містить вступ, 4 розділи, висновки та список з 78 джерел, обсяг якого становить 9 сторінок. Перший розділ складається з 2 підрозділів, другий - з 8 підрозділів та висновків, третій — з 5 підрозділів та висновків, четвертий - з чотирьох підрозділів та висновків.

ОСНОВНИЙ ЗМІСТ РОБОТИ

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

Алгебру з однією операцією довільної арності гі> 1 названо групоїдом, а групоїд, для якого кожне ділення визначено однозначно,— квазігрупою. При цьому і-те ділення для операції / позначають за /', а при п=2 ліве та праве ділення позначають відповідно за / та V

Квазігрупу ((0;/) названо ізотопом групи ((?;+), якщо

існують підстановки ОСх, ..., ап та а, для яких операція /

визначається рівністю сс[ (х1,..., Хп ) = ахХх Н-----Ь (ХпХп. Цей

ізотоп групи названо лінійним, якщо всі ці підстановки є композиціями автоморфізмів та трансляцій групи (О; +).

Відомими є зв'язок між квазігрупами та латинськими квадратами та зв'язок між квазігрупами та сітками (В.Д. Білоусов та А.С. Бектенов (1979), О. Чейн, Г.О. Пфлюгфельдер та Дж. Сміт (1990) тощо). При цій відповідності ізоморфізму сіток та еквівалентності латинських квадратів відповідає ізотопія квазігруп. Тому проблема опису інваріантних при ізотопії формул ставилась багатьма дослідниками в теоріях квазігруп, латинських квадратів, сіток та інших (наприклад, Б. Брайан та Г. Шнайдер (1966), Е. Фалконер (1970), Е. Гудейр та Д. Робінсон (1982), Г. Моносова (1988), П.Н. Сирбу (1994, 1996) та інші). Проблема опису інваріантних при ізотопії формул існує давно, але її не розв'язано до цих пір. З цією проблемою є щільно пов’язаним питання про опис ізотопно замкнених класів квазігруп і луп. Відомо лише деякі приклади таких класів. Наприклад, в класі луп такими класами є клас луп Муфанг (якщо лупа є ізотопною до лупи Муфанг, то вона також є лупою Муфанг (В.Д. Білоусов, 1967)), клас Є-луп тощо. В

класі всіх квазігруп — це ізотопне замикання класу луп Муфанг (А.Х. Табаров, 1999) та інші. Проте найбільше досліджень було присвячено вивченню ізотопних замикань класів груп та знаходженню відповідних формул (наприклад, Г.Б. Бєлявська та А.Х. Табаров (1991, 1992), Я. Єжек та Т. Кепка (1975) та інші).

Вперше цілеспрямоване вивчення бінарних ізотопних замикань класів груп було дано в статтях Я. Єжека, Т. Кепки та П. Нємца (1971, 1975), наступний системний крок в цьому напрямку було зроблено Ф.М. Сохацьким (1995), причому розроблено новий підхід до розв'язання цієї проблеми. Ізотопія взагалі та канонічний розклад зокрема встановлюють зв'язок між груповими ізотопами та параметричними групами. Можна вважати, що клас всіх груп міститься в класі всіх параметричних груп, адже кожну групу можна вважати параметричною, якщо за параметри взяти тотожні перетворення множини. Ф.М. Сохацьким (1995) досліджувались лише ізотопні замикання класів груп, причому бінарні замикання, тобто результуючий клас алгебр є класом бінарних квазігруп, які є ізотопами груп даного класу.

У другому розділі закладено декілька базових понять для побудови загальної теорії л-арних ізотопів груп. Доведено, що кожний груповий ізотоп має канонічний розклад (теорема 2.1.7), і в термінах компонент канонічних розкладів описано гомоморфізми між груповими ізотопами (теорема 2.2.4), підквазігрупи та нормальні конгруенції групових ізотопів (теореми 2.6.3 та 2.8.2). Також розроблено метод побудови формул, які описують многовиди групових ізотопів з даними властивостями групи та коефіцієнтів канонічного розкладу (теорема 2.3.6), причому для основних многовидів групових ізотопів побудовано врівноважені тотожності (теорема 2.5.9 із зауваженням після неї), тобто тотожності без предметних констант, в яких кожна їхня предметна змінна зустрічається в лівій та правій частинах точно по одному разу. Доведено (теорема 2.5.9) існування врівноваженої тотожності, що характеризує многовид усіх тих групових ізотопів фіксованої арності, які мають фіксовані властивості і-лінійності ізотопу групи чи комутативності відповідної групи. Наприклад, в наслідку 2.5.7 наведено врівноважені тотожності, які характеризують класи ліволінійних та праволінійних квазігруп. Встановлено також низку інших результатів.

Розкладом групового ізотопу (();/) називають праву частину рівності /{хх,...,хп) = а\аххх + --- + а„х„), де < ах,...,ап,а >

— відповідна ізотопія (див. означення ізотопу групи). Цей розклад позначатимемо за <а1,...,ап,а,+ >. При цьому групу (0;+)

називають групою цього розкладу, а також говорять, що цей груповий ізотоп відповідає цьому розкладу. Один і той же ізотоп групи може мати декілька розкладів.

Виділимо тепер канонічний розклад. Розклад <ах,...,ап, сс,+ > групового ізотопу арності п назвемо канонічним

розкладом індексу і відносно елементу и або також /-тим и-канонічним розкладом, якщо и є нейтральним елементом групи (<2;+), кожна з підстановок при / Ф і є унітарною відносно цієї

групи (тобто ар — и), а також а — є (тут і скрізь є позначає

тотожне перетворення зрозумілої з контексту множини). При /=1 та при і=п називатимемо /-тий г/-канонічний розклад відповідно лівим гг-канонічним розкладом та правим и-канонічним розкладом.

Теорема 2.1.7. Кожний елемент и групового ізотопу арності п при кожному натуральному значенні І < її визначає єдиний його /■тий канонічний розклад.

Теорема 2.2.4. Перетворення у є гомоморфізмом ізотопу

(О;/) групи (<2; г ) в ізотоп (£?,^) цієї ж групи, які визначаються тотожностями Дх,,..., ) = аххх + • •• + а„хЙ + а,

де а та Ь - елементи, а ОСх, (Зх, ..., <2„та Рп —^ унітарні підстановки цієї групи, тоді й тільки тоді, коли у є лінійним перетворенням Ьсд групи (();+), де 0 — її ендоморфізм, і виконуються умови

= -с 4- Де + • • • + рпс + Ь, Я/?.с/_с+Дс+...+д іСваі = ДХС(9

для всіх і-1,..., п.

Індексовану алгебру (0'у+,1,ссх,...,а„,/3],...,/3п,е) назвемо «-параметричною групою, якщо (0; -ь) — група, е — її одиниця, І — операція взяття симетричного елементу в ((2+), а ах, Д , ..., ап,

Рп — підстановки множини Q, де гі> 1, й мають місце рівності а1рх=... = аяря=є,а2е = ... = а„е = е.

Формули (Уи)^ та (3&)Ч/ назвемо «-арниі універсальним термальним замиканням формули Ф та и-арниі екзистенційним термальним замиканням формули Ф відповідне якщо Ф — формула сигнатури «-параметричної групи, и -предметна змінна, яка не входить в запис формули Ф, а Ч* -формула, яку одержано з формули Ф заміною всіх входжен операцій даної сигнатури (+, І, а,,..., ап, Д,..., /Зп, є) символам

/ /', ..., /” квазігрупових операцій, користуючись і

п-1 і-2 п-і

співвідношень агх — /(х, и), а:х = f (її, и х, її) при ;>

• я—1 п-2 п-2

х + У = /(/'(х, и),и ,/"(м, и ,у)), е=і

їх =■/(/(“ ,/"(«, и ,*:)), и), Дх = /‘(х, II )

, . і-2 п-і '

Дх = /' (її, и ,х, и) при />1. Введемо також поняття термальног

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

Клас «-параметричних груп назвемо майже абстрактнм якщо клас відповідних ізотопів груп є абстрактним.

Теорема 2.3.6. Майже абстрактний клас «-параметрични груп описується в класі всіх «-параметричних груп системою 1 майже абстрактних формул сигнатури «-параметричної групи тоді тільки тоді, коли клас всіх групових ізотопів, що відповідають / параметричним групам з даного майже абстрактного клас; описується в класі всіх и-арних групових ізотопів системо формул, яка складається з «-арних термальних замикань вс формул із системи £.

Той факт, що довільна частина термальних замикаї можуть бути універсальними, а решта - екзистенційними, означ; рівносильність універсальних та екзистенційних замикань ді таких формул.

Наслідок 2.5.7. Бінарна квазігрупа (<2/) є ліволінійни

(праволінійним) груповим ізотопом тоді й тільки тоді, кох задовольняє врівноважену тотожність (х/у)г.(і\и)=х(((і/г)у)\ (відповідно (х/у).г^\и)=:(х/(і(г\у)))и).

Теорема 2.6.3. Множина О є підквазігрупою «-арно групового ізотопу ({0;/) з правим и-канонічним розкладе

(Н + е) =

< СС1,...,ССГ1,Є,+ > тоді й тільки тоді, коли існують підгрупа Н

П

групи (();+) та елемент е, такі що /(е) Є О, С^Н+е,

+«А І<П,

Ь'І^+а^Н + е = апе + ІеН, і — п.

Теорема 2.8.2. Відношення Я є нормальною конгруенцією на п-арному груповому ізотопі (О',]) з правим «-канонічним розкладом <СС1,...,ССп_1,КаССп, Є,+ >, де ССп —- унітарна

підстановка групи ((2;+), тоді й тільки тоді, коли п є конгруенцією на групі ((?;+), а також виконуються. рівності

(у/х Є 0)(ХІ (х + //) = (Х{Х + Н для всіх /=1, ..., п, де Н -нормальна підгрупа 7т(и) групи (<9;+).

За результатами другого розділу автором опубліковано праці [1], [6], [7] та [8].

У третьому розділі описано у вигляді критерію ті лінійні ізотопи довільної групи, чиї групи автоморфізмів є голоморфами цієї групи (теорема 3.1.4), та досліджено деякі інші “екстремальні” випадки на зразок цього, описано групові ізотопи, які мають транзитивні групи автоморфізмів (теорема 3.3.4), двічі транзитивні групи автоморфізмів (теорема 3.3.11), тричі транзитивні групи автоморфізмів (теорема 3.3.12). Класифіковано циклічні ізотопи, а саме: виділено інваріанти, які з точністю до ізоморфізму

характеризують групу автоморфізмів, моноїд ендоморфізмів та верхню напіврешітку підквазігруп (теорема 3.5.2), причому наслідок 3.4.9 зводить вивчення цих понять до випадку л-груп, а наслідок 3.4.14 — до випадку, коли даний циклічний ізотоп є або бінарним, або тернарним. Встановлено низку інших результатів.

Якщо ізотоп групи з теореми 2.8.2 є лінійним, то

позначатимемо його за (ссх,..., ОС п, СІ).

Теорема 3.1.4. Група автоморфізмів лінійного ізотопу

(осх,. ..,ОСп,а) групи (<2;+) є голоморфом групи (();+) тоді й

тільки тоді, коли група (<9;+) є абелевою, кожний автоморфізм ОСі лежить в центрі групи Аиі((9;+), а також виконуються умови а, + —ьап = £•, (У# є Ам(()\+У)(всі = а).

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

Для зручності формулювання наступних трьох теорем домовимось про єдині позначення: зафіксуємо довільну групу, яку позначимо за ((?; +), її довільний елемент, який позначимо за а, довільне більше за одиницю ціле число, яке позначимо за п, довільні п унітарних підстановок, які позначимо за ах, ..., ап; при цьому зафіксуємо також позначення (<2;/) для ізотопу групи (();+), операція/якого визначається, як у теоремі 2.2.4, позначення Д —

для суми ах +■’• + «,., позначення Н - для групи всіх тих автоморфізмів групи (();+), які комутують з усіма підстановками аі, а також позначення у для перетворення Ка/Зп - є .

Теорема 3.3.4. Група автоморфізмів групового ізотопу (О.;/) є транзитивною тоді й тільки тоді, коли для кожного елементу С Є <2 існує такий автоморфізм 6 групи (<2;+), що мають місце

рівності яРіМ = РАО для всіх /=1, ..., п, а елемент 9 хус є

образом елементу а при дії деякого перетворення, взятого з групи Я.

Теорема 3.3.11. Транзитивна група автоморфізмів групового ізотопу при |{?|>2 є двічі транзитивною тоді й тільки тоді, коли він є ідемпотентним, а група Н є транзитивною на множині всіх ненейтральних елементів групи (();+)■

Теорема 3.3.12. Група автоморфізмів групового ізотопу (();/), де Іб^З, є тричі транзитивною тоді й тільки тоді, коли він має непарну арність та є похідним від абелевої групи (();+) періоду 2, група автоморфізмів якої є двічі транзитивною на множині всіх ненейтральних елементів групи 02>'+).

Циклічним ізотопом називатимемо лінійний ізотоп циклічної групи.

Трійку чисел а, // та т назвемо родом скінченного циклічного ізотопу, якщо т — його порядок, а — найбільша для нього кількість підалгебр однакового порядку, а // — кількість

л-1 п-\ п п-2 п-1 п

розв’язків рівняння /’( и ,/\и,х)) = /'(/(«), и ,Г(и,/{х))) відносно змінної X.

Теорема 3.5.2. З точністю до ізоморфізму верхня напіврешітка підалгебр, моноїд ендоморфізмів та група

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

За результатами третього розділу автором опубліковано праці [2], [3], [9], [10], [11], [12], [13], [14], [15], [16] та [17].

У четвертому розділі одержано критерії належності бінарних ізотопів груп до найвживаніших класів квазігруп та знайдено формули обчислення кількостей деяких групових ізотопів з точністю до ізоморфізму. Зокрема, знайдено кількість всіх неізоморфних циклічних ізотопів даних арності та порядку (теорема 4.4.2), з цієї кількості виділено кількість ідемпотентних квазігруп (наслідок 4.3.5), моноквазігруп (теорема 4.4.1) тощо. Одержано також інші результати такого характеру.

Наслідок 4.3.5. З точністю до ізоморфізму кількість всіх ідемпотентних п-арних лінійних ізотопів циклічних груп порядку т, де т та п — довільні фіксовані числа, а

™=Рікі (4-13)

є канонічним розкладом числа т на прості множники, причому р{, ..., р5 — попарно різні прості числа, а кх, ..., к5 — натуральні

числа, дорівнює Х\Р^ ^ '((А — 1)” ~ (— 0”)-

;=1

Теорема 4.4.1. З точністю до ізоморфізму кількість всіх парних моноквазігруп серед я-арних лінійних ізотопів циклічних

груп порядку т, де т та п - довільні фіксовані числа, а (4.13) є

канонічним розкладом числа т на прості множники, причому рх, ..., рх — попарно різні прості числа, а кх, ..., к5 — натуральні

числа, дорівнює 1 1((рі ~ 1)” — (— 1)”) •

/=і

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

довільні фіксовані числа, а (4.13) є канонічним розкладом числа т

на прості множники, причому рЛ , Р5 — попарно різні прості

числа, а к{, ..., к5 — натуральні числа, дорівнює

гї (йЦі. -.(-1)' + ( _ 1)Л}

/=1 р, -1 р,

За результатами четвертого розділу автором опубліковано праці [3], [4], [5], [18], [19], [20], [21] та [22].

ВИСНОВКИ

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

Основними результатами дисертації є критерії транзитивності та двічі транзитивності групи автоморфізмів я-арного ізотопу групи (теореми 3.3.4 та 3.3.11), теорема 3.5.2 про інваріанти циклічних ізотопів та теорема 4.4.2 про кількість всіх неізоморфних циклічних ізотопів.

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

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

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

ДИСЕРТАЦІЇ

[I] Кирнасовський О.Ю. Врівноважена тотожність, яка описує я-арні ізотопи груп в класі всіх я-арних квазігруп// Український математичний журнал.— 1998.— N 6.— С.862 — 864.

[2| Kimasovsky O.U. The transitive and multitransitive automorphism groups of the multiplace quasigroups// Quasigroups and related systems.— 1997.— vol. 4,— P.23 — 38.

[3] Кирнасовський О.Ю. Класифікація циклічних квазігруп// Вісник Київського національного університету імені Тараса Шевченка.— 2000.— N 2.-— С. 12 — 14.

[4] Kimasovsky O.U. Linear isotopes of small order groups// Quasigroups and related systems — 1995.— vol. 2, N 1.— P.51 — 82.

[5] Кирнасовський О.Ю. Деякі кількісні характеристики класів бінарних та я-арних лінійних ізотопів груп// Вісник Вінницького політехнічного інституту.— 1997,— N 1.— С76 — 80.

[6] Sokhatsky F., Kimasovsky O.U. Subquasigroups and Normal Congruences for Multiplace Group isotopes// International algebraic conference dedicated to the memory of professor L.M. Gluskin: Abstracts.— Slovyans'k, August 25 — 29, 1997.— P.40 — 41.

[7] Кирнасовський О.Ю. Про многовид всіх я-арних ізотопів груп//Тези допов. звітної наук. конф. виклад, та студ. Вінницького педін.— Вінниця, 1998.— С.19 — 21.

[8] Кирнасовський О.Ю. Приклади класів алгебр, замкнених відносно взаємного переходу до прямих добутків// Тези допов. звітної наук. конф. виклад, та студ. Вінницького педін.— Вінниця, 1999,—С.18 —20.

[9] Кирнасовський О.Ю. Деякі твердження, які описують групи автоморфізмів багатомісних лінійних ізотопів груп// Тези допов. звітної наук. конф. виклад, та студ. Вінницького педін.— Вінниця, 1996.— С.20.

[10] Кирнасовський О. Достатні умови для існування ізоморфізму між групами автоморфізмів групи та її багатомісного лінійного ізотопу// П'ята Міжнар. Наук. Конф. ім. академіка М. Кравчука: Тези допов.— Київ, 16 — 18 травня 1996 p.— С.180.

[II] Кирнасовський О.Ю. Про ненульової парної арності лінійні ізотопи циклічних груп порядків, що є степенями двійки// Шоста Міжнар. Наук. Конф. ім. академіка М. Кравчука: Тези допов.— Київ, 15 — 17 травня 1997 p.— С.195.

[12] Kimasovsky O.U. Subalgebras of the Finite Multiplace Linear Cyclic Group Isotopes// International algebraic conference

dedicated to the memory of professor L.M. Gluskin: Abstracts — Slovyans'k, August 25 — 29,1997.— P.33.

[13] Кирнасовський О.Ю. Про деякі групи, кожна з яких < ізоморфною до групи автоморфізмів свого багатомісного лінійногс ізотопу// Тези допов. звітної наук. конф. виклад, та студ Вінницького педін.— Вінниця, 1998.— С.18 — 19.

[14] Кирнасовський О.Ю. Про ідемпотентні однорідн багатомісні ізотопи груп// Тези допов. звітної наук. конф. виклад, т: студ. Вінницького педін.— Вінниця, 1999.— С.17 — 18.

[15] Кирнасовський О.Ю. Обчислення сорту багатомісноп лінійного ізотопу групи лишків// Тези допов. звітної наук, конф виклад, та студ. Вінницького педін.— Вінниця, 1999.— С.20 — 21.

[16] Kimasovsky O.U. The Double and Triple Homogeneou Multiplace Group Isotopes// The second international algebraic conference in Ukraine: Abstracts — P. 25 - 26.

[17] Kimasovsky O.U. The Homogeneous Multiplace Grou] Isotopes// Loops '99: Abstracts.— Praha, July 27 — August 1, 1999 — P.16—17.

[18] Kimasovsky O.U. The up to Isomorphism Number of th Multiplace Linear Isotopes of a Cyclic Group// Conference on Universa Algebra and Lattice Theory: Abstracts.— Szeged, July 15 — 14 1996,— P.27.

[19] Кирнасовський О.Ю. Кількості багатомісних лінійни групових ізотопів, що належать деяким класам// Тези допов. звітне наук. конф. виклад, та студ. Вінницького педін.— Вінниця, 1997-

С.63 — 64.

[20] Kimasovsky O.U. The Numbers of some Special Finit Linear Cyclic Group Isotopes// International algebraic conferenc dedicated to the memory of professor L.M. Gluskin: Abstracts-Slovyans'k, August 25 — 29, 1997,— P.32.

[21] Кирнасовський О.Ю. Кількості лінійних ізотопів груп з “лівими” та “правими” властивостями// Тези допов. звітної науі конф. виклад, та студ. Вінницького педін.— Вінниця, 1997.— С.6

— 65.

[22] Кирнасовський О.Ю. Критерії належності лінійног ізотопу групи до двох класів групо'ідів, що є комутуваннями оди одного// Тези допов. звітної наук. конф. виклад, та сту, Вінницького педін.— Вінниця, 1998.— С.22 — 23.

АНОТАЦІЇ

Кирнасовський О.Ю. Бінарні та п-арні ізотопи груп: Основні алгебричні поняття та кількісні характеристики.— Рукопис.

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

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

Ключові слова: ізотоп групи, и-арний ізотоп групи, тотожність, врівноважена тотожність, група автоморфізмів, однорідність, кратна однорідність, кількісні характеристики.

Kimasovsky O.U. The binary and я-агу group isotopes: Basic algebraic concepts and number characteristics.— Manuscript.

The dissertation for the candidate degree by the speciality 01.01.06: “Algebra and number theory”.— Kyiv: Kyiv national Taras Shevchenko university, 2000.

The homomorphisms, subquasigroups and normal congruences of я-агу group isotopes are described, balanced identities which describe the variety of all л-агу group isotopes and its the most important subvarieties are obtained, the automorphism groups of some я-агу group isotopes are described, criteria of homogenity and multihomogenity of я-агу group isotopes are obtained. A concept of a kind for an я-агу linear isotope of a finite cyclic group is given. The kind characterizes the automorphism group, endomorphism monoid and upper semilattice of subquasigroups of the group isotope up to isomorphism. Some number characteristics of group isotope classes are obtained.

Key words: group isotope, w-ary group isotope, identity, balanced identity, automorphism group, homogenity, multihomogenity, number characteristics.

Кирнасовский О.Б. Бинарные и w-арные изотопы групп: Основные алгебраические понятия и количественные характеристики.— Рукопись.

Диссертация на соискание учёной степени кандидата физико-математических наук по специальности 01.01.06: “Алгебра и теория чисел”.— Кыйив: Кыйивский национальный университет имени Тараса Шевченка, 2000.

В работе исследованы основные алгебраические понятия и количественные характеристики бинарных и и-арных изотопов групп.

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

Основными результатами диссертации являются критерии транзитивности и дважды транзитивности группы автоморфизмов я-арного изотопа группы (теоремы 3.3.4 и 3.3.11), теорема 3.5.2 про инварианты циклических изотопов и теорема 4.4.2 про количество всех неизоморфных циклических изотопов.

Доказано, что и-арный изотоп (Q;j) группы ({?;+), определённый тождеством ~ ос^ Н----f-а„хп + а, где

ал, ..., ап — унитарные подстановки этой группы, имеет транзитивную группу автоморфизмов в точности тогда, когда для каждого элемента с <=0 существует такой автоморфизм в группы (();+), который при всех / удовлетворяет равенству

~ ’ где Д обозначает сумму а, н--------1- , а также

элемент в\/Зпс + а — с) является образом элемента а при действии некоторого автоморфизма группы (О; + ), который коммутирует со всеми подстановками а(. Доказано, что при этом

для \0\>2 такая транзитивная группа автоморфизмов является дважды транзитивной в точности тогда, когда такой изотоп группы является идемпотентным, а группа всех тех её автоморфизмов, которые коммутируют со всеми подстановками а1, является транзитивной на <240}.

Доказано, что изотопы (2т,/) и группы 2т,

определённые тождествами /(х',...,.гп) = к}х} н---------(-кпхп + к0,

g(x},...,xn) = /,г, Н--г 1!х1 + /0, где к1 и /, — элементы кольца

вычетов по модулю т, удовлетворяющие определённым равенствам, имеют изоморфные группы автоморфизмов, моноиды эндоморфизмов и верхние полурешётки подалгебр.

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

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

Виготовлено з оригінал-макету в Вінницькому державному педагогічному університеті імені Михайла Коцюбинського. 21100, м. Вінниця, вул. Острозького, 32 Зам. N8 3 0% . Наклад £.СО .