Jump to content

Циклически упорядоченная группа

В математике циклически упорядоченная группа это набор, имеющий как групповую структуру , так и циклический порядок , такой, что левое и правое умножение сохраняют циклический порядок.

Циклически упорядоченные группы впервые были подробно изучены Ладиславом Ригером в 1947 году. [1] Они являются обобщением циклических групп : бесконечной циклической группы Z и конечных циклических групп Z / n . Поскольку линейный порядок порождает циклический порядок, циклически упорядоченные группы также являются обобщением линейно упорядоченных групп : рациональные числа Q , действительные числа R и так далее. Некоторые из наиболее важных циклически упорядоченных групп не попадают ни в одну из предыдущих категорий: группа кругов T и ее подгруппы , такие как подгруппа рациональных точек .

Факторы линейных групп

[ редактировать ]

Циклически упорядоченные группы естественно изображать как факторы : Z n = Z / n Z и T = R / Z . Даже некогда линейную группу, такую ​​как Z , если согнуть в круг, можно рассматривать как Z. 2 / З. ​Ригер ( 1946 , 1947 , 1948 ) показал, что эта картина представляет собой родовое явление. Для любой упорядоченной группы L и любого центрального элемента z , который порождает конфинальную подгруппу Z группы L , факторгруппа L / Z является циклически упорядоченной группой. Более того, любая циклически упорядоченная группа может быть выражена как такая факторгруппа. [2]

Группа «Круг»

[ редактировать ]

Сверчковский (1959a) развивал результаты Ригера в другом направлении. Учитывая циклически упорядоченную группу K и упорядоченную группу L , произведение K × L является циклически упорядоченной группой. В частности, если T — круговая группа, а L — упорядоченная группа, то любая подгруппа T × L является циклически упорядоченной группой. Более того, каждая циклически упорядоченная группа может быть выражена как подгруппа такого произведения с T . [3]

По аналогии с архимедовой линейно упорядоченной группой можно определить архимедову циклически упорядоченную группу как группу, не содержащую ни одной пары элементов x , y таких, что [e, x н , y ] для каждого натурального числа n . [3] только положительные n Поскольку рассматриваются , это более сильное условие, чем его линейный аналог. Например, Z имеется [0, n , −1] больше не подходит, поскольку для каждого n .

Как следствие доказательства Сверчковского, каждая архимедова циклически упорядоченная группа является подгруппой T. самого [3] Этот результат аналогичен теореме Отто Гёльдера 1901 года о том, что каждая архимедова линейно упорядоченная группа является подгруппой R . [4]

Топология

[ редактировать ]

Каждая компактная циклически упорядоченная группа является подгруппой T .

[ редактировать ]

Глущанков (1993) показал, что определенная подкатегория циклически упорядоченных групп, «проектируемые Ic-группы со слабой единицей», эквивалентна определенной подкатегории MV-алгебр , «проектируемым MV-алгебрам». [5]

Примечания

[ редактировать ]
  • Глущанкоф, Дэниел (1993), «Циклические упорядоченные группы и MV-алгебры» (PDF) , Чехословацкий математический журнал , 43 (2): 249–263, номер документа : 10.21136/CMJ.1993.128391 , получено 30 апреля 2011 г.
  • Хофманн, Карл Х.; Лоусон, Джимми Д. (1996), «Обзор полностью упорядоченных полугрупп», Хофманн, Карл Х.; Мислов, Майкл В. (ред.), Теория полугрупп и ее приложения: материалы конференции 1994 г., посвященной работе Альфреда Х. Клиффорда , Серия лекций Лондонского математического общества, том. 231, Издательство Кембриджского университета, стр. 15–39, ISBN.  978-0-521-57669-7
  • Пецинова-Козакова, Элишка (2005), «Ладислав Сванте Ригер и его алгебраическая работа», в Сафранковой, Яне (редактор), WDS 2005 - Сборник статей, Часть I , Прага: Matfyzpress , стр. 190–197, CiteSeerX   10.1.1.90.2398 , ISBN  978-80-86732-59-6
  • Сверчковски, С. (1959a), «О циклически упорядоченных группах» (PDF) , Fundamenta Mathematicae , 47 (2): 161–166, doi : 10.4064/fm-47-2-161-166 , получено 2 мая 2011 г.

Дальнейшее чтение

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 02a2b431f037ffda3cd89aa873e10f6b__1709648520
URL1:https://arc.ask3.ru/arc/aa/02/6b/02a2b431f037ffda3cd89aa873e10f6b.html
Заголовок, (Title) документа по адресу, URL1:
Cyclically ordered group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)