HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, an Albert algebra is a 27-dimensional exceptional Jordan algebra. They are named after Abraham Adrian Albert, who pioneered the study of non-associative algebras, usually working over the
real numbers In mathematics, a real number is a number that can be used to measurement, measure a continuous variable, continuous one-dimensional quantity such as a time, duration or temperature. Here, ''continuous'' means that pairs of values can have arbi ...
. Over the real numbers, there are three such Jordan algebras
up to Two Mathematical object, mathematical objects and are called "equal up to an equivalence relation " * if and are related by , that is, * if holds, that is, * if the equivalence classes of and with respect to are equal. This figure of speech ...
isomorphism In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...
.Springer & Veldkamp (2000) 5.8, p.153 One of them, which was first mentioned by and studied by , is the set of 3×3
self-adjoint In mathematics, an element of a *-algebra is called self-adjoint if it is the same as its adjoint (i.e. a = a^*). Definition Let \mathcal be a *-algebra. An element a \in \mathcal is called self-adjoint if The set of self-adjoint elements ...
matrices over the octonions, equipped with the binary operation :x \circ y = \frac12 (x \cdot y + y \cdot x), where \cdot denotes matrix multiplication. Another is defined the same way, but using split octonions instead of octonions. The final is constructed from the non-split octonions using a different standard involution. Over any
algebraically closed field In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra ...
, there is just one Albert algebra, and its automorphism group ''G'' is the simple split group of type F4.Springer & Veldkamp (2000) 7.2 (For example, the complexifications of the three Albert algebras over the real numbers are isomorphic Albert algebras over the complex numbers.) Because of this, for a general field ''F'', the Albert algebras are classified by the
Galois cohomology In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group ''G'' associated with a field extension ''L''/''K'' acts in a na ...
group H1(''F'',''G'').Knus et al (1998) p.517Garibaldi, Petersson, Racine (2024), pp. 599, 600 The Kantor–Koecher–Tits construction applied to an Albert algebra gives a form of the E7 Lie algebra. The split Albert algebra is used in a construction of a 56-dimensional structurable algebra whose automorphism group has identity component the simply-connected algebraic group of type E6. The space of cohomological invariants of Albert algebras a field ''F'' (of characteristic not 2) with coefficients in Z/2Z is a
free module In mathematics, a free module is a module that has a ''basis'', that is, a generating set that is linearly independent. Every vector space is a free module, but, if the ring of the coefficients is not a division ring (not a field in the commu ...
over the cohomology ring of ''F'' with a basis 1, ''f''3, ''f''5, of degrees 0, 3, 5.Garibaldi, Merkurjev, Serre (2003), p.50 The cohomological invariants with 3-torsion coefficients have a basis 1, ''g''3 of degrees 0, 3.Garibaldi (2009), p.20 The invariants ''f''3 and ''g''3 are the primary components of the Rost invariant.


See also

* Euclidean Jordan algebra for the Jordan algebras considered by Jordan, von Neumann and Wigner * Euclidean Hurwitz algebra for details of the construction of the Albert algebra for the octonions


Notes


References

* * * * * * * *{{Citation , last1=Springer , first1=Tonny A. , author1-link=T. A. Springer , last2=Veldkamp , first2=Ferdinand D. , title=Octonions, Jordan algebras and exceptional groups , orig-year=1963 , url=https://books.google.com/books?isbn=3540663371 , publisher=
Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...
, location=Berlin, New York , series=Springer Monographs in Mathematics , isbn=978-3-540-66337-9 , year=2000 , mr=1763974


Further reading


''Albert algebra''
at
Encyclopedia of Mathematics The ''Encyclopedia of Mathematics'' (also ''EOM'' and formerly ''Encyclopaedia of Mathematics'') is a large reference work in mathematics. Overview The 2002 version contains more than 8,000 entries covering most areas of mathematics at a graduat ...
. Non-associative algebras