Кіріспе

1=Қажетті түрде ассоциативтік коммутативтік алгебраға сәйкес келмейді (xy)x²=x(yx²)

Абстрактілік алгебрада Джордан алгебрасы – көбейтуі келесі аксиомаларды қанағаттандыратын өріс үстіндегі ассоциативтік емес алгебра:

(коммутативтік заң)
(Жордан тождестігі). Джордан алгебрасындағы x және y элементтерінің көбейтіндісі x ∘ y деп те белгіленеді, әсіресе байланысты ассоциативтік алгебраның көбейтіндісімен шатасуды болдырмау үшін. Аксиомалар Джордан алгебрасы қуат бойынша ассоциативті екенін білдіреді, яғни бұл өрнекті қалай жақшаға қоюдан тәуелсіз. Алгебралар бастапқыда "r сандық жүйелер" деп аталды, бірақ оларды жалпы Джордан алгебраларын жүйелі түрде зерттеуді бастаған П.Джордан "Джордан алгебралары" деп атады.

Гермиттік Иордания алгебрасы

Егер (A, σ) инволюциясы σ болатын ассоциативтік алгебра болса, онда егер σ(x) = x және σ(y) = y болса, онда мынаны білеміз: Осылайша, инволюциямен өзгермейтін барлық элементтердің жиыны (кейде гермиттік элементтер деп аталады) A+ субальгебрасын құрайды, бұл кейде H(A,σ деп белгіленеді.

Мысалдар

1. Өзін-өзі қосатын нақты, кешенді немесе кватерниондық матрицалардың жиыны көбейту арқылы ерекше Джордан алгебрасын құрайды. 2. Октониондардағы 3×3 өзін-өзі қосатын матрицалар жиыны, қайтадан көбейту арқылы 27 өлшемді, ерекше Джордан алгебрасы болып табылады (октониондардың ассоциативті еместігіне байланысты ерекше). Бұл Альберт алгебрасының алғашқы мысалы. Оның автоморфизм тобы ерекше Лай тобы F4 болып табылады. Кешенді сандар бойынша изоморфизмге дейін жалғыз қарапайым ерекше Джордан алгебрасы болғандықтан,

Деривациялар мен құрылым алгебрасы

Джордан алгебрасының туындысы – A алгебрасының D эндоморфизмі, онда 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) = −x болса, кез келген x элементі A-ның туындысын анықтайды. Көптеген маңызды мысалдарда H(A,σ) құрылымдық алгебрасы A болып табылады. Туынды және құрылымдық алгебралар Фрейдентальдың сиқырлы квадратын құрудағы Титстің құрамына да кіреді.

Шексіз өлшемді Джордан алгебралары

1979 жылы Ефим Зельманов шексіз өлшемді қарапайым (және бұрыштас емес) Жордан алгебраларын жіктеді. Олар Гермит немесе Клиффорд типті болады. Атап айтқанда, ерекше қарапайым Жордан алгебраларының жалғызы – 27 өлшемді Альберт алгебрасы.

Джордан операторының алгебрасы

Операторлық алгебралар теориясы Джордан операторлық алгебраларын қамтуға дейін кеңейтілді. C* алгебраларына сәйкес келетін алгебралар JB алгебралары болып табылады, ал шекті өлшемдерде олар Евклидтік Джордан алгебралары деп аталады. Нақты Джордан алгебрасындағы норма толық болуы керек және келесі аксиомаларды қанағаттандыруы керек: Бұл аксиомалар Джордан алгебрасының формальды түрде нақты екенін кепілдейді, яғни, егер мүшелердің квадраттарының қосындысы нөлге тең болса, онда олардың әрқайсысы нөлге тең болуы керек. JB алгебраларының кешендік кеңейтімдері Джордан C* алгебралары немесе JB* алгебралары деп аталады. Олар шектелген симметриялық домендерді Кехердің Джордан алгебралық тәсілімен шексіз өлшемдерге дейін кеңейту үшін күрделі геометрияда кеңінен қолданылады. Барлық JB алгебраларын Гильберт кеңістігіндегі өзін-өзі қосатын операторлардың Джордан алгебралары ретінде жүзеге асыру мүмкін емес, дәл шекті өлшемдердегідей. Мұның негізгі себебі – ерекше Альберт алгебрасы. Фон Нейман алгебраларының Джордан алгебралық аналогы JBW алгебралары болып табылады. Бұл JB алгебралары болып шығады, олар Банах кеңістіктері ретінде Банах кеңістіктерінің дуалды кеңістіктері болып табылады. Фон Нейман алгебраларының құрылымдық теориясының көп бөлігі JBW алгебраларына көшірілуі мүмкін. Атап айтқанда, ортасы R-ге дейін қысқартылған JBW факторлары Фон Нейман алгебралары тұрғысынан толыққанды түсіндірілген. Ерекше Альберт алгебрасынан басқа, барлық JWB факторларын әлсіз операторлық топологияда жабық Гильберт кеңістігіндегі өзін-өзі қосатын операторлардың Джордан алгебралары ретінде жүзеге асыруға болады. Олардың ішінде спин факторларын нақты Гильберт кеңістіктерінен өте қарапайым түрде құрастыруға болады. Қалған барлық JWB факторлары Фон Нейман факторларының өзін-өзі қосатын бөлігі немесе Фон Нейман факторларының 2-реттік антиавтоморфизмі бойынша оның тұрақты нүктелік субальгебрасы болып табылады.

Иордания сақиналары

Джордан сақинасы — Джордан алгебраларының жалпылама түрі, ол үшін Джордан сақинасының өріс емес, жалпы сақинаның үстінде болуы талап етіледі. Басқаша айтқанда, Джордан сақинасын Джордан тождестігін сақтайтын коммутативті, ассоциативті емес сақина деп анықтауға болады.

J-құрылыстар

J құрылымы туралы түсінік, Иордания алгебраларының теориясын сызықтық алгебралық топтар мен аксиомалар арқылы дамыту мақсатында енгізілді, онда Иордания инверсиясы негізгі операция, ал Хуаның өзіндігі (тождествосы) негізгі қатынас ретінде қарастырылды. Егер сипаттамасы 2-ге тең болмаса, J құрылымдарының теориясы Иордания алгебраларының теориясымен шамалас болады.

Квадраттық Джордан алгебралары

Квадраттық Джордан алгебралары – (сызықтық) Джордан алгебраларының жалпылауы болып табылады. Сызықтық Джордан алгебрасының квадраттық өрнектеуінің негізгі теңдіктері, кез келген сипаттамалы өріс үстіндегі квадраттық Джордан алгебрасын анықтау үшін аксиомалар ретінде пайдаланылады. Шешілмейтін, шекті өлшемді қарапайым квадраттық Джордан алгебраларының біртұтас сипаттамасы бар: егер сипаттамасы 2-ге тең болмаса, квадраттық Джордан алгебраларының теориясы сызықтық Джордан алгебраларының теориясына дейін тоғысып келеді.