Algebra Octonion - Octonion algebra

W matematyce An Algebra oktawy cayleya lub Cayley Algebra na pole F jest algebraiczna struktura , która jest 8 trójwymiarowy kompozycja Algebra przez F . Innymi słowy, jest to jednowymiarowa algebra asocjacyjna A nad F z niezdegenerowaną formą kwadratową N (zwaną formą norm ) taką, że

dla wszystkich x i y w A .

Najbardziej znanym przykładem algebry oktonionowej są klasyczne oktoniony , które są algebrą oktonionową nad R , ciałem liczb rzeczywistych . Te dzielone-octonions również tworzą algebraiczne oktawy cayleya nad R . Aż do izomorfizmu R -algebry , są to jedyne algebry oktonionowe nad liczbami rzeczywistymi. Algebra z bioctonions jest Algebra oktawy cayleya na liczbach zespolonych C .

Algebra oktonionowa dla N jest algebrą dzielenia wtedy i tylko wtedy, gdy forma N jest anizotropowa . Podzielonego oktawy cayleya Algebra jest taki, którego forma kwadratowa N jest izotropowy (to znaczy istnieje niezerowy wektor X z N ( x ) = 0). Do F -algebrze izomorfizmu, istnieje unikalna Podział oktawy cayleya algebra na dowolne pole F . Gdy F jest algebraicznie zamknięty lub pole skończony , są to jedyne oktawy cayleya algebry nad F .

Algebry oktonionowe są zawsze niezespolone. Są to jednak algebry alternatywne, a alternatywność jest słabszą formą asocjatywności. Co więcej, tożsamości Moufanga są utrzymywane w każdej algebrze oktonionowej. Wynika z tego, że elementy odwracalne w dowolnej algebrze oktonionowej tworzą pętlę Moufanga , podobnie jak elementy normy jednostkowej.

Konstrukcja ogólnych algebr oktonionowych na dowolnym polu k została opisana przez Leonarda Dicksona w jego książce Algebren und ihre Zahlentheorie (1927) (strona 264) i powtórzona przez Maxa Zorna . Iloczyn zależy od doboru a γ od k . Biorąc pod uwagę q i Q z algebry kwaternionów nad k , oktonion jest zapisywany q + Q e. Inny oktonion można zapisać r + R e. Następnie z * oznaczającym koniugację w algebrze quaternion, ich iloczyn jest

Opis tej konstrukcji Cayley-Dickson w języku niemieckim Zorna przyczynił się do uporczywego używania tego eponimu do opisu konstrukcji algebr kompozycji .

N. Furey zasugerował , że algebry oktonionowe mogą być wykorzystywane do próby uzgodnienia składników modelu standardowego .

Klasyfikacja

Twierdzeniem Adolfa Hurwitza jest, że klasy F- izomorfizmu postaci normalnej są w relacji jeden do jednego z klasami izomorfizmu oktonionowych F -algebr. Ponadto, możliwe formy norma są dokładnie Pfister 3-formy nad F .

Ponieważ każde dwie oktawy cayleya F -algebras stać izomorficzna nad algebraicznych zamknięcia F , można zastosować idee nie- abelowa Galois cohomology . W szczególności, wykorzystując fakt, że grupa automorfizmem z octonions podzielone jest podzielone algebraiczna grupa G 2 , widać korespondencji klas izomorfizm oktawy cayleya F -algebras z klas Izomorfizm G 2 - torsors ponad F . Te klasy izomorfizmu tworzą nieabelowy zbiór kohomologii Galois .

Bibliografia

Linki zewnętrzne