QuaternionIn mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two directed lines in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative. Quaternions are generally represented in the form where a, b, c, and d are real numbers; and 1, i, j, and k are the basis vectors or basis elements.
Isotropic quadratic formIn mathematics, a quadratic form over a field F is said to be isotropic if there is a non-zero vector on which the form evaluates to zero. Otherwise the quadratic form is anisotropic. More explicitly, if q is a quadratic form on a vector space V over F, then a non-zero vector v in V is said to be isotropic if q(v) = 0. A quadratic form is isotropic if and only if there exists a non-zero isotropic vector (or null vector) for that quadratic form. Suppose that (V, q) is quadratic space and W is a subspace of V.
U-invariantIn mathematics, the universal invariant or u-invariant of a field describes the structure of quadratic forms over the field. The universal invariant u(F) of a field F is the largest dimension of an anisotropic quadratic space over F, or ∞ if this does not exist. Since formally real fields have anisotropic quadratic forms (sums of squares) in every dimension, the invariant is only of interest for other fields. An equivalent formulation is that u is the smallest number such that every form of dimension greater than u is isotropic, or that every form of dimension at least u is universal.
Witt groupIn mathematics, a Witt group of a field, named after Ernst Witt, is an abelian group whose elements are represented by symmetric bilinear forms over the field. Fix a field k of characteristic not equal to two. All vector spaces will be assumed to be finite-dimensional. We say that two spaces equipped with symmetric bilinear forms are equivalent if one can be obtained from the other by adding a metabolic quadratic space, that is, zero or more copies of a hyperbolic plane, the non-degenerate two-dimensional symmetric bilinear form with a norm 0 vector.
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.
Composition algebraIn mathematics, a composition algebra A over a field K is a not necessarily associative algebra over K together with a nondegenerate quadratic form N that satisfies for all x and y in A. A composition algebra includes an involution called a conjugation: The quadratic form is called the norm of the algebra. A composition algebra (A, ∗, N) is either a division algebra or a split algebra, depending on the existence of a non-zero v in A such that N(v) = 0, called a null vector. When x is not a null vector, the multiplicative inverse of x is .
Definite quadratic formIn mathematics, a definite quadratic form is a quadratic form over some real vector space V that has the same sign (always positive or always negative) for every non-zero vector of V. According to that sign, the quadratic form is called positive-definite or negative-definite. A semidefinite (or semi-definite) quadratic form is defined in much the same way, except that "always positive" and "always negative" are replaced by "never negative" and "never positive", respectively.
Hermitian matrixIn mathematics, a Hermitian matrix (or self-adjoint matrix) is a complex square matrix that is equal to its own conjugate transpose—that is, the element in the i-th row and j-th column is equal to the complex conjugate of the element in the j-th row and i-th column, for all indices i and j: or in matrix form: Hermitian matrices can be understood as the complex extension of real symmetric matrices.
Division algebraIn the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible. Formally, we start with a non-zero algebra D over a field. We call D a division algebra if for any element a in D and any non-zero element b in D there exists precisely one element x in D with a = bx and precisely one element y in D such that a = yb.
IsotropyIn physics and geometry, isotropy () is uniformity in all orientations. Precise definitions depend on the subject area. Exceptions, or inequalities, are frequently indicated by the prefix a- or an-, hence anisotropy. Anisotropy is also used to describe situations where properties vary systematically, dependent on direction. Isotropic radiation has the same intensity regardless of the direction of measurement, and an isotropic field exerts the same action regardless of how the test particle is oriented.