Algebraic number fieldIn mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
Central simple algebraIn ring theory and related areas of mathematics a central simple algebra (CSA) over a field K is a finite-dimensional associative K-algebra A which is simple, and for which the center is exactly K. (Note that not every simple algebra is a central simple algebra over its center: for instance, if K is a field of characteristic 0, then the Weyl algebra is a simple algebra with center K, but is not a central simple algebra over K as it has infinite dimension as a K-module.
Quadratic fieldIn algebraic number theory, a quadratic field is an algebraic number field of degree two over , the rational numbers. Every such quadratic field is some where is a (uniquely defined) square-free integer different from and . If , the corresponding quadratic field is called a real quadratic field, and, if , it is called an imaginary quadratic field or a complex quadratic field, corresponding to whether or not it is a subfield of the field of the real numbers.
Quaternion algebraIn mathematics, a quaternion algebra over a field F is a central simple algebra A over F that has dimension 4 over F. Every quaternion algebra becomes a matrix algebra by extending scalars (equivalently, tensoring with a field extension), i.e. for a suitable field extension K of F, is isomorphic to the 2 × 2 matrix algebra over K. The notion of a quaternion algebra can be seen as a generalization of Hamilton's quaternions to an arbitrary base field.
Totally real number fieldIn number theory, a number field F is called totally real if for each embedding of F into the complex numbers the lies inside the real numbers. Equivalent conditions are that F is generated over Q by one root of an integer polynomial P, all of the roots of P being real; or that the tensor product algebra of F with the real field, over Q, is isomorphic to a tensor power of R. For example, quadratic fields F of degree 2 over Q are either real (and then totally real), or complex, depending on whether the square root of a positive or negative number is adjoined to Q.
Hurwitz's theorem (composition algebras)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.
Non-associative algebraA 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.
Local fieldIn mathematics, a field K is called a (non-Archimedean) local field if it is complete with respect to a topology induced by a discrete valuation v and if its residue field k is finite. Equivalently, a local field is a locally compact topological field with respect to a non-discrete topology. Sometimes, real numbers R, and the complex numbers C (with their standard topologies) are also defined to be local fields; this is the convention we will adopt below.
Azumaya algebraIn mathematics, an Azumaya algebra is a generalization of central simple algebras to R-algebras where R need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where R is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions.
Associative algebraIn mathematics, an associative algebra A is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field K. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term [[algebra over a field|K-algebra]] to mean an associative algebra over the field K.
