WikiDer > Петля муфанг

Moufang loop

В математика, а Петля муфанг особый вид алгебраическая структура. Это похоже на группа разными способами, но не обязательно ассоциативный. Петли Муфанг были представлены Рут Муфанг (1935). Гладкие петли Муфанг имеют связанную алгебру, Алгебра мальцева, в некотором роде похожий на то, как Группа Ли имеет связанный Алгебра Ли.

Определение

А Петля муфанг это петля Q который удовлетворяет четырем следующим идентичности для всех Икс, у, z в Q (бинарная операция в Q обозначается сопоставлением):

z(Икс(зы)) = ((zx)z)у;
Икс(z(yz)) = ((xz)у)z
(zx)(yz) = (z(ху))z
(zx)(yz) = z((ху)z).

Эти личности известны как Личности муфанг.

Примеры

Любой группа ассоциативная петля и, следовательно, петля Муфанг.
Ненулевой октонионы образуют неассоциативную петлю Муфанг при умножении октонионов.
Подмножество октонионов единичной нормы (образующих 7-сфера в О) замкнута относительно умножения и поэтому образует петлю Муфанг.
Подмножество целочисленных октонионов с единичной нормой представляет собой конечную петлю Муфанг порядка 240.
Базисные октонионы и их аддитивные инверсии образуют конечную петлю Муфанг порядка 16.
Набор обратимых сплит-октонионы образует неассоциативную петлю Муфанг, как и набор разделенных октонионов единичной нормы. В общем, набор обратимых элементов в любом октонионная алгебра через поле F образует петлю Муфанг, как и подмножество элементов единичной нормы.
Набор всех обратимых элементов в альтернативное кольцо р образует петлю Муфанг, называемую петля единиц в р.
Для любого поля F позволять M(F) обозначают лупу Муфанг элементов единичной нормы в (единственной) алгебре расщепленных октонионов над F. Позволять Z обозначим центр M(F). Если характеристика из F 2 тогда Z = {е}, иначе Z = {±е}. В Петля Пейдж над F это петля M*(F) = M(F)/Z. Петли Пейджа - это неассоциативные простые петли Муфанг. Все конечный неассоциативные простые петли Муфанг - это петли Пейджа над конечные поля. Самая маленькая петля Пейдж M* (2) имеет порядок 120.
Большой класс неассоциативных петель Муфанг можно построить следующим образом. Позволять грамм - произвольная группа. Определите новый элемент ты не в грамм и разреши M(грамм,2) = грамм ∪ (G u). Продукт в M(грамм, 2) дается обычным произведением элементов в грамм вместе с
${ Displaystyle (гу) ч = (гх ^ {- 1}) и}$
${ displaystyle g (hu) = (hg) u}$
${ Displaystyle (гу) (ху) = ч ^ {- 1} г.}$

Следует, что

{ displaystyle u ^ {2} = 1}

и

{ displaystyle ug = g ^ {- 1} u}

. С указанным выше продуктом M(грамм, 2) - петля Муфанг. Ассоциативный если и только если грамм абелева.

Наименьшая неассоциативная петля Муфанг - это M(S₃, 2) который имеет порядок 12.
Ричард А. Паркер построил лупу Муфанг порядка 2¹³, который был использован Конвеем при построении группа монстров. Лупа Паркера имеет центр порядка 2 с элементами, обозначенными 1, −1, а фактор по центру является элементарной абелевой группой порядка 2¹², отождествляемые с двоичный код Голея. Тогда петля определяется с точностью до изоморфизма уравнениями
А² = (−1)^|А|/4
BA = (−1)^|А∩B|/2AB
А(до н.э)= (−1)^|А∩B∩C|(AB)C

где |А| это количество элементов кодового слова А, и так далее. Для получения более подробной информации см. Conway, J. H .; Curtis, R.T .; Norton, S.P .; Parker, R.A .; и Уилсон, Р. А .: Атлас конечных групп: максимальные подгруппы и обыкновенные характеры простых групп. Оксфорд, Англия.

Характеристики

Ассоциативность

Петли Муфанг отличаются от групп тем, что в них нет необходимости. ассоциативный. Ассоциативная петля Муфанг представляет собой группу. Тождества Муфанг можно рассматривать как более слабые формы ассоциативности.

Устанавливая различные элементы идентичности, идентичность Муфанг подразумевает

Икс(ху) = (хх)у левая альтернатива личность
(ху)у = Икс(гг) правильная альтернатива личность
Икс(yx) = (ху)Икс гибкая идентичность (см. гибкая алгебра).

Теорема Муфанг утверждает, что когда три элемента Икс, у, и z в петле Муфанг подчиняются ассоциативному закону: (ху)z = Икс(yz) тогда они генерируют ассоциативную подпетлю; то есть группа. Следствием этого является то, что все петли Муфанг диассоциативный (т. е. подцикл, порожденный любыми двумя элементами цикла Муфанг, ассоциативен и, следовательно, является группой). В частности, петли Муфанг ассоциативный, так что показатели Икс^п четко определены. При работе с циклами Муфанга круглые скобки обычно опускаются в выражениях, содержащих только два различных элемента. Например, тождества Муфанга можно однозначно записать как

z(Икс(зы)) = (zxz)у
((xz)у)z = Икс(зыз)
(zx)(yz) = z(ху)z.

Левое и правое умножение

Тождества Муфанг могут быть записаны в терминах левого и правого операторов умножения на Q. Первые две идентичности утверждают, что

${ Displaystyle L_ {z} L_ {x} L_ {z} (y) = L_ {zxz} (y)}$
${ Displaystyle R_ {z} R_ {y} R_ {z} (x) = R_ {zyz} (x)}$

в то время как третья личность говорит

${ Displaystyle L_ {z} (х) R_ {z} (y) = B_ {z} (ху)}$

для всех ${ displaystyle x, y, z}$ в ${ displaystyle Q}$ . Здесь ${ Displaystyle B_ {z} = L_ {z} R_ {z} = R_ {z} L_ {z}}$ является бимумножением на ${ displaystyle z}$ . Таким образом, третье тождество Муфанг эквивалентно утверждению, что тройка ${ displaystyle (L_ {z}, R_ {z}, B_ {z})}$ является автотопия из ${ displaystyle Q}$ для всех ${ displaystyle z}$ в ${ displaystyle Q}$ .

Обратные свойства

Все петли Moufang имеют обратное свойство, что означает, что каждый элемент Икс имеет двусторонний обратный Икс⁻¹ который удовлетворяет тождествам:

{ Displaystyle х ^ {- 1} (ху) = у = (ух) х ^ {- 1}}

для всех Икс и у. Следует, что ${ Displaystyle (ху) ^ {- 1} = у ^ {- 1} х ^ {- 1}}$ и ${ Displaystyle х (yz) = е}$ если и только если ${ Displaystyle (ху) г = е}$ .

Петли Муфанг универсальны среди петель с обратными свойствами; то есть петля Q является петлей Муфанг тогда и только тогда, когда каждый петлевой изотоп из Q обладает обратным свойством. Из этого следует, что каждый изотоп петли петли Муфанг является петлей Муфанг.

Можно использовать инверсии, чтобы переписать левую и правую идентичности Муфанга в более удобной форме:

${ Displaystyle (ху) z = (xz ^ {- 1}) (zyz)}$
${ displaystyle x (yz) = (xyx) (x ^ {- 1} z).}$

Свойство Лагранжа

Конечный цикл Q говорят, что имеет Свойство Лагранжа если порядок каждого подцикла Q делит порядок Q. Теорема Лагранжа в теории групп утверждает, что каждая конечная группа обладает свойством Лагранжа. В течение многих лет оставался открытым вопрос, обладают ли конечные лупы Муфанг свойством Лагранжа. Вопрос был окончательно решен Александром Гришковым и Андреем Заварницыным и независимо Стивеном Гаголой III и Джонатаном Холлом в 2003 году: каждая конечная петля Муфанг действительно обладает свойством Лагранжа. В последние годы Стивен Гагола III обобщил новые результаты по теории конечных групп на лупы Муфанг.

Квазигруппы Муфанг

Любой квазигруппа удовлетворяющая одному из тождеств Муфанга, на самом деле должна иметь элемент идентичности и, следовательно, быть петлей Муфанг. Мы приводим здесь доказательство третьего тождества:

Позволять а быть любым элементом Q, и разреши е - единственный элемент такой, что ае = а.

Тогда для любого Икс в Q, (ха)Икс = (Икс(ае))Икс = (ха)(бывший).

Отмена дает Икс = бывший так что е левый тождественный элемент.

Теперь для любого у в Q, вы = (эй)(ее) =(е(вы))е = (вы)е.

Отмена дает у = вы, так е также является правильным элементом идентичности.

Следовательно, е является двусторонним элементом идентичности.

Доказательства первых двух тождеств несколько сложнее (Kunen 1996).

Открытые проблемы

Проблема Филлипса - открытая проблема теории, представленной Дж. Д. Филлипсом на конференции Loops '03 в Праге. Он спрашивает, существует ли конечная петля Муфанг нечетного порядка с тривиальным ядро.

Напомним, что ядро петля (или, в более общем смысле, квазигруппа) - это набор ${ displaystyle x}$ такой, что ${ Displaystyle х (yz) = (ху) z}$ , ${ Displaystyle у (xz) = (yx) z}$ и ${ Displaystyle у (zx) = (yz) x}$ держать для всех ${ displaystyle y, z}$ в петле.

Смотрите также

внешняя ссылка

Пакет LOOPS для GAP В этом пакете есть библиотека, содержащая все неассоциативные циклы Муфанга порядков до 81 включительно.
«Петля Муфанг». PlanetMath.

Navigation