Упорядоченная группа
Упорядоченная группа — группа, для всех элементов которой определён линейный порядок, согласованный с групповой операцией. Вообще говоря, группа может быть не коммутативной.
Теория упорядоченных групп объединяет методы теории групп и теории порядка, является разделом абстрактной алгебры и проникает в теорию одномерных динамических систем.
Коммутативная упорядоченная группа
[править | править код]Далее в этом разделе группа считается аддитивной, то есть групповая операция обозначается как сложение, ноль группы обозначается символом .
Определение
[править | править код]Пусть — коммутативная группа и для её элементов определён линейный порядок, то есть задано отношение (меньше или равно) со следующими свойствами:
- Рефлексивность: .
- Транзитивность: если и , то .
- Антисимметричность: если и , то .
- Линейность: все элементы группы сравнимы между собой, то есть для любых либо , либо .
Кроме того, потребуем, чтобы порядок был согласован с групповой операцией:
- Если , то для любого z справедливы соотношения:
Если все пять аксиом выполнены, то группа называется упорядоченной (или линейно упорядоченной). Если снять требование линейности (аксиома 4), то группа называется частично упорядоченной.
Упорядоченная группа является топологической группой с топологией интервального типа[1].
Связанные определения
[править | править код]Для удобства записи вводятся дополнительные вторичные отношения:
- Отношение больше или равно: означает, что .
- Отношение больше: означает, что и .
- Отношение меньше: означает, что .
Формула с любым из этих четырёх отношений называется неравенством.
Назовём изоморфизм упорядоченных групп у-изоморфизмом, если он сохраняет порядок.
Подгруппа упорядоченной группы называется выпуклой, если все элементы , находящиеся между элементами принадлежат Формальная запись: если и то Подгруппа из одного нуля, очевидно, выпукла и называется тривиальной.
Свойства
[править | править код]Неравенства с одинаковыми типами отношения можно складывать[2], например:
- Если и то
Нетривиальная конечная группа не может быть упорядочена[3]. Другими словами, нетривиальная упорядоченная группа всегда бесконечна.
Архимедовость
[править | править код]Порядок в группе называется архимедовым, если для любых и найдётся такое натуральное что:
Теорема Гёльдера. Всякая архимедова упорядоченная группа у-изоморфна подгруппе аддитивной группы вещественных чисел (с обычным порядком); в частности, такая группа всегда коммутативна[4].
Следствие 1: всякий у-автоморфизм двух подгрупп аддитивной группы вещественных чисел сводится к растяжению, то есть к умножению на фиксированный коэффициент[4].
Следствие 2: группа у-автоморфизмов архимедовой группы изоморфна подгруппе мультипликативной группы положительных вещественных чисел[4].
Ещё один критерий архимедовости: упорядоченная группа является архимедовой тогда и только тогда, когда она не содержит нетривиальных выпуклых подгрупп[1].
Положительные и отрицательные элементы
[править | править код]Элементы, бо́льшие нуля группы, называются положительными, а меньшие нуля — отрицательными. При добавлении нуля к этим двум множествам получаются соответственно множество неотрицательных и неположительных элементов. Если то, прибавив получим, что Это значит, что элементы, обратные неотрицательным, неположительны, и обратно. Таким образом, всякий элемент упорядоченной группы относится к одной и только одной из трёх категорий: положительные, отрицательные, ноль.
Обозначим множество неотрицательных элементов. Тогда то есть множество элементов, противоположных элементам содержит все неположительные элементы. Перечислим свойства этих множеств[5][1].
- (P1) замкнуто относительно сложения.
- (P2) имеет с ровно один общий элемент — ноль группы:
- (P3) для любого
- (P4)
Конструктивное построение порядка
[править | править код]Один из способов определить в произвольной группе линейный порядок — выделить в ней подмножество неотрицательных чисел P, обладающее перечисленными выше свойствами [P1—P4].
Пусть такое выделено. Определим линейный порядок в следующим образом[5]:
- , если (отметим, что из свойства (P3) следует, что если то и даже если группа не коммутативна).
Все приведенные выше аксиомы порядка тогда выполнены. Любая упорядоченная группа может быть построена (из неупорядоченной) с помощью описанной процедуры[5].
Абсолютная величина
[править | править код]Определим абсолютную величину элементов группы: Здесь функция осуществляет выбор наибольшего значения.
Свойства абсолютной величины[6]:
- тогда и только тогда, когда
- Для всех ненулевых и только для них
- Абсолютные величины противоположных чисел совпадают:
- Неравенство треугольника:
- равносильно
Примеры
[править | править код]- Аддитивная группа целых, рациональных или вещественных чисел с обычным порядком.
- Мультипликативная группа положительных вещественных чисел с обычным порядком.
- Рассмотрим аддитивную группу вещественных многочленов Определим в ней множество неотрицательных элементов как множество многочленов, в указанной записи которых первый ненулевой коэффициент положителен. Тогда порождённый порядок определяет упорядоченную коммутативную группу[7].
- Определим в аддитивной группе всех комплексных чисел множество неотрицательных элементов следующим образом: если либо либо Другими словами, из двух комплексных чисел больше то, у которого больше вещественная часть, а в случае совпадения — то, у которого больше мнимая часть. Тогда порождённый порядок превращает в упорядоченную коммутативную группу с неархимедовым порядком[8]. В ней, например, причём сумма любого количества всегда меньше 1, так что мнимая единица при таком порядке выступает как бесконечно малая по отношению к единице. Описанный порядок согласован с порядком вещественных чисел и со сложением комплексных чисел, но не согласован с умножением: умножив на неравенство мы получим ошибочное неравенство . Доказано, что согласовать обе операции, то есть сделать комплексные числа упорядоченным полем, нельзя.
Некоммутативная группа
[править | править код]Для некоммутативной группы определение порядка следующее.
Частичный порядок на группе называется
- правоинвариантным, если для любых из следует ,
- левоинвариантным, если для любых из следует ,
- двусторонне инвариантным, если он является и правоинвариантным, и левоинвариантным.
Группа называется правоупорядочиваемой или левоупорядочиваемой, если на ней можно ввести, соответственно, правоинвариантный или левоинвариантный линейный порядок. А если на группе можно ввести двусторонне инвариантный линейный порядок, то её называют двусторонне упорядочиваемой, линейно упорядочиваемой или просто упорядочиваемой[9]. В случае абелевых групп данные понятия совпадают.
Группа правоупорядочиваема тогда и только тогда, когда она левоупорядочиваема. А именно, порядок является правоинвариантным тогда и только тогда, когда порядок , заданный по правилу , является левоинвариантным. Таким образом, для установления общих свойств упорядоченных групп достаточно рассматривать только правоинвариантные порядки. При этом существуют группы, являющиеся правоупорядочиваемыми, но не двусторонне упорядочиваемыми. Например, группы кос.
Также в литературе рассматривают различные ослабления вышеуказанных свойств. Например, ослабление требования линейности порядка приводит к понятию частично упорядоченной группы.
Примечания
[править | править код]- ↑ 1 2 3 Математическая энциклопедия, 1982.
- ↑ Нечаев, 1975, с. 85, теорема 5.2.1.
- ↑ Нечаев, 1975, с. 87, теорема 5.2.6.
- ↑ 1 2 3 Кокорин, Копытов, 1972, с. 27—28.
- ↑ 1 2 3 Фукс, 1965, с. 25—26.
- ↑ Бурбаки, 1965, с. 253—255.
- ↑ Кокорин, Копытов, 1972, с. 13.
- ↑ Фукс, 1965, с. 29.
- ↑ Копытов и Медведев, 1996.
Литература
[править | править код]- Бурбаки Н. Алгебра. Многочлены и поля. Упорядоченные группы. — М.: Наука, 1965. — 300 с..
- Кокорин А. И., Копытов В. М. Линейно упорядоченные группы. — М.: Наука, 1972. — 343 с.
- Копытов В. М., Медведев Н. Я.. Правоупорядоченные группы . — Новосибирск: Научная книга, 1996. — 256 с. — ISBN 588119005X.
- Линейно упорядоченная группа // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3. — С. 322.
- Нечаев В. И. Числовые системы. — М.: Просвещение, 1975. — 199 с.
- Фукс Л. Частично упорядоченные алгебраические системы. — М.: Мир, 1965. — 343 с.