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
:
where
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 H
1(''F'',''G'').
[Knus et al (1998) p.517][Garibaldi, 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