В абстрактной алгебре йорданова алгебра — это неассоциативная алгебра над полем , умножение которой удовлетворяет следующим аксиомам:
Произведение двух элементов x и y в йордановой алгебре также обозначается x ∘ y , в частности, чтобы избежать путаницы с произведением родственной ассоциативной алгебры .
Аксиомы подразумевают [1] , что йорданова алгебра является ассоциативной по мощности , то есть это не зависит от того, как мы заключаем это выражение в скобки. Они также подразумевают [1] , что для всех положительных целых чисел m и n . Таким образом, мы можем эквивалентно определить йорданову алгебру как коммутативную, ассоциативную по мощности алгебру, такую, что для любого элемента все операции умножения на степени коммутируют.
Йордановы алгебры были введены Паскуалем Йорданом (1933) в попытке формализовать понятие алгебры наблюдаемых в квантовой электродинамике . Вскоре было показано, что алгебры бесполезны в этом контексте, однако с тех пор они нашли множество применений в математике. [2] Первоначально алгебры назывались «системами r-чисел», но были переименованы в «йордановы алгебры» Авраамом Адрианом Альбертом (1946), который начал систематическое изучение общих йордановых алгебр.
Сначала заметим, что ассоциативная алгебра является йордановой алгеброй тогда и только тогда, когда она коммутативна.
Для любой ассоциативной алгебры A (не характеристики 2) можно построить йорданову алгебру A + с помощью того же базового сложения и нового умножения — жорданова произведения , определяемого как:
Эти йордановы алгебры и их подалгебры называются специальными йордановыми алгебрами , тогда как все остальные являются исключительными йордановыми алгебрами . Эта конструкция аналогична алгебре Ли, связанной с A , произведение которой (скобка Ли) определяется коммутатором .
Теорема Ширшова -Кона утверждает, что любая йорданова алгебра с двумя образующими является специальной. [3] В связи с этим теорема Макдональда утверждает, что любой многочлен от трех переменных, имеющий степень один по одной из переменных и обращающийся в нуль в каждой специальной йордановой алгебре, обращается в нуль в каждой йордановой алгебре. [4]
Если ( A , σ ) — ассоциативная алгебра с инволюцией σ , то при σ ( x ) = x и σ ( y ) = y следует, что Таким образом, множество всех элементов, фиксируемых инволюцией (иногда называемых эрмитовыми элементами), образуют подалгебру алгебры A + , которую иногда обозначают H( A , σ ).
1. Множество самосопряженных действительных , комплексных или кватернионных матриц с умножением
образуют специальную йорданову алгебру.
2. Набор самосопряженных матриц 3×3 над октонионами , снова с умножением
является 27-мерной исключительной йордановой алгеброй (исключительной она является потому, что октонионы не ассоциативны). Это был первый пример алгебры Альберта . Ее группа автоморфизмов является исключительной группой Ли F 4 . Поскольку над комплексными числами это единственная простая исключительная йорданова алгебра с точностью до изоморфизма, [5] ее часто называют «исключительной йордановой алгеброй». Над действительными числами существует три класса изоморфизма простых исключительных йордановых алгебр. [5]
Вывод йордановой алгебры A — это эндоморфизм D алгебры A , такой что D ( xy ) = D ( x ) y + xD ( y ). Выводы образуют алгебру Ли der ( A ). Из тождества Жордана следует, что если x и y являются элементами A , то эндоморфизм, переводящий z в x ( yz ) − y ( xz ), является выводом. Таким образом, прямую сумму A и der ( A ) можно превратить в алгебру Ли, называемую структурной алгеброй A , str ( A ).
Простой пример — эрмитовы йордановы алгебры H( A , σ ). В этом случае любой элемент x из A с σ ( x )=− x определяет вывод. Во многих важных примерах структурная алгебра H( A , σ ) — это A .
Алгебры вывода и структуры также являются частью конструкции магического квадрата Фрейденталя, разработанной Титсом .
Алгебра (возможно, неассоциативная) над действительными числами называется формально действительной , если она удовлетворяет свойству, что сумма n квадратов может исчезнуть, только если каждый из них исчезнет по отдельности. В 1932 году Джордан попытался аксиоматизировать квантовую теорию, заявив, что алгебра наблюдаемых любой квантовой системы должна быть формально действительной алгеброй, которая является коммутативной ( xy = yx ) и ассоциативной по степеням (ассоциативный закон выполняется для произведений, включающих только x , так что степени любого элемента x определяются однозначно). Он доказал, что любая такая алгебра является йордановой алгеброй.
Не каждая йорданова алгебра формально действительна, но Йордан, фон Нейман и Вигнер (1934) классифицировали конечномерные формально действительные йордановы алгебры, также называемые евклидовыми йордановыми алгебрами . Каждая формально действительная йорданова алгебра может быть записана как прямая сумма так называемых простых , которые сами по себе не являются прямыми суммами нетривиальным образом. В конечных измерениях простые формально действительные йордановы алгебры делятся на четыре бесконечных семейства, вместе с одним исключительным случаем:
Из этих возможностей, пока что, по-видимому, природа использует только комплексные матрицы n × n в качестве алгебр наблюдаемых. Однако спиновые факторы играют роль в специальной теории относительности , и все формально реальные йордановы алгебры связаны с проективной геометрией .
Если e — идемпотент в йордановой алгебре A ( e 2 = e ), а R — операция умножения на e , то
поэтому единственными собственными значениями R являются 0, 1/2, 1. Если йорданова алгебра A конечномерна над полем характеристики, отличной от 2, это означает, что она является прямой суммой подпространств A = A 0 ( e ) ⊕ A 1/2 ( e ) ⊕ A 1 ( e ) трех собственных пространств. Это разложение было впервые рассмотрено Йорданом, фон Нейманом и Вигнером (1934) для полностью вещественных йордановых алгебр. Позднее оно было изучено в полной общности Альбертом (1947) и названо разложением Пирса для A относительно идемпотента e . [6]
В 1979 году Ефим Зельманов классифицировал бесконечномерные простые (и простые невырожденные) йордановы алгебры. Они бывают либо эрмитового, либо клиффордова типа. В частности, единственными исключительными простыми йордановыми алгебрами являются конечномерные алгебры Альберта , имеющие размерность 27.
Теория операторных алгебр была расширена и теперь охватывает йордановы операторные алгебры .
Аналогами C*-алгебр являются алгебры JB, которые в конечных размерностях называются евклидовыми йордановыми алгебрами . Норма на вещественной йордановой алгебре должна быть полной и удовлетворять аксиомам:
Эти аксиомы гарантируют, что йорданова алгебра формально действительна, так что если сумма квадратов членов равна нулю, эти члены должны быть равны нулю. Комплексификации йордановых алгебр называются йордановыми C*-алгебрами или JB*-алгебрами. Они широко использовались в комплексной геометрии для расширения йордановой алгебраической обработки Кёхера ограниченных симметричных областей до бесконечных измерений. Не все йордановы алгебры могут быть реализованы как йордановы алгебры самосопряженных операторов в гильбертовом пространстве, точно так же, как в конечных измерениях. Исключительная алгебра Альберта является общим препятствием.
Аналог йордановой алгебры алгебр фон Неймана играют алгебры JBW. Они оказываются алгебрами JB, которые, как банаховы пространства, являются дуальными пространствами банаховых пространств. Большая часть структурной теории алгебр фон Неймана может быть перенесена на алгебры JBW. В частности, факторы JBW — те, центр которых сведен к R — полностью понятны в терминах алгебр фон Неймана. За исключением исключительной алгебры Альберта , все факторы JWB могут быть реализованы как йордановы алгебры самосопряженных операторов в гильбертовом пространстве, замкнутом в слабой операторной топологии . Из них спиновые факторы могут быть очень просто построены из действительных гильбертовых пространств. Все другие факторы JWB являются либо самосопряженной частью фактора фон Неймана , либо его подалгеброй неподвижной точки относительно периода 2 *-антиавтоморфизма фактора фон Неймана. [7]
Йорданово кольцо — это обобщение йордановых алгебр, требующее только, чтобы йорданово кольцо было над общим кольцом, а не над полем. Альтернативно можно определить йорданово кольцо как коммутативное неассоциативное кольцо , которое соблюдает тождество Жордана.
Йордановы супералгебры были введены Кацем, Кантором и Капланским; это -градуированные алгебры , где — йорданова алгебра и имеет «подобное Ли» произведение со значениями в . [8]
Любая -градуированная ассоциативная алгебра становится йордановой супералгеброй относительно градуированной йордановой скобки
Йордановы простые супералгебры над алгебраически замкнутым полем характеристики 0 были классифицированы Кацем (1977). Они включают несколько семейств и некоторые исключительные алгебры, в частности и .
Понятие J-структуры было введено Спрингером (1998) для разработки теории йордановых алгебр с использованием линейных алгебраических групп и аксиом, принимая инверсию Жордана как базовую операцию и тождество Хуа как базовое отношение. В характеристике, не равной 2, теория J-структур по сути та же самая, что и теория йордановых алгебр.
Квадратичные йордановы алгебры являются обобщением (линейных) йордановых алгебр, введенных Кевином Маккриммоном (1966). Фундаментальные тождества квадратичного представления линейной йордановой алгебры используются в качестве аксиом для определения квадратичной йордановой алгебры над полем произвольной характеристики. Существует единообразное описание конечномерных простых квадратичных йордановых алгебр, независимое от характеристики: в характеристике, не равной 2, теория квадратичных йордановых алгебр сводится к теории линейных йордановых алгебр.