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

На правах рукописи УДК 512.545

Исаева Ольга Владимировна

МНОГООБРАЗИЯ И КЛАССЫ КРУЧЕНИЯ

m-ГРУПП

01.01.06 — математическая логика, алгебра и теория чисел

Автореферат

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

ОМСК - 2004

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

Научный руководитель — доктор физико-математических наук,

профессор Н.Я. Медведев.

Официальные оппоненты — доктор физико-математических наук,

профессор В.М. Копытов,

кандидат физико-математических наук, доцент В.М. Гичев

Ведущая организация —

Иркутский государсйзекный педагогический университет

.Защита состоится 12 мая 2004 г. в 14 часов на заседании диссертационного совета К 212.179.01 в Омском государственном университете по адресу: 644077, Омск, пр. Мира, 55-А

С диссертацией можно ознакомиться в библиотеке Омского государственного университета.

Автореферат разослан апреля 2004 г.

Общая характеристика работы.

Актуальность темы.

В настоящее время интенсивно развивается теория многообразий и квазимногообразий Л-групп, которая берет свое начало с работ Г. Биркго-фа [1], [2] и А.И. Мальцева [3] по теории алгебраических систем. Теория многообразий и квазимногообразий Л-групп отражена в монографической литературе (см. М. Дарнел [4], А. Гласе, Ч. Холланд [5], А. Гласе [б], В.М. Копытов [7], В.М. Копытов, Н.Я. Медведев [8]).

Сравнительно недавно М. Жираде и И. Рахунек [9] ввели в рассмотрение новый класс алгебраических систем, тесно связанный с классом решеточно упорядоченных групп. Эти алгебраические системы называются ш-группами. Более точно, ш-группой называется алгебраическая система О сигнатуры тп = е,_1, А, V, »} такая, что .{б; ^е,-1, V, А) является решеточно упорядоченной группой, а унарная операция * является реверсивным автоморфизмом второго порядка ¿-группы О — (С; е,-1, V, Л), т.е. * является автоморфизмом группы (С?; *, е,-1) и антиавтоморфизмом решетки (С; V, А). Если х - элемент ш-группы О = то обозначает результат применения унарной операции * к элементу х [10].

В работах М. Жираде и И. Рахунека [9], В.М. Копытова и И. Рахуне-ка [10], [11] построена теория многообразий т-групп, установлена связь этой теории с теорией многообразий решеточно упорядоченных групп. Интерес к исследованию т-групп объясняется тем, что само понятие т-группы появилось в результате формальной характеризации групп монотонных преобразований линейно упорядоченных множеств усилиями многих математиков: П. Лоренцена [12], [13], А. Клиффорда [14], П.Г. Конторовича и А.И. Кокорина [15], В.В. Блудова и А.И. Кокорина [16], М.Жираде и Ф. Люка [17].

Одним из основных методов исследования решеточно упорядоченных групп и т-групп является теория групп автоморфизмов линейно упорядоченных множеств, которая была создана, в основном, работами американских ученых Ч. Холланда в [18], [19], [20], А. Гласса в [21], [22], С. Макклири в [23], [24].

Диссертация посвящена исследованию свойств т-групп и многообразий т-групп, изучению базиса тождеств произведения многообразий т-групп, изучению строения решетки многообразий т-групп и решетки квазимногообразий

Цель работы. Доказательство того, что лк'бс"? МРТР^ргузИА ТП-.

групп является классом кручения, нахождение базиса тождеств произведения многообразий да-групп, доказательство конечной базируемости произведения некоторых конечнобазируемых многообразий m-групп, построение новых накрытий многообразия абелевых m-групп в решетке многообразий m-групп и накрытий многообразия абелевых £-групп в решетке квазимногообразий 1-групп.

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

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

Апробация работы. Результаты диссертации докладывались на семинарах "Теория групп"и "Алгебра и логика" Института математики СО РАН. на 5-ой Сибирской школе по многообразиям алгебраических систем (Барнаул, 1988 г.), международной конференции "Упорядоченные алгебраические системы" (Гейнесвил, США, 1991 г.), Четвертом сибирском конгрессе по прикладной и индустриальной математике "ИН-ПРИМ - 1998" (Новосибирск, 1998 г.), Международной конференции "Мальцевские чтения - 2001" (Новосибирск 2001 г.), Международной летней школе, "Пограничные вопросы теории" моделей и универсальной алгебры " (Эрлагол, 2003 г.), Международной конференции "Мальцевские чтения - 2003" (Новосибирск, 2003 г.).

Публикации. Результаты диссертации опубликованы в работах автора [36] - [44]. Работы [41] - [44] выполнены совместно с Н.Я. Медведевым и работа [40] выполнена совместно с Е.А. Исаковой. Некоторые результаты главы 3 (следствие 3.7) вошли в монографию В.М. Копытова и Н.Я. Медведева ([8], глава 14).

Объем и структура работы. Диссертация содержит 51 страницу, состоит из введения, трех глав и библиографии. Библиография включает 51 наименование.

Содержание работы

Напомним определения и вспомогательные результаты, необходимые в дальнейшем.

Решеточно упорядоченная группа (1-группа) - это алгебраическая система сигнатуры I =< .^.е,V,Л >, совмещающая в себе структуру группы и решетки, связанные естественными соотношениями

х(и V и)у = хиу V XVу, х{и Л и)у = хиу Л хуу.

Как обычно, |х| = х V х-1, [х,у] = х~1у_1ху, К, Z - множества натуральных и целых чисел, г > ¡/ означает, что |х| > |у|п для любого

п е N.

Тождеством сигнатуры т называется формула узкого исчисления предикатов, имеющая вид

где Л(х1,...а;п) - некоторый терм сигнатуры т.

Класс т-групп X называется многообразием ш-групп, если существует множество Е тождеств сигнатуры m такое, что X состоит из всех m-групп, на которых истинны все тождества из П.

В основе теории многообразий лежит следующая теорема, доказанная для многообразий алгебр Г. Биркгофом [25].

Теорема 1. (Г. Биркгоф) Для того, чтобы непустой класс т-групп X был многообразием, необходимо и достаточно, чтобы выполнялись следующие условия:

1) декартово произведение т-групп из X принадлежит X;

2) всякая т-подгруппа га-группы из X принадлежит X;

3) гомоморфный образ т-группы из X принадлежит X. Квазитождеством сигнатуры I называется формула Ф узкого исчисления предикатов, имеющая вид

где - некоторые термы сигнатуры

I для г 6 {1,2,... +

Класс ¿-групп X называется квазимногообразием ¿-групп, если существует множество квазитождеств сигнатуры такое, что состоит из всех на которых истинны все квазитождества из

Основной для теории квазимногообразий ¿-групп является следующая теорема (см., например, [25]):

Теорема 2. (А.И. Мальцев) Для того, чтобы непустой класс {-групп X был квазимногообразием, необходимо и достаточно, чтобы выполнялись следующие условия:

1) фильтрованное произведение ¿-групп из X принадлежит X;

2) всякая ¿-подгруппа ¿-группы из X принадлежит X.

Хорошо известно, что множество Л всех квазимногообразий I- групп является решеткой относительно естественных решеточных операций объединения и пересечения [25]. Поскольку любое многообразие является квазимногообразием, то множество всех квазимногообразий ¿-групп Л содержит множество всех многообразий ¿-групп Ь. Более того, решетка Ь всех многообразий ¿-группа является собственной подрешеткой решетки Л всех квазимногообразий ¿-групп [8].

Говорят, что квазимногообразие ¿-групп (многообразие т-групп) У накрывает квазимногообразие ¿-групп (многообразие т-групп) X в решетке квазимногообразий ¿-групп Л (многообразий т-групп Ьт), если У Э X и из того, что У Э 2 Э X следует У — 2 или 2 = X.

Среди всех многообразий 1-групп выделим следующие:

(1) Л - многообразие всех абелевых £-групп. Е. Вейнбергом [26], Ю.С. Гуревичем и А.И. Кокориным [27], Н.Г. Хисамиевым [28] показано, что Л является наименьшим нетривиальным квазимногообразием в решетках

Ь и Л.

(2) М - многообразие всех 1-групп с субнормальными скачками. Это многообразие определяется следующим тождеством

(х V е)-1(у V е)-1(х V е)2(у V е)2 Л е = е.

Описание этого класса 1-групп в терминах тождеств дано С. Вольфен-штейном в [29]. Ч. Холландом в [30] доказано, что многообразие N является наибольшим собственным подмногообразием 1-групп в решетке многообразий всех 1-групп Ь.

(3) - многообразие всех жестких 1-групп, т.е. 1-групп, в которых выполнено тождество

Среди всех многообразий т-групп выделим многообразия, задаваемые тождествами только лишь сигнатуры решеточно упорядоченных групп. Разумеется, такими многобразиями не исчерпываются все много-бразия т-групп. Например, многообразие т-групп I, порожденное бесконечной циклической группой Ъ, с естественным линейным порядком и унарной операцией определенной по правилу:. является наи-

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

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

(х V е)~1(у V е)-1(я V е)2(у V е)2 Л е = е

сигнатуры I и состоит из таких т-групп, которые являются Л-группами с субнормальными скачками. В.М. Копытов и И. Рахунек [10] показали, что многобразие всех т-групп с субнормальными скачками является наибольшим собственным многообразием в решетке всех многообразий т-групп.

Подгруппа Я частично упорядоченной группы G называется выпуклой, если для любых элементов х,у,г £ ¿7 таких, что х,г € Ни х ^ у ^ г, следует, что у £ Н. Подгруппа Я решеточно упорядоченной группы О называется £-подгруппой, если Я замкнута относительно групповых оперций -,-1 и решеточных операций .V, Л.

Подгруппа Н произвольной т-группы G называется т-подгруппой, если Н является 1-подгруппой т-группы G и Я замкнута относительно унарной операции ,, определенной на т-группе G. Выпуклая нормальная т-подгруппа т-группы G называется т-идеалом т-группы G.

Класс т-групп Г называется классом кручения [7], [8], если ов обладает следующими свойствами:

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

2) замкнут относительно взятия гомоморфных образов;

3) замкнут относительно взятия объединения выпуклых т-подгрупп из Г.

Пусть Хм У - произвольные многообразия т-групп. По определению т-группа О принадлежит произведению многообразий т-групп X • У, если в G существует существует т-идеал М € X такой, что (3/М € УНА ЗАЩИТУ ВЫНОСЯТСЯ СЛЕДУЮЩИЕ ОСНОВНЫЕ РЕЗУЛЬТАТЫ:

1. Доказано, что любое многообразие т-групп является классом кручения (теорема 1.8);

2. Найден базис тождеств для произведения многообразий т-групп (теорема 1.9);

3. Доказано, что произведения IX и ЛщХ любого конечно базируемого многообразия т-групп X и многообразий абелевых т-групп X и Лт являются конечнобазируемыми многообразиями (следствия 1.10 и 1.11);

4. Построено счетное множество накрытий многообразия абелевых т-групп Лт, в решетке многообразий т-групп Лт (теорема 2.6 );

5. Построено счетное множество накрытий многообразия абелевых I-групп в решетке квазимногообразий £-групп Л (теорема 3.6, следствия 3.7 и 3.8, теорема 3.9).

Целью главы 1 диссертации является изучение свойств многообразий ш-групп. М. Жираде, И. Рахунек ([9], вопрос 3.2) поставили вопрос о том, является ли произвольное многообразие ш-групп классом кручения. В §1 данной главы приводится доказательство того, что произвольное многообразие ш-групп является классом кручения (теорема 1.8), что дает положительный ответ на поставленный вопрос. В §2 главы 1 найден базис тождеств произведения произвольных многообразий ш-групп (теорема 1.9). Доказано, что если X - конечнобазируемое многообразие ш-групп, то многообразия также конечнобазируемые (след-

ствия 1.10,1.11), где Лт - многообразие всех абелевых ш-групп, а многообразие ш-групп порождается линейно упорядоченной группой целых чисел с естественным порядком и унарной операцией ,, определенной по правилу

В главе 1 получены следующие утверждения.

Теорема 1.8. Всякое многообразие т-групп является классом кручения.

Теорема 1.9. Пусть многообразия т-групп X и У определяются соответственно системами тождеств = е |г € /} и {и]{У<У*) = в | ^ 6 Тогда произведение Х'У определяется системой тождеств

и}(и>1, и>2, • • • , тр, (ги2)„... , (шр)») = е,

где щ = (г, А (Ыд,д,)\ V Из,Р.).\)к) V (№з,)| V ММ,).!)"*, для

любых выбранных индексов и целых положительных к и

Следствие 1.10 Пусть многообразие т-групп X определяется тождеством г/(х,3;«)=е. Тогда тождество

[Ы л (Кх,г.)| V И л V К*. = е

определяет т-многообразие Лт ■ X.

Следствие 1.11. Пусть многообразие т-групп X определяется тождеством я(х,а;*) = е. Тогда тождество,

(1*1 Л V • (И Л (Ку.у.М V Ну,у.).\)). = е

определяет т-многообразие X' X.

Результаты.главы 1 получены автором лично и опубликованы в [361, [37).

Во второй главе изучаются накрытия многообразия абелевых т-групп Лщ в решетке многообразий т-групп Ьт. Исследования строения решетки многообразий т-групп проводились М. Жираде и И. Рахунеком [9], В.М. Копытовым и И; Рахунеком [10], [11]. В работе [10] показано, что многообразие М. всех т-групп накрывает многообразие т-групп с субнормальными скачками Л/т в решетке Ьт. В работе [9] показано, что многообразие абелевых т-групп Ат не является наименьшим нетривиальным многообразием в решетке многообразий т-групп Ет и найден наименьший нетривиальный элемент в решетке Ьт - многообразие т-групп X. В этой же работе М. Жираде и И. Рахунек показали, что многообразие абелевых т-групп Ат накрывает многообразие т-групп X в решетке многообразий т-групп Ьт. В данной главе построена счетная серия.накрытий многообразия абелевых т-групп Ат в решетке многообразий т-групп Ьт. Все эти накрытия определяются следующим образом. Пустьр - простое число, Бр = др < ао,01,... ,0^,6 | = е, = а^, г + 1 = ]{тпов, р) > - группа, порожденная элементами

в тогда и только тогда, когда п > 0 или п = 0 и ко > 0, > 0,... , к„-1 > 0. Хорошо известно, что группа относительно этого порядка, является 1-группой [7]. Следуя [9] на 1-группе Зр, где р > 3 определим унарную операцию « по следующему правилу: 6* = Ь-1, (ао)« = Од (а<), = о^т для всех i ф 0, где число р — г- остаток от деления числа р — i на. число р. Для р = 2 определим унарную операцию , на 1-группе 82 по правилу: 6, = ¿Г1, (оо)» = аГ (а1.)* = Оо1. Тогда Л', является т-группой. Через ¿¡р обозначим т-многообразие, порожденное т-группой Эр.

Во второй главе доказана следующая теорема.

Теорема 2.6. Для любого простого числа р многообразие т-групп «5>р, порожденное т-группой 8р накрывает многообразие абелевых т-групп Ат в решетке многообразий т-групп Ьт.

Результаты главы 2 получены автором лично и опубликованы в [38], [39].

Целью главы 3 является построение накрытий многообразия абеле-вых £-групп А в решетке квазимногообразий ¿-групп А. Из описания известных накрытий многообразия абелевых ¿-групп Л в решетке многообразий £групп L, полученного Е. Скримджером [31], Н.Я. Медведевым [32], В.М. Копытовым [33], Д. Бергманом [34], следует, что каждое из этих многообразий л-групп X порождается одной неабелевой ¿-группой Gx, те. X = vari(Gx)- Если Gx не является нильпотентной ¿-группой, то любая неабелева ¿-группа из X = vari(Gx) содержит в качестве I-подгруппы ¿-группу Gx, и поэтому квазимногообразие ¿-групп qt{Gx), порожденное ¿-группой Gx, накрывает A в решетке квазимногообразий ¿-групп Л. В главе 3 построено счетное множество различных квазимногообразий ¿-групп, накрывающих Л в решетке квазимногообразий ¿-групп Л и отличных от перечисленных выше. Все построенные накрытия многообразия JI порождаются двуступенно разрешимыми линейно упорядоченными ¿-группами, содержатся в многообразии жестко упорядоченных ¿-групп W« и не содержат нильпотентных ¿-групп. Все эти накрытия определяются следующим образом. Пусть G = (a)t(b) - прямое сплетение двух бесконечных циклических групп (а) и (Ь) Известно, что нижний центральный ряд

группы G имеет единичное пересечение и фактор-группы 7t+iG/7к+2@ = ([а, Ь, ..j , by^k+iG) - бесконечные циклические группы, порожденные

элементом ,bj"fk+2G для любого А; € N [35] (здесь jk+iG —

Для любой бесконечной последовательности £ = (£oi£i>"- >£пс--)> где Со = +1» = ¿1 (г £ N), определим линейный порядок

на группе G следующими соотношениями-

Ь»а£о » [a,b]£l » [аДЬР > ...» [а.г^^б]*4 » ... > е.

Через е(п) = (со, £ь • • • , £n-l) обозначим бесконечную периодическую последовательность е со свойствами: 1) Со = +1; 2) £, = £}, если

i = j (mod n) (n,i,j G N). Всюду в дальнейшем группу G, линейно упорядоченную относительно линейного порядка Q(e(n)), будем обозначать через (G, С?(е(п)))и последовательность е(п) будем называть периодической. В данной главе получены следующие результаты.

Теорема 3.6 Для любой периодической последовательности e(n) (n £ N) квазимногообразие 1~групп qt(G, Q{£q,£i, • • • >£n-l))i

порожденное линейно упорядоченной группой (G, Q(eo, £i,... , £n-l)) накрывает-многообразие абелевых I-групп Л в решетке квазимногообразий I- групп Л.

Следствие-3.7. Для любого простого числа р квазимногообразие l-групп qi{G, Q(eo,£\,... , £p_i)), порожденное линейно упорядоченной группой {G,Q(eо,Eli-.. )£p-i))i накрывает многообразие абелевых I-групп Л в решетке квазимногообразий l-групп Л.

Следствие 3.8. Квазимногообразие ¿-групп q((G,Q(eo))i порожденное линейно упорядоченной группой (G, Q(£o))t накрывает многообразие абелевых l-групп Л в решетке квазимногообразий i-групп Л.

Через М = {(G, Q„)i, (G, Q„)2,.. • , (G, Qn)s} обозначим множество всех порядково неизоморфных линейно упорядоченных групп вида

{(G, Qm)i, (G, Qm)2,... , (G, Qm)k} обозначим множество всех порядково неизоморфных линейно упорядоченных групп вида

(G, Q(et,ei+1,... ,eTO_i,eot£i>--- i^"t—i))>

где 0<Кш-1и1<Кт. Следующее утверждение дает ответ на вопрос, когда определенные выше накрытия многообразия Л в решетке квазимногообразий ¿-групп Л различны.

Теорема 3.9. Для любых периодических последовательностей с(п) и £ (т), где п,т £ N квазимногообразия qi(G,Q(eg,e'j,... ,£'m-i)) и qi(G, Q(eо, £\,... , Sn-l)) различны тогда и только тогда, когда различны множества

Результаты главы 3 (теорема 3.6, следствие 3.7, теорема 3.9) получены совместно с Н.Я. Медведевым и опубликованы в работах [41] - [44].

Следствие 3.8 получено совместно с Е.А. Исаковой и опубликовано в [40].

Список литературы

[1]. Биркгоф Г. Теория решеток. Москва: ИЛ, 1952.

[2] Birkhoff G. Lattice-ordered groups // Ann. Math. 1942. V.43, № 2. P.298-331.

[3] Мальцев А.И. О некоторых пограничных вопросах алгебры и математической логики // Труды междунар. конгресса математиков. Москва, 1966. Мир, 1968. С.217-238.

[4] Darnel M.R. Theory of lattice-ordered groups. New York-Basel-Hong Kong: Marcel Dekker, 1995.

[5] Glass A.M. W., Holland W.Ch. Lattice ordered groups. Advances and Techniques, ed. by Glass A.M.W., Holland W.Ch.: Kluwer Academic Publishers, 1989.

[6] Glass A.M. W. Partially ordered groups. Singapore: World Sci. Pub. Co., 1999.

[7] Копытов В.М. Решеточно упорядоченные группы. Москва: Наука, 1984.

[8] Kopytov V.M., Medvedev N.Ya. The theory of lattice-ordered groups. Dordrecht-Boston-London: Kluwer Academic Publishers, 1994.

[9] Giraudet M., Rachunek J. Varieties of half lattice-ordered groups of monotonic permutations of chains // Czechoslovak Math. J. 1999. V.49, № 4, P-743-766.

[10] Копытов В.М., Рахунек И. Наибольшее собственное многообразие m-групп // Алгебра и логика. 2003. Т.42, № 5. С.624-635.

[И] Копытов В.М., Рахунек И. О многообразиях групп монотонных преобразований // Алгебра и теория моделей-4. Новосибирск, НГТУ, 2001. С.61-70.

[12] Lorenzen P. t/Ъег Halbgeordnete Gruppen // Arh. Math. 1949. V.2, № 1-2. P.66-70.

[13] Lorenzen P. Uher Halbgeordnete Gruppen // Math. Z. 1949. V.52, № 5. P.483-526.

[14] Clifford A.H. Partially ordered groups of the second and third kinds // Proc. Amer. Math. Soc. 1966. V.17, P.219-225.

[15] Контпорович П.Г., Кокорин А.И. Об одном типе частично упорядоченных групп // Матем. зап. Уральск, ун-та. 1962. Т.З, № 3. С.27-31.

[16] Блудов В.В., Кокорин А.И. Полуоднородно упорядоченные группы // Сб. "Алгебраические системы". Иркутск, 1976. С.3-16.

[17] Giraudet М., Lucas F. Groupes d motie ordonnes // Fund. Math. 1991. V.139, P.75-89.

[18] Holland W.Ch. The lattice-ordered group of automorhisms of an ordered set // Michigan Math. J. 1963. V.10, № 4. P.399-408.

[19] Holland W.Ch. Transitive lattice-ordered permutation groups//Math. Zeit. 1965. V.87, P.420-433.

[20] Holland W. Ch. A class of simple lattice-ordered permutation groups // Proc. American. Math. Soc. 1975. V.19, P.331-344.

[21] Glass A.M.W. The word problem for lattice-ordered groups // Proc. Edinburgh Math. Soc. 1975. V.19, P.217-219.

[22] Glass A.M. W. Generating varieties of lattice-ordered groups: approximating wreath products // Illinois Journal of Mathematics. 1963. V.30, № 2. P.214-221.

[23] McCleary S.H. Closed subgroups of lattice-ordered permutation group // Trans. American. Math. Soc. 1972. V.173, P.303-314.

[24] McCleary S.H. O-primitive ordered permutation groups // Pacific J. Math. Soc. 1972. V.40, № 2. P.349-372.

[25] Мальцев А.И. Алгебраические системы. Москва: Наука, 1970.

[26] Weinberg E. С. Free lattice-ordered abelian groups // Math. Ann. 1963. V.151, № 3. P.187-199.

[27] Гуревич Ю.С., Кокорин А.И. Универсальная эквивалентность упорядоченных абелевых групп // Алгебра и логика. 1963. Т.2, № 1. С.37-39.

[28] Хисамиев Н.Г. Универсальная теория структурно упорядоченных абелевых групп // Алгебра и логика. 1966. Т.5, № 3. С.71-76.

[29] Wolfenstein S. Values normales dans un groupe reticule // Accad. Naz. dei Lincei. 1968. V.44, № 8. P.337-342.

[30] Holland W.Ch. The largest proper variety of lattice-ordered groups // Proc. Amer. Math. Soc. 1976. V.57, № 1. P.25-28.

[31] Scrimger E.B. A large class of small varieties of lattices-ordered groups // Proc. Amer. Math. Soc. 1975. V.51, № 2. P.301-306.

[32] Медведев Н.Я. О решетке многообразий решеточно упорядоченных групп // Алгебра и логика. 1977. Т.51, № 1. С.40-45.

[33] Копытов В.М. Неабелево многообразие £-групп, в котором каждая разрешимая l-группа абелева // Мат. сб. 1985. Т.126, № 2. С.247-266.

[34] Bergman G. Specially ordered groups // Communs. algebra. 1984. V.12, № 19-20. P.2315-2333.

[35] Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. Москва: Наука, 1972.

Работы автора по теме диссертации

[36] Исаева О.В. О базируемости многообразий тп-групп //4-ая краевая конференция по математике "МАК-2001": Сб. тез. Барнаул, 2001. С.4.

[37] Исаева О.В. Многообразия и классы кручения m-групп // Алгебра и логика. 2003. Т.42, № 6. С.683-691 .

[38] Исаева О.В. Накрытия в решетке многообразий m-групп // 6-ая краевая конференция по математике "МАК-2003": Сб. тез. Барнаул, 2003. С.4.

[39] Исаева О. В. Накрытия в решетке многообразий m-групп // Алгебра и теория моделей-4. Новосибирск, НГТУ, 2003. С.35-43.

[40] Исаева О.В., Исакова ЕЛ. Накрытия многобразия абелевых £групп в решетке квазимногообразий l-групп // 5-ая Сибирская шк. по многообразиям алгебраических систем. Сб. тез. Барнаул, 1988.

[41] Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий 1-групп // Сиб. мат. ж. 1992. Т.ЗЗ, № 2. С. 102-107.

[42] Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий 1-групп// 3-ий сибирский конгресс по прикладной и индустриальной математике "ИНПРИМ-98". Сб. тез. Новосибирск, 1998. С.107.

[43] Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий 1-групп // 1-ая краевая конференция по математике "МАК-98": Сб. тез. Барнаул, 1998. С.5.

[44] Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий 1-групп // Сиб. мат. ж. 2000. Т.41, № 2. С.339-344.

»-7249

Подписано в печать 31. 03. 04г. Тираж 100 экз.

Формат 60x90/16. Заказ Ш

Объем - 1 уч.-изд. л.

Типография экономического факультета Алтайского

государственного университета:

656099, Барнаул, пр. Социалистический, 68.

Введение

ГЛАВА 1. Многообразия т-групп

§1. Классы кручения т-групп

§2. Базис тождеств произведения многообразий т-групп

ГЛАВА 2. Накрытия в решетке многообразий т-групп

ГЛАВА 3. Накрытия в решетке квазимногообразий ¿-групп

Решеточно упорядоченная группа (¿-группа) - это алгебраическая система сигнатуры I =< , е, V, Л >, совмещающая в себе структуру группы и решетки, связанные естественными соотношениями х(и V у)у = хиу V хуу, х(и Л у)у = хиу Л xvy.

В настоящее время интенсивно развивается теория многообразий и квазимногообразий ¿-групп, которая берет свое начало с работ Г. Биркгофа [1], [2] и А.И. Мальцева [3] по теории алгебраических систем. Теория многообразий и квазимногообразий ¿-групп достаточно полно отражена в монографической литературе (см. М. Дарнел [4], А. Гласс, Ч. Холланд [5], А. Гласс [6], В.М. Копытов [7], В.М. Копытов, Н.Я. Медведев [8]).

Сравнительно недавно М. Жираде и И. Рахунек [9] ввели в рассмотрение новый класс алгебраических систем, тесно связанный с классом решеточно упорядоченных групп. Эти алгебраические системы называются т-группами. Более точно, т-группой называется алгебраическая система С сигнатуры т = {•, е,-1, А, V, *} такая, что (С; •, е,-1, V, А) является решеточно упорядоченной группой, а унарная операция * является реверсивным автоморфизмом второго порядка ¿-группы й = (С; е,-1, V, А), т.е. „, является автоморфизмом группы (<2;-,е,-1) и антиавтоморфизмом решетки (С?; V, А). Если х -элемент т-группы С? = (С; е,-1, V, А, *), то х* обозначает результат применения унарной операции * к элементу х [10].

В работах М. Жираде и И. Рахунека [9], В.М. Копытова и И. Рахунека [10], [11] построена теория многообразий т-групп, установлена связь этой теории с теорией многообразий решеточно упорядоченных групп. Интерес к исследованию т-групп объясняется тем, что само понятие т-группы появилось в результате формальной характеризации групп монотонных преобразований линейно упорядоченных множеств усилиями многих математиков: П. Лоренцена [12], [13], А. Клиффорда [14], П.Г. Конторовича и А.И. Кокорина [15], В.В. Блудова и А.И. Коко-рина [16], М.Жираде и Ф. Люка [17].

Одним из основных методов исследования решеточно упорядоченных групп и m-групп является теория групп автоморфизмов линейно упорядоченных множеств, которая была создана, в основном, работами американских ученых Ч. Холланда в [18], [19], [20], А. Гласса в [21], [22], С. Макклири в [23], [24].

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

Как обычно, |rzr| = х Va:-1, [х,у] = x~ly~lxy, N, Z - множества натуральных и целых чисел, х у означает, что ^ \у\п для любых х, у и для любого п € N. Символ □ обозначает конец доказательства.

Подгруппа Л частично упорядоченной группы G называется выпуклой, если для любых элементов x,y,z £ G таких, что х, z Е Н и х <у < z, следует, что у G Н.

Подгруппа Я решеточно упорядоченной группы G называется I-подгруппой, если Н замкнута относительно групповых опер-ций -,"1 и решеточных операций V, Д.

Подгруппа Н произвольной m-группы G называется т-подгруппой, если Н является ^-подгруппой m-группы G и Н замкнута относительно унарной операции определенной на m-группе G. Выпуклая нормальная т-подгруппа m-группы G называется т-идеалом m-группы G.

Тождеством сигнатуры т называется формула узкого исчисления предикатов, имеющая вид

Vzi). (Vxn)(A(x i, .хп) = е), где А(хi,. хп) - некоторый терм сигнатуры т.

Класс m-групп X называется многообразием m-групп, если существует множество £ тождеств сигнатуры т такое, что X состоит из всех m-групп, на которых истинны все тождества из Е.

В основе теории многообразий лежит следующая теорема, доказанная для многообразий алгебр Г. Биркгофом [25] в 1935г.

Теорема 1. (Г. Биркгоф) Для того, чтобы непустой класс т-групп X был многообразием, необходимо и достаточно, чтобы выполнялись следующие условия:

1) декартово произведение т-групп из X принадлежит X;

2) всякая т-подгруппа т-группы из X принадлежит X;

3) гомоморфный образ т-группы из X принадлежит X.

Квазитождеством сигнатуры ¿ называется формула Ф узкого исчисления предикатов, имеющая вид

У®0 . (Уа?„)(А1 = . кАк = Вк^ Ак+1 = Вк+1), где А{ = Аг(х 1,.хп), В{ = В^х^. .хп) - некоторые термы сигнатуры ¿ для г € {1,2, + 1}.

Класс ¿-групп X называется квазимногообразием ¿-групп, если существует множество Е квазитождеств сигнатуры ¿ такое, что X состоит из всех ¿-групп, на которых истинны все квазитождества из Е.

Основной для теории квазимногообразий ¿-групп является следующая теорема (см., например, [25]):

Теорема 2. (А.И. Мальцев) Для того, чтобы непустой класс I-групп X был квазимногообразием, необходимо и достаточно, чтобы выполнялись следующие условия:

1) фильтрованное произведение I-групп из X принадлежит

X;

2) всякая £-подгруппа ¿-группы из X принадлежит X.

Хорошо известно, что множество Л всех квазимногообразий

-групп является решеткой относительно естественных решеточных операций объединения и пересечения [25]. Поскольку любое многообразие является квазимногообразием [25], то множество всех квазимногообразий ¿-групп Л содержит множество всех многообразий ¿-групп Ь. Более того, решетка Ь всех многообразий ¿-группа является собственной подрешеткой решетки Л всех квазимногообразий ¿-групп [8].

Говорят, что квазимногообразие ¿-групп (многообразие т-групп) У накрывает квазимногообразие ¿-групп (многообразие m-групп) X в решетке квазимногообразий ¿-групп Л (многообразий m-групп Lm), если У D X и из того, что У Э Z D X следует У = Z или Z = X.

Среди всех многообразий ¿-групп выделим следующие:

1) Л - многообразие всех абелевых ¿-групп. Е. Вейнбергом [27], Ю.С. Гуревичем и А.И. Кокориным [28], Н.Г. Хисамиевым [29] показано, что Л является наименьшим нетривиальным элементом в решетках L и Л.

2) J\ii - многообразие всех ¿-групп с субнормальными скачками. Это многообразие определяется следующим тождеством х V е)~1(у V е)~1(х V е)2(у V е)2 Л е = е.

Описание этого класса ¿-групп в терминах тождеств дано С. Вольфенштейном в [30]. Ч. Холландом в [31] доказано, что многообразие Afe является наибольшим собственным подмногообразием ¿-групп в решетке многообразий всех ¿-групп L.

3) Wa - многообразие всех жестких ¿-групп, т.е. ¿-групп, в которых выполнено тождество х~1\у\х\у\~2 У е = е.

Среди всех многообразий m-групп выделим многообразия, задаваемые тождествами только лишь сигнатуры решеточно упорядоченных групп. Разумеется, такими многобразиями не исчерпываются все многобразия m-групп. Например, многообразие m-групп I, порожденное бесконечной циклической группой Z, с естественным линейным порядком и унарной операцией *, определенной по правилу: я* = ж-1, является наименьшим собственным многообразием m-групп и не совпадает с многообразием всех абелевых m-групп. Тем не менее, очень многие многообразия m-групп, играющие важную роль в теории многообразий m-групп задаются с помощь тождеств сигнатуры решеточно упорядоченных групп ¿ =< .,-1,e,V,A > . В частности, большую роль в теории многообразий m-групп играет многообразие m-групп с субнормальными скачками J\fm. Это многообразие задается в классе всех m-групп (как и в классе всех ¿-групп) тождеством х V e)~l(y V e)~l{x V е)2{у V е)2 Л е = е сигнатуры I и состоит из таких m-групп, которые являются I-группами с субнормальными скачками. В.М. Копытов и И. Ра-хунек [10] показали, что многобразие Afm всех m-групп с субнормальными скачками является наибольшим собственным многообразием в решетке всех многообразий m-групп.

Класс m-групп Т называется классом кручения [7], [8], если он обладает следующими свойствами:

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

2) замкнут относительно взятия m-гомоморфных образов;

3) замкнут относительно взятия объединения выпуклых т-подгрупп из Т.

Пусть X и У - произвольные многообразия m-групп. По определению m-группа G принадлежит произведению многообразий m-групп X • У, если в G существует m-идеал M G X такой, что G/M <Е У

Диссертация посвящена изучению свойств многообразий m-групп, изучению строения решеток многообразий m-групп и квазимногообразий решеточно упорядоченных групп.

Основные положения, вынесенные на защиту:

- доказано, что любое многообразие m-групп является классом кручения (теорема 1.8);

- найден базис тождеств для произведения многообразий т-групп (теорема 1.9);

- доказано, что произведения IX и ЛщХ любого конечноба-зируемого многообразия m-групп X и многообразий абелевых т-групп X и Ащ являются конечнобазируемыми многообразиями (следствия 1.10 и 1.11);

- построено счетное множество накрытий многообразия всех абелевых т-групп Ащ в решетке многообразий т-групп Ьт (теорема 2.6 );

- построено счетное множество накрытий многообразия абелевых ¿-групп в решетке квазимногообразий ¿-групп Л (теорема 3.6, следствия 3.7 и 3.8).

Диссертация состоит из трех глав, связанных между собой единой методикой и техникой исследования.

Целью главы 1 диссертации является доказательство того, что произвольное многообразие т-групп является классом кручения и изучение базисов тождеств произведений многообразий т-групп. М. Жираде, И. Рахунек ([9], вопрос 3.2) поставили вопрос о том, является ли произвольное многообразие тп-групп классом кручения. В §1 данной главы приводится доказательство того, что произвольное многообразие т-групп является классом кручения (теорема 1.8), что дает положительный ответ на поставленный вопрос. В §2 главы 1 найден базис тождеств произведения произвольных многообразий т-групп (теорема 1.9). Доказано, что если X - конечнобазируемое многообразие т-групп, то многообразия АщХ и XX также конечноба-зируемые (следствие 1.10, следствие 1.11), где Ат - многообразие всех абелевых т-групп, а многообразие т-групп X порождается линейно упорядоченной группой целых чисел с естественным порядком и унарной операцией определенной по правилу X* = х~1.

Результаты главы 1 получены автором лично и опубликованы В [43], [44].

Во второй главе изучаются накрытия многообразия абелевых т-групп Ащ в решетке многообразий т-групп Ьт. Исследования строения решетки многообразий т-групп проводились М. Жираде и И. Рахунеком [9], В.М. Копытовым и И.

Рахунеком [10], [11]. В работе [10] показано, что многообразие М всех m-групп накрывает многообразие m-групп с субнормальными скачками Afm в решетке Lm. В работе [9] показано, что многообразие абелевых m-групп Лт не является наименьшим нетривиальным многообразием в решетке многообразий m-групп Ът и найден наименьший нетривиальный элемент в решетке Lm - многообразие m-групп X. В этой же работе М. Жираде и И. Рахунек показали, что многообразие абелевых т-групп Лщ накрывает многообразие m-групп X в решетке многообразий m-групп Lm. В главе 2 диссертации построена счетная серия накрытий многообразия абелевых m-групп Лщ в решетке многообразий m-групп Lm (теорема 2.6). Все эти накрытия определяются следующим образом. Пусть р - простое число, Sp = 9Р < o,Q,a\,. ,api,6 | [a¿,aj] = е, 6-1a¿6 = aj,¿ + 1 = j(mod р) > - группа, порожденная элементами ао> °ь • • • > ар-ъ Ь и х = bnCLQCLi . акр~1 > ев Sp, тогда и только тогда, когда п > О или п = 0 и ко > 0, ki > 0,. , кр-\ > 0. Хорошо известно, что группа Sp, относительно этого порядка, является ¿-группой [7]. Следуя [9] на ¿-группе Sp, где р > 3 определим унарную операцию * по следующему правилу: b* = б-1, (ао)* = añ1, (a¿)« = р г для всех i ф 0, где число р — i - остаток от деления числа р — г на число р. Для р = 2 определим унарную операцию * на Í-группе 5г по правилу: Ь* = Ь"1, (ао)* = ^Г 1> (ai)* = °оТогда Sp является m-группой. Через Sp обозначим т-многообразие, порожденное т-группой Sp. Во второй главе доказано (теорема 2.6), что многообразие m-групп Sp накрывает многообразие абелевых m-групп Лщ в решетке многообразий m-групп Lm для любого простого числа р.

Результаты главы 2 получены автором лично и опубликованы в [45], [46].

Целью главы 3 является построение накрытий многообразия абелевых ¿-групп Л в решетке квазимногообразий ¿-групп А. Из описания известных накрытий многообразия абелевых

-групп Л в решетке многообразий ¿-групп Ь, полученного Е. Скримджером [32], Н.Я. Медведевым [33], В.М. Копытовым [34], Д. Бергманом [35], следует, что каждое из этих многообразий ¿-групп X порождается одной неабелевой ¿-группой Сх, т.е. X = уаг^х- Если Сх не является нильпотентной ¿-группой, то любая неабелева ¿-группа из X = уаг^х содержит в качестве ¿-подгруппы ¿-группу Сх, и поэтому квазимногообразие ¿-групп порожденное ¿-группой Сх, накрывает Л в решетке квазимногообразий ¿-групп А. В главе 3 построено счетное множество различных квазимногообразий ¿-групп, накрывающих Л в решетке квазимногообразий ¿-групп А и отличных от перечисленных выше (теорема 3.6, следствия 3.7 и 3.8). Все построенные накрытия Л порождаются двуступенно разрешимыми линейно упорядоченными ¿-группами, содержатся в многообразии жестко упорядоченных ¿-групп УУа и не содержат нильпотентных ¿-групп. Все эти накрытия определяются следующим образом. Пусть С = (а)г{Ь) - прямое сплетение двух бесконечных циклических групп (а) и (6). Известно, что нижний центральный ряд

С = ъО>72С>.7гС>. группы С имеет единичное пересечение и фактор-группы 7*+1<2/7*+2<3 = ([а, 6,. „ , Ь^ук+2С) - бесконечные циклические к группы, порожденные элементом [а, 6,. , бК^С? для любого

V™ к е N [37] (здесь 1к+1С = а]).

Для любой бесконечной последовательности е = (е0,£1,. ,£„,.), где £0 = +1, е1 = ±1 (г £ ]М), определим линейный порядок

Я{£) — <5(^0, £ъ • • • > еп, £п+Ъ • • • ) на группе С? следующими соотношениями:

6 » а£° » [а, Ъ]£1 » [а, Ь, Ь]£з » .» [а, Ь]е * » . > е. к

Через e(n) = (ео» £1, • • • > £n-1) обозначим бесконечную последовательность e со свойствами: 1) £o = +1; 2) £i = £j, если i = j (mod n) (n,i,j € N). Всюду в дальнейшем группу G, линейно упорядоченную относительно линейного порядка Q(er(n)), будем обозначать через (G, Q(e(n))) и последовательность е(п) будем называть периодической. В главе 3 доказано (теорема 3.6 и следствие 3.7), что для любой периодической последовательности e(n) (n G N) квазимногообразие ¿-групп qe(G,Q(£0,£ 1,. ,en-i)), порожденное линейно упорядоченной группой

G,Q(£O,£i, . . . ,£п-1)) накрывает многообразие абелевых ¿-групп Л в решетке квазимногообразий ¿-групп А и найдены условия при которых определенные выше накрытия многообразия Л в решетке квазимногообразий ¿-групп А различны (теорема 3.9).

Результаты данной главы получены совместно с Н.Я. Медведевым и опубликованы в [48], [49], [50], [51], а также совместно с Е.А. Исаковой и опубликованы в [47]. Некоторые результаты главы 3 (следствие 3.7) вошли в монографию В.М. Копытова, Н.Я. Медведева ([8], глава 14).

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

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

Результаты диссертации докладывались на семинарах "Теория групп" и "Алгебра и логика" Института математики СО РАН, на 5-ой Сибирской школе по многообразиям алгебраических систем (Барнаул, 1988 г.), международной конференции

Упорядоченные алгебраические системы" (Гейнесвил, США, 1991 г.), Четвертом сибирском конгрессе по прикладной и индустриальной математике "ИНПРИМ - 1998" (Новосибирск, 1998 г.), Международной конференции "Мальцевские чтения - 2001" (Новосибирск, 2001 г.), Международной летней школе "Пограничные вопросы теории моделей и универсальной алгебры " (Эрлагол, 2003 г.), Международной конференции "Мальцевские чтения - 2003" (Новосибирск, 2003 г.).

Диссертация содержит 51 страницу, состоит из введения, трех глав и библиографии. Библиография включает 51 наименование.

1. Биркгоф Г. Теория решеток. Москва: ИЛ, 1952.

2. Glass A.M. W. Partialy ordered groups. Singapore: World Sci. Pub. Co., 1999.

3. Lorenzen P. Über Halbgeordnete Gruppen // Arh. Math. 1949. V.2, № 1-2. P.66-70.

4. Lorenzen P. C/ber Halbgeordnete Gruppen // Math. Z. 1949. V.52, № 5. P.483-526.

5. Clifford A.H. Partially ordered groups of the second and third kinds // Proc. Amer. Math. Soc. 1966. V.17. P.219-225.

6. Конторович П.Г., Кокорин А.И. Об одном типе частично упорядоченных групп // Матем. зап. Уральск, ун-та. 1962. Т.З, № 3. С.27-31.

7. Блудов В.В., Кокорин А.И. Полуоднородно упорядоченные группы // Сб. "Алгебраические системы". Иркутск, 1976. С.3-16.

8. Giraudet М., Lucas F. Groupes ä motie ordonnes // Fund. Math. 1991. V.139. P.75-89.

9. Holland W.Ch. The lattice-ordered group of automorhisms of an ordered set // Michigan Math. J. 1963. V.10, № 4. P.399-408.

10. Holland W.Ch. Transitive lattice-ordered permutation groups 11 Math. Zeit. 1965. V.87. P.420-433.

11. Holland W.Ch. A class of simple lattice-ordered permutation groups // Proc. American. Math. Soc. 1975. V.19. P.331-344.

12. Glass A.M.W. The word problem for lattice-ordered groups 11 Proc. Edinburgh Math. Soc. 1975. V.19. P.217-219.

13. Копытов В.М. Неабелево многообразие ¿-групп, в котором каждая разрешимая ¿-группа абелева // Мат. сб. 1985. Т. 126, № 2. С.247-266.

14. Bergman G. Specially ordered groups // Communs. algebra. 1984. V.12, № 19-20. P.2315-2333.

15. Медведев Н.Я. О нильпотентных решеточно упорядоченных группах // Мат. заметки. 1989. Т.45, № 1. С.72-79.

16. Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. Москва: Наука, 1972.

17. Holland W. Ch. Varieties of ¿-groups are torsion classes// Czechosl. Math. J. 1979. V.23, № 1. P.ll-12.

18. Birkhoff G. Subdirect unions in universal algerbras Bull. Amer. Math. Soc. 1944. V.50, P.764-768.

19. Баянова H.B., Никонова О. В. Реверсивные автоморфизмы решеточно упорядоченных групп // Сиб. мат. ж. 1995. Т.36, № 4. С.763-768.

20. Медведев Н.Я. Многообразия решеточно упорядоченных групп. Учебное пособие. Барнаул: АлтГУ, 1987.

21. Holland Ch.W., Medvedev N.Ya. A very large class of small varietice of lattice-ordered groups // Comm. Algebra 1994. V.22, № 2. P.551-578.Работы автора по теме диссертации

22. Исаева О. В. О базируемости многообразий m-групп //4-ая краевая конференция по математике "МАК-2001": Сб. тез. Барнаул, 2001. С.4.

23. Исаева О. В. Многообразия и классы кручения т-групп // Алгебра и логика. 2003. Т.42, № 6. С.683-691 .

24. Исаева О. В. Накрытия в решетке многообразий га-групп // 6-ая краевая конференция по математике "МАК-2003": Сб. тез. Барнаул, 2003. С.4.

25. Исаева О. В. Накрытия в решетке многообразий т-групп // Алгебра и теория моделей-4. Новосибирск, НГТУ, 2003. С.35-43.

26. Исаева О.В., Исакова Е.А. Накрытия многобразия абеле-вых ¿-групп в решетке квазимногообразий ¿-групп // 5-ая Сибирская шк. по многообразиям алгебраических систем. Сб. тез. Барнаул, 1988.

27. Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий ¿-групп // Сиб. мат. ж. 1992. Т.ЗЗ, № 2. С.102-107.

28. Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий ¿-групп// 3-ий сибирский конгресс по прикладной и индустриальной математике "ИНПРИМ-98". Сб. тез. Новосибирск, 1998. С. 107.

29. Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий ¿-групп // 1-ая краевая конференция по математике "МАК-98": Сб. тез. Барнаул, 1998. С.5.

30. Исаева О.В., Медведев Н.Я. Накрытия в решетке квазимногообразий ¿-групп // Сиб. мат. ж. 2000. Т.41, № 2. С.339-344.