Октонионная алгебра - Octonion algebra

В математика, октонионная алгебра или же Алгебра Кэли через поле F является алгебраическая структура который является 8-размерный композиционная алгебра над F. Другими словами, это единый неассоциативная алгебра А над F с невырожденный квадратичная форма N (называется форма нормы) такие, что

для всех Икс и у в А.

Самый известный пример алгебры октонионов - классическая октонионы, которые являются алгеброй октонионов над р, Поле действительные числа. В сплит-октонионы также образуют алгебру октонионов над р. Вплоть до р-алгебр изоморфизм, это единственные алгебры октонионов над вещественными числами. Алгебра биоктонионы является алгеброй октонионов над сложные числа C.

Алгебра октонионов для N это алгебра с делением тогда и только тогда, когда форма N является анизотропный. А расщепленная алгебра октонионов тот, для которого квадратичная форма N является изотропный (т.е. существует ненулевой вектор Икс с N(Икс) = 0). Вплоть до F-алгебра изоморфизм, существует единственная расщепленная алгебра октонионов над любым полем F.[1] Когда F является алгебраически замкнутый или конечное поле, это единственные алгебры октонионов над F.

Алгебры октонионов всегда неассоциативны. Однако они альтернативные алгебры, альтернативность является более слабой формой ассоциативности. Более того, Личности муфанг справедливо в любой алгебре октонионов. Отсюда следует, что обратимые элементы в любой алгебре октонионов образуют Петля муфанг, как и элементы единичной нормы.

Построение общих алгебр октонионов над произвольным полем k был описан Леонард Диксон в его книге Algebren und ihre Zahlentheorie (1927) (Seite 264) и повторяется Макс Зорн.[2] Продукт зависит от выбора γ из k. Данный q и Q из кватернионная алгебра над k, октонион записывается q + Qе. Другой октонион может быть написан р + ре. Тогда с *, обозначающим сопряжение в алгебре кватернионов, их произведение

Zorn’s немецкий язык описание этого Конструкция Кэли-Диксона способствовали постоянному использованию этого эпоним описывая строительство композиционные алгебры.

Н. Фьюри предположил, что алгебры октонионов могут быть использованы в попытке согласовать компоненты стандартная модель.[3]

Классификация

Это теорема Адольф Гурвиц что Fклассы -изоморфизма нормального вида находятся во взаимно однозначном соответствии с классами изоморфизма октониона F-алгебры. Более того, возможные формы нормы - это в точности Pfister 3-формы над F.[4]

Поскольку любые два октониона F-алгебры становятся изоморфными над алгебраическим замыканием Fможно применить идеи не-абелевский Когомологии Галуа. В частности, используя тот факт, что группа автоморфизмов расщепленных октонионов является расщепленным алгебраическая группа грамм2, видно соответствие классов изоморфизма октониона F-алгебры с классами изоморфизма группы G2-торсоры над F. Эти классы изоморфизма образуют множество неабелевых когомологий Галуа .[5]

Рекомендации

  1. ^ Шафер (1995) стр.48
  2. ^ Макс Зорн (1931) "Альтернативная и квадратичная система", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 9 (3/4): 395–402, см. 399
  3. ^ «Три поколения, две непрерывные калибровочные симметрии и одна восьмимерная алгебра». Письма по физике B. 785: 84–89. 10 октября 2018. Дои:10.1016 / j.physletb.2018.08.032. ISSN  0370-2693. Получено 15 октября 2020.
  4. ^ Лам (2005) стр. 327
  5. ^ Гарибальди, Меркурьев и Серр (2003), стр.9-10,44

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