CC BY
13
Онлайн-доступ к журналу: http://isu.ru/izvestia
Серия «Математика»
2009. Т. 2, № 2, С. 4-19
УДК 512.54
Группы и упорядочения: проблема равенства слов,
вложения и амальгамы
(обзор последних достижений) *
В. В. Блудов
Восточно-Сибирская государственная академия образования
Э. М. У. Гласс
Кембриджский университет, Куинз Колледж
Аннотация. Приведён обзор результатов, полученных авторами в последние годы в теории решеточно упорядоченных и правоупорядоченных групп.
Ключевые слова: решёточно упорядоченные группы, амальгамирование, свободные произведения с объединённой подгруппой, Б^^расширения, правоупорядочиваемые группы, проблема равенства слов, рекурсивно определимые множества.
В 2009 году мы отмечаем 80-летие со дня рождения А. И. Кокорина, одного из пионеров в исследованиях по теории упорядоченных групп. Большое влияние на развитие исследований в этой области в России оказала книга [3], написанная им в соавторстве с В. М. Копытовым в начале 1970-х годов. В то время теория упорядоченных групп проходила период своего становления. Сейчас уже можно отметить, что современная теория упорядоченных групп обладает хорошо развитой техникой исследований, имеет тесные связи с теорией алгебраических систем, с математической логикой, топологией и другими разделами математики.
* Эти исследования были поддержаны грантами Королевского общества, Лондонского математического общества (Схема IV, поездки) и Куинз Колледжа, Кембридж (Великобритания). Авторы благодарны всем, кто способствовал созданию благоприятных условий для нашей работы, а также Куинз Колледжу и отделу чистой математики и математической статистики Кембриджского университета за гостеприимство, оказанное первому соавтору, во время его визитов в Кембридж.
1. Введение
В настоящей работе представлен расширенный вариант докладов, сделанных авторами в Бате на конференции «Groups St. Andrews -2009» и в Новосибирске на конференции «Мальцевские чтения», посвященной 100-летию со дня рождения А. И. Мальцева. Английский вариант этой работы представлен к опубликованию в трудах конференции «Groups St. Andrews - 2009».
При изложении материала мы будем сопоставлять между собой результаты из общей теории групп, из теории решёточно упорядоченных групп и теории правоупорядоченных групп. Поэтому второй и пятый параграфы мы озаглавили «Группы против решёточно упорядоченных групп» и «Правые порядки против решёточных порядков», а не «Группы и решёточно упорядоченные группы» и «Правые порядки и решёточные порядки». Основные результаты работы, интересные также и специалистам по общей теории групп, представлены в четвертом параграфе.
2. Группы против решёточно упорядоченных групп
Один из способов получения результатов в теории бесконечных групп это представление элементов в каноническом виде и связанные с этим конструкции такие, как свободные группы, свободные произведения, свободные произведения с объединённой подгруппой и HNN-расширения [6]. Первые две конструкции существуют в любых многообразиях алгебр, но в группах они наиболее востребованы. На это есть две причины. Во-первых, канонический вид элементов свободных групп легко получается в виде редуцированного слова от порождающих элементов группы (и им обратных). Похожим образом получается канонический вид и для элементов свободных произведений групп. Во-вторых, амальгама существует для любых заданных групп С\ и О2 с изоморфными подгруппами Н и Н2 соответственно. Это значит, что для любого изоморфизма р : Н\ = Н2 существует группа Ь и вложения О1 —^ Ь ^— О2 такие, что Л-171 = Л,1рт2 для всех Л-1 € Н1. Среди всех таких групп
Ь находится и их свободное произведение с объединённой подгруппой
V
О1 *02 (И = Н2) — фактор-группа свободного произведения О1 и О2 по нормальной подгруппе, порождённой элементами {(Л,1р)Л,-1 | Л-1 € Н1}.
И здесь каждый элемент имеет канонический вид, а ключевой факт со-
V
стоит в том, что естественные отображения О1 и О2 в О1 * О2 (Н1 = Н2) являются вложениями, которые согласованы только на образах Н и Н2. (Мы ограничились случаем двух групп только из удобства изложения, на самом деле все эти результаты справедливы для любого семейства групп.)
Другая конструкция, тесно связанная со свободными произведениями с объединённой подгруппой, это HNN-расширения. Если группа О имеет изоморфные подгруппы Н1, Н2 (скажем, р : Н1 = Н2), то мы можем образовать HNN-расширение К : = (О, Ь | = Л,1р (Л4 € Н1));
группа К порождается порождающими элементами группы О и дополнительным элементом Ь, а определяющие соотношения группы К состоят из определяющих соотношений группы О и дополнительных соотношений = Л-1р (Л-1 € Н1), где ху := у-1ху. И снова элементы из К представляются в каноническом виде. Более того, естественное отображение О в К снова вложение.
Эти две конструкции приводят к нескольким важным результатам, которые перечислим ниже в пунктах (п1) - (п6). Предварительно напомним определения.
Всякая группа О изоморфна фактор-группе свободной группы по её нормальной подгруппе. Если свободная группа конечно порождена, мы говорим, что О конечно порождена. Если дополнительно нормальная подгруппа имеет вычислимый список порождающих (как нормальная подгруппа), мы говорим, что О рекурсивно определима, а если нормальная подгруппа конечно порождена (как нормальная подгруппа), то мы говорим, что О конечно определима.
(п1) Всякая группа О вкладывается в делимую группу О (для каждого положительного целого числа п всякого д € О существует х € О такой, что хп = д).
(п2) Всякая счётная группа О вкладывается в двух порождённую группу (которая может быть эффективно получена из представления группы О).
(п3) Всякая группа вкладывается в группу, в которой любые два элемента одинакового порядка сопряжены.
(п4) Существует конечно определённая группа с неразрешимой проблемой равенства слов.
(п5) (Теорема Хигмана о вложении) Конечно порождённая группа вкладывается в конечно определённую группу тогда и только тогда, когда она рекурсивно определима [20].
(п6) (Теорема Буна-Хигмана) Проблема равенства слов разрешима в конечно порождённой группе О тогда и только тогда, когда О вкладывается в простую группу, которая в свою очередь вкладывается в конечно определённую группу [14].
Результаты (п5) и (п6) особенно привлекательны, поскольку они указывают на двойственный характер между алгебраическими и логическими (из теории рекурсивных функций) понятиями.
Теперь расширим язык теории групп, добавив решёточные операции
V и Л. Полученный язык исключительно богат, что мы сейчас и продемонстрируем. Необходимые базовые понятия можно найти, например, в книгах [3], [4] и [16]. Здесь определим только те понятия, которые нужны для связного изложения текста.
Решёточно упорядоченная группа (сокращенно 1-группа) это алгебраическая система О сигнатуры {■, -1,1, V, Л} такая, что (О; ■, -1,1) имеет структуру группы, (О; V, Л) имеет структуру решётки и при этом
х(а V Ь)у = хау V хЬу и х(а Л Ь)у = хау Л хЬу.
Это значит, что решёточный порядок сохраняется при умножении и слева, и справа.
Группа в ^-группе не имеет кручения, а решетка в ^-группе дистрибутивна.
Поскольку в сигнатуре {■, -1,1, V, Л} класс ^-групп образует многообразие, то мы можем говорить о свободных ^-группах и свободных произведениях ^-групп в этой сигнатуре. Если ^-группа порождается (как ^-группа) множеством X, то в силу дистрибутивности каждый элемент ^-группы записывается в виде
V Л >
где I и .] конечные множества, а каждое Wij — групповое слово в символах множества X. К сожалению, такая форма представления элементов неоднозначна даже в свободной ^-группе, поскольку
(ш Л 1) V (ш-1 Л 1) = 1 для всех ш. (2.1)
Ситуация со свободными произведениями в классе ^-групп не лучше. Если О1 и О2 — ^-группы, то их свободное произведение в многообразии ^-групп, рассматриваемое как группа не совпадает со свободным произведением групп О1 и О2 в многообразии групп. Например, пусть ^-группы О, Н имеют нетривиальные ортогональные элементы (д1,д2 € О, Л-1, Л-2 € Н и д1 Л д2 = 1, Л-1 Л Л-2 = 1). Тогда, как показано в работе [22], в любой ^-группе, содержащей ^-гомоморфные образы О и Н, выполнено соотношение
[Л-1 ,д-%д1 Л-^Л^д-1] = 1. (2.2)
Нетрудно заметить, что в свободном произведении групп О и Н соотношение (2.2) не выполняется. Более того, что ещё хуже, не для всяких ^-групп существуют амальгамы. Точнее, если О1, О2 ^-группы с изоморфными ^-подгруппами Н1, Н2 соответственно и р — изоморфизм из
Ні на Н2, то не всегда существуют і-группа Ь и і-вложения тг : Ог ^ Ь (і = 1, 2) такие, что ^іті = ^ірт2 для всех ^і Є Ні ([25] и [13]).
Таким образом, конструкции свободного произведения с объединённой подгруппой и HNN-расширения не могут использоваться в теории і-групп в полном объеме. Тем не менее, полные аналоги утверждений (п1) - (п6) имеют место.
(I) Всякая і-группа ^-вкладывается в делимую і-группу [21].
(II) Всякая счётная і-группа ^-вкладывается в двух порождённую і-группу (которая может быть эффективно получена из представления группы О). (Б. Нейман; см. [16], теорема 10.А).
(III) Всякая і-группа ^-вкладывается в і-группу в которой любые два строго положительных элемента сопряжены [25].
(IV) Существует конечно определённая і-группа с неразрешимой проблемой равенства слов [19].
(V) (Аналог теоремы Хигмана о вложении) Конечно порождённая і-группа ^-вкладывается в конечно определённую і-группу тогда и только тогда, когда она рекурсивно определима (как і-группа) [17].
(VI) (Аналог теоремы Буна-Хигмана) Проблема равенства слов разрешима в конечно порождённой і-группе О тогда и только тогда, когда
О ^-вкладывается в простую і-группу і-вложимую в конечно определённую і-группу [18].
Как доказываются утверждения (I) - (VI)? Ключом служит теорема Холланда о представлении і-групп. Пусть (О, <) — линейно упорядоченное множество и А(О) := Аиі(О, <). Тогда А(О) — і-группа относительно операции композиции и поточечного упорядочения
/ < 9 а/ < ад для всех а Є О. (2.3)
Теорема 1. (Холланд [21]) Всякая £-группа О і-вкладывается в А(Ос) для подходящего линейно упорядоченно множества (Ос, <). Если О счётна, то в качестве (Ос, <) может быть взято множество рациональных или действительных чисел с естественным порядком.
Используя этот результат и технику работы с подстановками (часто специально разработанную), можно доказать (I) - (VI). И хотя формулировки (I) - (VI) чрезвычайно похожи на формулировки (п1) - (п6), некоторые комментарии и отличия стоит отметить.
Во-первых, поскольку язык теории і-групп включает в себя как групповые, так и решёточные операции, то конечная порождённость и конечная определённость для і-групп не влекут эти же свойства для групп.
Также непохоже на ситуацию в теории групп то, что любое конечное множество соотношений в i-группах эквивалентно одному соотношению
(w1 = 1 & ... & wn = 1) |wi| V ■ ■ ■ V |wn| = 1,
где |ж| := ж V ж-1. Это вытекает из того, что |ж| > 1 для всех ж, а равенство достигается только при ж = 1. Тождество (2.1) является переформулировкой этого факта. Таким образом (IV) вполне отличается от (п4); всякая конечно порождённая группа с одним соотношением имеет разрешимую проблему равенства слов (см. [6]).
Пусть £ — некоторое вычислимое действительное число и пусть D(£) обозначает аддитивную группу Z ф Z, упорядоченную по правилу
(m,n) > (0, 0) m + n£ > 0 (в R).
В этом случае D(£) рекурсивно определённая i-группа. [Например, если £ = v% то определяющими соотношениями (от коммутирующих переменных ж и у) для D(\/2) будут соотношения: ж < у < 2ж, 14ж < 10у < 15ж, 141ж < 100у < 142ж, ...]. В силу (V), D(£) вкладывается в конечно определённую i-группу G(£). Если w^ = 1 — определяющее соотношение для G(£), то
(w^ = 1) h (жтуп > 1) m + n£ > 0 (в R).
Таким образом, слово w^ “определяет” £. И значит, на языке i-групп, множество вычислимых действительных чисел (которое включает e и п) в точности совпадает с множеством (^)алгебраических действительных чисел (sic!).
Все нетривиальные элементы i-групп имеют бесконечный порядок и, следовательно, сопряжены в некоторой надгруппе в силу (п3). Однако, в любой i-группе G, gf > 1 эквивалентно g > 1. Следовательно множество элементов, которые могут быть сопряжены с данным положительным элементом являются подмножеством множества строго положительных элементов G+ := {g € G | g > 1}. Таким образом
(III) означает, что всякая i-группа i-вкладывается в такую i-группу, в которой G+ образует полный класс сопряжённых элементов, что в свою очередь влечет то же самое и для множества строго отрицательных элементов G- := {g € G | g < 1} = {g € G | g-1 € G+}. Единица группы всегда составляет полный класс сопряжённых элементов. Пока ничего не сказано про число классов сопряжённых элементов несравнимых с единицей. В работе [10] мы использовали специально подобранную технику работы с монотонными преобразованиями и получили, что все несравнимые с единицей элементы можно сделать одним классом сопряжённых элементов. Таким образом, получается следующее усиление факта (III).
Теорема 2. ([10]) Всякая ^-группа ^-вкладывается в ^-группу с 4-мя классами сопряжённых элементов.
В формулировке факта (VI) присутствует неопределённость, которая касается слова “простая”. Следует ли понимать “простая і-группа” как і-группа простая в многообразии групп или как і-группа простая в многообразии і-групп? В первом случае группа не имеет собственных нетривиальных нормальных подгрупп, а во втором случае группа не имеет собственных нетривиальных нормальных выпуклых і-подгрупп. Первоначально в работе [18] использовался результат Пирса и “простая і-группа” понималась как простая в многообразии групп, однако, как отмечено в [10], факт (VI) остаётся верным, если “простая і-группа” понимается как простая группа в многообразии і-групп.
3. Правоупорядочиваемые группы
Напомним один из способов установления правого порядка на группе порядковых автоморфизмов А(О) линейно упорядоченного множества (О, <). Вполне упорядочим множество О отношением полного порядка. Определим носитель элемента д Є А(О): вирр(д) = {а Є О | ад = а}. Если д = 1, то пусть ад обозначает наименьший (относительно полного порядка на О) элемент непустого множества вирр(д). Определим линейный порядок ^ на А(О), полагая 1 X д, если и только если ад < адд (относительно исходного линейного порядка <). Нетрудно проверить, что порядок ^ сохраняется при умножении справа
/ X д =^ /Л X дЛ (Л Є А(О)).
(Умножение слева не обязательно сохраняет этот порядок). Порядок ^ зависит от того, как мы вполне упорядочиваем множество О. И действительно, поточечный решёточный порядок, определённый в (2.3) является пересечением всех правых порядков, полученных указанным способом при всех различных полных упорядочениях множества О. Это позволяет переходить от ^-группы к правоупорядоченной группе и обратно. В частности можно показать полный аналог факта (п3).
Теорема 3. ([10]; см. также теорему 2) Всякая правоупорядоченная группа вкладывается (с сохранением порядка) в правоупорядоченную группу, в которой сопряжены любые два нетривиальных элемента (не имеет значения, какие это элементы, строго положительные или строго отрицательные).
Теперь обратимся к теоретико-модельным вопросам. Вполне естественно спросить:
Любая ли теория первого порядка Т, имеющая бесконечную модель, имеет модель М, у которой группа Аи£(М) имеет неразрешимую теорию?
Если теория Т стабильна, то легко получить утвердительный ответ, используя факт (п4): существует конечно определённая группа с неразрешимой проблемой равенства слов. В общем случае утвердительный ответ получится, если доказать существование конечно определённой правоупорядочиваемой группы с неразрешимой проблемой равенства слов (см. [9]). Здесь идет речь о правоупорядочиваемой группе, поэтому конечная определённость и равенство слов рассматриваются в групповой структуре. Поскольку язык ^-групп существенно богаче языка теории групп, то существование такой правоупорядочиваемой группы не следует из факта (IV). Тем не менее, в работе [9] мы доказали
Теорема 4. Существуют конечно определённые правоупорядочиваемые группы с неразрешимой проблемой равенства слов.
и таким образом получили
Следствие 1. У любой теории первого порядка Т, имеющей бесконечную модель, имеется модель М, у которой группа Аи£(М) имеет неразрешимую теорию.
Замечание: В отличие от класса групп, в классе правоупорядочиваемых групп нарушается свойство амальгамируемости [1]: существуют правоупорядоченные группы ^1, с изоморфными подгруппами Н и Н2 соответственно (скажем р : Н = Н2, где р сохраняет порядок) и такие, что не существует правоупорядочиваемой группы Ь с групповыми вложениями ^1 —^ Ь ^2, удовлетворяющими условию ^1г1 = ^1рг2 для всех ^1 € Н1.
4. Амальгамы в правоупорядочиваемых и правоупорядоченных группах
При каких условиях существуют амальгамы правоупорядочиваемых и правоупорядоченных групп? Иначе говоря, для каких правоупорядочиваемых (правоупорядоченных) групп ^1, ^2 с изоморфными подгруппами Н1 и Н2 соответственно, и для каких изоморфизмов р : Н = Н существует правоупорядочиваемая (правоупорядоченная) группа Ь, в которую вкладываются группы ^1 и ^2 и вложение согласовано на Л4 и Л-1р для всех Л-1 € Н (в случае правоупорядоченных групп вложения сохраняют порядок)?
Дж. М. Бергман очень красиво связал этот вопрос с (групповым) свободным произведением групп с объединённой подгруппой.
Теорема 5. (Бергман, [8]) Пусть С1, О2 — правоупорядочиваемые (правоупорядоченные) группы с подгруппами И < С1, И2 < 02. Если И1 и И2 изоморфны относительно р (и р сохраняет порядок в случае правоупорядоченных групп), то амальгама этих групп существует
в классе правоупорядочиваемых (правоупорядоченных) групп тогда и
V
только тогда, когда группа О1 * О2 (И = И2) правоупорядочиваема (правоупорядочена).
Отсюда немедленно следует (см. [4], Следствие 6.1.3), что свободное произведение правоупорядочиваемых групп правоупорядочиваемо. Аналогичный результат для двусторонне упорядоченных групп был получен А. А. Виноградовым [2].
V
Таким образом, для изучения группы О1 * О2 (И = И2) и установления её правой упорядочиваемости, достаточно найти любую амальгаму этих групп. А для этой цели очень полезным инструментом оказались группы монотонных преобразований. Например, если О^ правоупорядоченная группа с циклической подгруппой И = (Л.^) (г = 1,2), то мы можем вложить (с помощью подхододящего вложения 0) группу
01 х О2 (упорядоченную лексикографически) в правоупорядоченную группу Ь, в которой любые два нетривиальных элемента сопряжены. Пусть / € Ь такой, что (Л,10)^ = Л-20. Теперь вложим О1 в Ь с помощью Т1 := 0/ и О2 в Ь с помощью Т2 := 0, где / — сопряжение с помощью / (внутренний автоморфизм группы Ь). Теперь Л™Т1 = Л™рт2 для всех т € 2. Таким образом, теорема 3 влечет
Следствие 2. ([10]) Если О1, О2 — правоупорядоченные группы с
циклическими подгруппами И1 < О1, И2 < О2, то на Ь := О1 *
V
02 (И1 = И2) можно задать правый порядок. При этом порядок группы Ь продолжает исходные порядки групп О1 и О2, если изоморфизм, р сохраняет порядок на подгруппах И1, И2.
Следовательно, всегда возможно амальгамировать циклические подгруппы в классе правоупорядочиваемых (правоупорядоченных) групп, что решает проблему 6.4 из [24].
А что можно сказать в случае двусторонне упорядоченных групп? Рассмотрим группы О1 = О2 = 2 и подгруппы И1 = И2 = 22 с тождественным изоморфизмом. В этом случае 01 и 02 упорядочиваемые группы с нормальными циклическими подгруппами И1 и И2. И уже в этом наипростейшем случае группа О1 * О2 (И = И2) не упорядочиваема, поскольку 11 = 12, а 11 + 11 = 12 + 12 (в любой л.у. группе х2 = у2 влечет ж = у). Тем не менее, О1 * О2 (И1 = И2) правоупорядочиваема (см. следствие 3).
Напомним, что если на группе О задан правый порядок <, то Р : = О+ — подполугруппа группы О и Р, Р-1, {1} задаёт разбиение О. Верно и обратное, всякая подполугруппа Р, образующая разбиение Р, Р-1, {1} на группе О определяет правый порядок группы с множеством положительных элементов Р. Для любого / € О, Р^ также подполугруппа, определяющая сопряжённый правый порядок на О: д € О строго положителен относительно нового порядка, если и только если /д/-1 > 1 при старом порядке. Таким образом, если правоупорядочиваемая группа О допускает задание правого порядка <, то О допускает задание и всех правых порядков, сопряжённых с порядком <. Важным моментом в наших исследованиях является рассмотрение на правоупорядочиваемой группе семейства (множества) возможных правых порядков. Это, в свою очередь приводит к понятию алгебраической системы (О; ■, -1,1, <г (г € I)), сигнатура которой включает не одно отношение правого порядка, а целое семейство таких порядков.
Непустое семейство " правых порядков группы О называется нормальным или О-инвариантным, если всякий правый порядок, сопряжённый с правым порядком из " также принадлежит ". Отметим, что множество всех правых порядков на правоупорядочиваемой группе является нормальным. Также нормальным является и семейство всех конрадовых порядков на правоупорядочиваемой группе.
Пусть О1 , О2 — правоупорядочиваемые группы с подгруппами И1 , И2 соответственно и пусть р : И1 = И2 — изоморфизм. Пусть заданы семейства правых порядков " на группе О1 и " на группе О2. Говорим, что пара ("1, "2) совместима с р, если для любого порядка <1 из "1 найдётся порядок <2 в "2 такой, что
1 <1 Л1 1 <2 Л1р (для всех Л1 € И1),
и для любого <2 из "2 найдётся порядок <1 в "1 такой, что
1 <2 Л2 1 <1 Л2р-1 (для всех Л2 € И2).
Во всех известных нам случаях при построении примеров не правоупорядочиваемых свободных произведений с объединённой подгруппой Ь := О1 * О2 (р : И1 = И2) находились правые порядки на группах О1, О2 совместимые с р, но такие, что некоторые сопряжённые с ними порядки не были совместимы с р. И, действительно, если бы группа Ь была правоупорядочиваемой, то любой порядок на Ь, сопряжённый элементом из О1, индуцировал на О2 порядок совместимый с р. На наше счастье, это оказалось единственным препятствием для правой упорядочиваемости свободных произведений с объединённой подгруппой. Используя технику работы с монотонными преобразованиями, мы доказали
Теорема 6. ([12]) Пусть О1, О2 — правоупорядоченные группы с изоморфными подгруппами И1 < О1, И2 < О2 и пусть р : И1 = И2
— изоморфизм. Группа Ь := О1 * О2 (И1 = И2) правоупорядочиваема тогда и только тогда, когда существуют нормальные семейства правых порядков "1 на группе О1 и "2 на группе О2 такие, что пара ("1, "2) совместима с р. При этом, исходный правый порядок группы О г (г = 1, 2) продолжается до правого порядка группы Ь тогда и только тогда, когда он содержится в нормальном семействе " правых порядков этой группы и пара ("1, "2) совместима с р.
Поскольку сопряжение в о-группах сохраняет порядок, мы получаем
Следствие 3. ([11]) Пусть О1, О2 — о-группы с изоморфными подгруппами И1 < О1, И2 < О2 и пусть изоморфизм р : И1 = И2
сохраняет порядок на подгруппах. Тогда Ь := О1 * О2 (И = И2) правоупорядочиваема и исходные порядки групп О1, О2 продолжаются до правого порядка группы Ь.
А это приводит к следствию для ^-групп (сравни с (п3):
Следствие 4. ([11],) Пусть О1, О2 — о-группы с изоморфными подгруппами И1 < О1, И2 < О2 и пусть изоморфизм р : И1 = И2 сохраняет порядок на подгруппах. Тогда существует ^-группа Ь и .£-вложения тг : О г ^ Ь (г = 1,2) такие, что Н1Т1 = Н1рт2 для всех Н € И1.
Аналог теоремы 6 справедлив для HNN-расширений.
Теорема 7. ([12]) Пусть О1, О2 — правоупорядоченные группы с изоморфными подгруппами И1 < О1, И2 < О2 и пусть р : И1 = И2 — изоморфизм,. ИКК-расширение К := (О, £ : Н* = Н1р (Н1 € И1)) группы О правоупорядочиваемо в тогда и только тогда, когда существует нормальное семейство " правых порядков группы О такое, что пара (",") совместима с р.
Используя эти теоремы и их следствия, доказываем аналоги фактов (п4) - (п6), где понятие конечной определимости рассматривается в многообразии групп.
Теорема 8. ([12]) (гу) Группа Буна-Бриттона [15] является правоупорядочиваемой конечно определённой группой с неразрешимой проблемой равенства слов.
(у) Конечно порождённая правоупорядочиваемая (правоупорядоченная) группа вкладывается в конечно определённую правоупорядочиваемую (правоупорядоченную) группу тогда и только тогда, когда она рекурсивно определима.
(у1) Проблема равенства слов разрешима в конечно порождённой правоупорядочиваемой группе О тогда и только тогда, когда О вкладывается в простую группу вложимую в конечно определённую правоупорядочиваемую группу.
В доказательстве (у) используется результат (Гу) и вариант доказательства теоремы Хигмана о вложении из работы Андреаа [7].
С. Лемьё (см. [23])доказал правую упорядочиваемость группы Новикова (в которой проблема равенства слов разрешима, а проблема сопряжённости нет). Так, что ряд алгоритмических результатов из теории групп перенесён на правоупорядочиваемые группы.
5. Правые порядки против решёточных порядков
Предыдущие параграфы могли составить впечатление, что между решёточно упорядоченными и правоупорядоченными группами нет существенной разницы. Следующая теорема ещё более усиливает это впечатление (сравни также со следствиями 3 и 4).
Теорема 9. ([13]) Пусть И1, И2 — 1-подгруппы £-групп О1, О2 соответственно. Если р : И1 = И2 — (-изоморфизм, то группа О1 *
V
О2 (И1 = И2) правоупорядочиваема.
По теореме 1 всякая (-группа (-вкладывается в А(Л), поэтому можно считать, что О г = А(Лг) (г = 1,2). Рассматривая множество всех ультрафильтров на Лг и множество всех полных упорядочений этого множества, строим нормальные семейства правых порядков на А(Лг) (г = 1, 2). Проверяем, что эти семейства совместимы с р и получаем доказательство теоремы. Реальная конструкция доказательства и её детали менее очевидны, чем ожидалось (см. [13]).
Теперь из теоремы 1 выводим необходимые и достаточные условия правой упорядочиваемости группы О1 * О2 (р : И = И2) в терминах решёточно упорядоченных групп.
Теорема 10. ([13]) Пусть О1, О2 — правоупорядочиваемые группы
с изоморфными подгруппами И1 < О1, И2 < О2 и пусть р : И1 =
V
И2 — изоморфизм. Группа О1 * О2 (И1 = И2) правоупорядочиваема тогда и только тогда, когда существуют (-группа Ог, групповое вложение ег : О г ^ О г (г = 1, 2) и (.-изоморфизм р между 1-подгруппами, порождёнными И^1 и И^2 такие, что
Нр = Н^
для всех Н1 € И1.
Поскольку всякая правоупорядочиваемая группа вкладывается в (группу, то мы получаем
Следствие 5. ([13]) Пусть И1, И2 — (-подгруппы (-групп О1, О2 соответственно. Если р : И1 = И2 — (-изоморфизм, то существуют (-группа Ь и групповые вложения ег : Ог ^ Ь (г = 1, 2) такие, что д^1 = gVe2 для всех д1 € И1. При этом, Ь и е1, е2 можно выбрать так, чтобы подгруппа в Ь, порождённая О11 и О22 была изоморфной О1 * О2 (р : И1 = И2).
С этого момента начинает проявляться резкий контраст между ре-шёточно упорядочиваемыми и решёточно упорядоченными группами. В следствии 5 вложения ег не являются (-вложениями и, значит, решёточный порядок (-группы Ь не обязательно индуцирует на группах О г их исходный решёточный порядок. Поскольку мы рассматриваем (-группы в многообразии алгебр с групповыми и решёточными операциями, то для амальгам (-групп мы требуем, чтобы вложения ег : Ог ^ Ь были (-вложениями. Такую амальгаму мы называем (-амальгамой. При этом мы различаем два варианта амальгам для решёточно упорядочиваемых групп. Любая решёточно упорядочиваемая амальгама Ь решёточно упорядочиваемых групп О1 и О2 называется д-амальгамой этих групп О1 и О2. Если при этом на группах Ь, О1 и О2 существуют решёточные порядки, при которых Ь становится (-амальгамой групп О1 и О2, то такую д-амальгаму Ь называем С-амальгамой. Поскольку на решёточно упорядоченную группу можно смотреть как на решёточно упорядочиваемую, то понятия д-амальгамы и С-амальгамы применяются и для решёточно упорядоченных групп.
Отметим, что следствие 5 не может быть усилено до (-вложений ег, даже если отказаться от требования, чтобы группы О11 и О22 порождали подгруппу, изоморфную О1 * О2 (р : И1 = И2). Соответствующий пример (-групп был построен К. Пирсом в работе [25] (см. также [16], теорема 7.С). В примере К. Пирса были построены (-группы О1 и О2 с (-изоморфными (-подгруппами, для которых не существовало (-амальгамы, но (как нетрудно заметить) у этих групп существовали С-амальгамы. Другие примеры (-групп, усиливающие пример К. Пирса, построены в работе [13]:
Предложение 1. ([13], пример 5.1) Существуют решёточно упорядоченные группы О1, О2 со спрямляющими (-изоморфными идеалами И1 < О1, И2 < О2, для которых не существует (-амальгамы.
Предложение 2. ([13], пример 5.2) ([13], пример 5.2) Существуют решёточно упорядоченные группы О1, О2 с (-изоморфными идеалами И1 < О1, И2 < О2, для которых не существует С-амальгамы.
Идеал в (-группе О это ядро любого (-гомоморфизма из О в (-группу И, если при этом порядок на И линейный, то идеал называется спрямляющим. То, что в предложении 2 идеалы неспрямляющие существенно, поскольку справедливо
Предложение 3. ([13]) Пусть О1, Ог — решёточно упорядоченные
группы со спрямляющими идеалами И1 < О1, И2 < О2 и пусть р :
V
И1 ^ И2 — (-изоморфизм, тогда Ь = О1 *О2 (И1 = И2) решёточно упорядочиваемая С-амальгама групп О1, О2 с объединёнными подгруппами
И1, И2.
Таким образом, для групп из предложения 1 всегда существуют С-амальгамы. Ввиду этого, в примере 5.2 из работы [13] один из объ-единямых идеалов неспрямляющий (а второй идеал спрямляющий). В доказательстве предложения 2 используется соотношение (2.2).
В заключение параграфа приведем ещё один результат, усиливающий контраст между классами правоупорядочиваемых групп и ре-шёточно упорядочиваемых групп. Этот результат даёт отрицательный ответ на вопрос 1.42 из обзора [5] и был получен после анализа примеров групп имеющих С-амальгамы, но не имеющих (-амальгам.
Предложение 4. ([13], пример 6.1) Существует частично упорядоченная группа, частичный порядок которой является пересечением её правых порядков и которая не допускает порядкового вложения ни в какую решёточно упорядоченную группу с сохранением существующих точных верхних и точных нижних граней.
6. Заключение
Алгоритмически, класс конечно определённых правоупорядочиваемых групп не менее богат, чем класс всех конечно определённых групп. То же самое наблюдается и в классе решёточно упорядочиваемых групп. Тем не менее, существует разительный контраст между этими двумя классами.
Нам мало что известно о классе конечно определённых линейно упорядочиваемых групп с алгоритмической точки зрения, также мы не имеем никаких аналогов теорем 6 и 7 для линейно упорядочиваемых групп. Исследования в этой области ставят перед нами новые задачи. Так, например, нам неизвестно
Существуют ли конечно определённые линейно упорядочиваемые группы с неразрешимой проблемой равенства слов ?
Список литературы
1. Блудов В. В. О свободном произведении правоупорядоченных групп с объединённой подгруппой / В. В. Блудов // Проблемы современной математики, Т. II : сб. тр. - Новосибирск : НИИ МИОО НГУ, 1966. - С. 30-35.
2. Виноградов А. А. О свободном произведении упорядоченных групп / А. А. Виноградов // Мат. Сб. — 1949. — Т. 25. — С. 163-168.
3. Кокорин А. И. Линейно упорядоченные группы / А. И. Кокорин, В. М. Копытов
— М. : Наука, 1972. — 200 с.
4. Копытов В. М. Правоупорядоченные группы / В. М. Копытов, Н. Я. Медведев
— Новосибирск : Научная книга, 1996. — 256 с.
5. Копытов В. М. Упорядоченные группы / В. М. Копытов, Н. Я. Медведев // Избранные вопросы алгебры. Сборник научных трудов памяти Н. Я. Медведева
— Барнаул : Алтайский гос. университет, 2007. — С. 15-112.
6. Линдон Р. Комбинаторная теория групп / Р. Линдон, П. Шупп — М. : Мир, 1980. — 448 с.
7. Aanderaa S. A proof of Higman’s Embedding Theorem using Britton extensions of groups / S. Aanderaa // Word Problems, Decision Problems, and the Burnside Problem (ed. W. W. Boone et al) — Amsterdam : North Holland, 1973. — P. 1-18.
8. Bergman G. M. Ordering coproducts of groups and semigroups / G. M. Bergman // J. Algebra — 1990. V. 133. — P. 313-339.
9. Bludov V.V. Automorphism groups of models of first order theories / V.V. Bludov, M. Giraudet, A. M. W. Glass and G. Sabbagh // Models, Modules and Abelian groups: In Memory of A. L. S. Corner (ed. R. Gobel and B. Goldsmith) — Berlin : W. de Gruyter, 2008. — P. 329-332.
10. V. V. Bludov V. V. Conjugacy in lattice-ordered and right orderable groups / V. V. Bludov and A. M. W. Glass // J. group Theory — 2008. V. 11. — P. 623-633.
11. Bludov V. V. Free products of right ordered groups with amalgamated subgroups / V. V. Bludov V. V. and A. M. W. Glass // Math. Proc. Cambridge Philosophical Soc. — 2009. V. 146. — P. 591-601.
12. Bludov V. V. Word problems, embeddings, and free products of right-ordered groups with amalgamated subgroup / V. V. Bludov and A. M. W. Glass // Proc. London Math. Soc. — 2009. doi: 10.1112/plms/pdp008. — P. 1-24.
13. Bludov V. V. Right orders and amalgamation for lattice-ordered groups / V. V. Bludov and A. M. W. Glass // Math. Slovakia (to appear).
14. Boone W. W. An algebraic characterization of the solvability of the word problem / W. W. Boone and G. Higman // J. Australian Math. Soc. — 1974. V. 18 — P. 41-53.
15. Britton J. L. The word problem / J. L. Britton // Annals of Math. — 1963. V. 77.
— P. 16-32.
16. Glass A. M. W. Partially Ordered groups / A. M. W. Glass — Singapore : World Scientific Pub. Co. : Series in Algebra, 1999. V. 7. — 308 p.
17. Glass A. M. W. Sublattice subgroups of finitely presented lattice-ordered groups / A. M. W. Glass // J. Algebra — 2006. V. 301. — P. 509-530.
18. Glass A. M. W. Finitely generated lattice-ordered groups with soluble word problem / A. M. W. Glass // J. group Theory — 2008. V. 11. — P. 1-21.
19. Glass A. M. W. The word problem for lattice-ordered groups / A. M. W. Glass and Y. Gurevich // Trans. American Math. Soc. — 1983. V. 280. — P. 127-138.
20. G. Higman G. Subgroups of finitely presented groups / G. Higman // Proc. Royal Soc. London : Ser. A — 1961. V. 262. — P. 455-475.
21. Holland W. C. The lattice-ordered group of automorphisms of an ordered set / W. C. Holland // Michigan Math. J. — 1963. V. 10. — P. 399-408.
22. Holland W. C. Free products of lattice-ordered groups / W. C. Holland and E. Scrimger // Algebra Universalis — 1972. V. 2. — P. 247-254.
23. Lemieux S. Conjugacy Problem: Open Questions and an Application / S. Lemieux // Ph.D. Thesis. — Edmonton : University of Alberta — 2004.
24. Linnell P. A. Left ordered groups with no non-abelian free subgroups / P. A. Linnell // J. group Theory — 2001. V. 4. — P. 153-168.
25. Pierce K. R. Amalgamations of lattice-ordered groups / K. R. Pierce // Trans. American Math. Soc. — 1972. V. 172. — P. 249-260.
V. V. Bludov, A. M. W. Glass
Groups and orderings: word problems, embeddings and amalgams (a survey of recent results).
Abstract. This paper contains the review of the results obtained by the authors in the last years in the theory of lattice-ordered and right-ordered groups.
Keywords: lattice-ordered group, amalgamation, free product with amalgamated subgroup, HNN-extension, right-orderable group, soluble word problem, recursively enumerable set.
Блудов Василий Васильевич, доктор физико-математических наук, профессор, Факультет математики, физики и информатики, ВосточноСибирская государственная академия образования, 664011, Иркутск, Нижняя набережная, 6, тел.: (3952)243345 и
Институт математики, экономики и информатики, Иркутский государственный университет, 664003, Иркутск, ул. К. Маркса, 1 тел.: (3952)242226
(vasily-bludov@yandex.ru)
Гласс Эндрю Мартин Уильям, доктор философии, профессор, Куинз Колледж, Кембридж, CB3 9ET, Великобритания и
Отдел чистой математики и математической статистики. Центр математических исследований Кембриджского университета. Уилберфорс роад, Кембридж, CB3 0WB, Великобритания.
(amwg@dpmms.cam.ac.uk)
Bludov Vasily, Department of Mathematics, Physics, and Informatics, East Siberian State Academy of Education, 6, Nizhnyaya naberezhnaya, Irkutsk, 664011 and
Irkutsk State University, 1, K. Marks St., Irkutsk, 664003
professor, Phone: (3952)243345 (vasily-bludov@yandex.ru)
Glass Andrew Martin Wiliam Queens’ College, Cambridge CB3 9ET, England and
Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences of Cambridge University, Wilberforce Rd., Cambridge CB3 0WB, England
Phd, professor, (amwg@dpmms .cam.ac.uk)
