In mathematics, specifically in abstract algebra, power associativity is a property of a binary operation that is a weak form of associativity.
In mathematics, a principal homogeneous space, or torsor, for a group G is a homogeneous space X for G in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group G is a non-empty set X on which G acts freely and transitively . An analogous definition holds in other categories, where, for example,
In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms:
- .
In mathematics, a Severi–Brauer variety over a field K is an algebraic variety V which becomes isomorphic to a projective space over an algebraic closure of K. The varieties are associated to central simple algebras in such a way that the algebra splits over K if and only if the variety has a rational point over K. Francesco Severi studied these varieties, and they are also named after Richard Brauer because of their close relation to the Brauer group.
In mathematics, a composition algebraA over a field K is a not necessarily associative algebra over K together with a nondegenerate quadratic form N that satisfies
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × A → A which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (ab)(cd), (a(bc))d and a(b(cd)) may all yield different answers.
Markus Rost is a German mathematician who works at the intersection of topology and algebra. He was an invited speaker at the International Congress of Mathematicians in 2002 in Beijing, China. He is a professor at the University of Bielefeld.
In mathematics, a Pfister form is a particular kind of quadratic form, introduced by Albrecht Pfister in 1965. In what follows, quadratic forms are considered over a field F of characteristic not 2. For a natural number n, an n-fold Pfister form over F is a quadratic form of dimension 2n that can be written as a tensor product of quadratic forms
In mathematics, an octonion algebra or Cayley algebra over a field F is a composition algebra over F that has dimension 8 over F. In other words, it is a 8-dimensional unital non-associative algebra A over F with a non-degenerate quadratic form N such that
In mathematics, Hurwitz's theorem is a theorem of Adolf Hurwitz (1859–1919), published posthumously in 1923, solving the Hurwitz problem for finite-dimensional unital real non-associative algebras endowed with a positive-definite quadratic form. The theorem states that if the quadratic form defines a homomorphism into the positive real numbers on the non-zero part of the algebra, then the algebra must be isomorphic to the real numbers, the complex numbers, the quaternions, or the octonions. Such algebras, sometimes called Hurwitz algebras, are examples of composition algebras.
Aleksandr Sergeyevich Merkurjev is a Russian-American mathematician, who has made major contributions to the field of algebra. Currently Merkurjev is a professor at the University of California, Los Angeles.
Skip Garibaldi is an American mathematician doing research on algebraic groups and especially exceptional groups.
In algebra, an Okubo algebra or pseudo-octonion algebra is an 8-dimensional non-associative algebra similar to the one studied by Susumu Okubo. Okubo algebras are composition algebras, flexible algebras (A(BA) = (AB)A), Lie admissible algebras, and power associative, but are not associative, not alternative algebras, and do not have an identity element.
In mathematics, the Arason invariant is a cohomological invariant associated to a quadratic form of even rank and trivial discriminant and Clifford invariant over a field k of characteristic not 2, taking values in H3(k,Z/2Z). It was introduced by (Arason 1975, Theorem 5.7).
In mathematics, the Rost invariant is a cohomological invariant of an absolutely simple simply connected algebraic group G over a field k, which associates an element of the Galois cohomology group H3(k, Q/Z(2)) to a principal homogeneous space for G. Here the coefficient group Q/Z(2) is the tensor product of the group of roots of unity of an algebraic closure of k with itself. Markus Rost (1991) first introduced the invariant for groups of type F4 and later extended it to more general groups in unpublished work that was summarized by Serre (1995).
In mathematics, a Petersson algebra is a composition algebra over a field constructed from an order-3 automorphism of a Hurwitz algebra. They were first constructed by Petersson (1969).
In mathematics, a cohomological invariant of an algebraic group G over a field is an invariant of forms of G taking values in a Galois cohomology group.
In algebra, Freudenthal algebras are certain Jordan algebras constructed from composition algebras.
In mathematics, a bioctonion, or complex octonion, is a pair (p,q) where p and q are biquaternions.
Ivan Aleksandrovich Panin is a Russian mathematician, specializing in algebra, algebraic geometry, and algebraic K-theory.
