Universal quadratic form

Last updated

In mathematics, a universal quadratic form is a quadratic form over a ring that represents every element of the ring. [1] A non-singular form over a field which represents zero non-trivially is universal. [2]

Contents

Examples

Forms over the rational numbers

The Hasse–Minkowski theorem implies that a form is universal over Q if and only if it is universal over Qp for all p (where we include p = ∞, letting Q denote R). [4] A form over R is universal if and only if it is not definite; a form over Qp is universal if it has dimension at least 4. [5] One can conclude that all indefinite forms of dimension at least 4 over Q are universal. [4]

See also

Related Research Articles

Field (mathematics) Algebraic structure with addition, multiplication and division

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics.

In mathematics, a quadratic form is a polynomial with terms all of degree two. For example,

Field theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject.

In mathematics, complex multiplication (CM) is the theory of elliptic curves E that have an endomorphism ring larger than the integers; and also the theory in higher dimensions of abelian varieties A having enough endomorphisms in a certain precise sense. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.

Square (algebra) Result of multiplying a number, or other expression, by itself

In mathematics, a square is the result of multiplying a number by itself. The verb "to square" is used to denote this operation. Squaring is the same as raising to the power 2, and is denoted by a superscript 2; for instance, the square of 3 may be written as 32, which is the number 9. In some cases when superscripts are not available, as for instance in programming languages or plain text files, the notations x^2 or x**2 may be used in place of x2.

Hasse–Minkowski theorem Two quadratic forms over a number field are equivalent iff they are equivalent locally

The Hasse–Minkowski theorem is a fundamental result in number theory which states that two quadratic forms over a number field are equivalent if and only if they are equivalent locally at all places, i.e. equivalent over every completion of the field. A related result is that a quadratic space over a number field is isotropic if and only if it is isotropic locally everywhere, or equivalently, that a quadratic form over a number field nontrivially represents zero if and only if this holds for all completions of the field. The theorem was proved in the case of the field of rational numbers by Hermann Minkowski and generalized to number fields by Helmut Hasse. The same statement holds even more generally for all global fields.

In number theory, Meyer's theorem on quadratic forms states that an indefinite quadratic form Q in five or more variables over the field of rational numbers nontrivially represents zero. In other words, if the equation

In mathematics, a field F is called quasi-algebraically closed (or C1) if every non-constant homogeneous polynomial P over F has a non-trivial zero provided the number of its variables is more than its degree. The idea of quasi-algebraically closed fields was investigated by C. C. Tsen, a student of Emmy Noether, in a 1936 paper (Tsen 1936); and later by Serge Lang in his 1951 Princeton University dissertation and in his 1952 paper (Lang 1952). The idea itself is attributed to Lang's advisor Emil Artin.

In mathematics, the Hasse invariant of a quadratic form Q over a field K takes values in the Brauer group Br(K). The name "Hasse–Witt" comes from Helmut Hasse and Ernst Witt.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

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

In mathematics, Brauer's theorem, named for Richard Brauer, is a result on the representability of 0 by forms over certain fields in sufficiently many variables.

In 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.

In mathematics, an octonion algebra or Cayley algebra over a field F is an algebraic structure which is an 8-dimensional composition algebra over F. In other words, it is a unital non-associative algebra A over F with a non-degenerate quadratic form N such that

In 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 precisely, 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 for that quadratic form.

In algebra, a Pythagorean field is a field in which every sum of two squares is a square: equivalently it has Pythagoras number equal to 1. A Pythagorean extension of a field is an extension obtained by adjoining an element for some in . So a Pythagorean field is one closed under taking Pythagorean extensions. For any field there is a minimal Pythagorean field containing it, unique up to isomorphism, called its Pythagorean closure. The Hilbert field is the minimal ordered Pythagorean field.

In field theory, a branch of mathematics, the Stufes(F) of a field F is the least number of squares that sum to −1. If −1 cannot be written as a sum of squares, s(F) = . In this case, F is a formally real field. Albrecht Pfister proved that the Stufe, if finite, is always a power of 2, and that conversely every power of 2 occurs.

In mathematics, the Pythagoras number or reduced height of a field describes the structure of the set of squares in the field. The Pythagoras number p(K) of a field K is the smallest positive integer p such that every sum of squares in K is a sum of p squares.

In mathematics, the universal invariant or u-invariant of a field describes the structure of quadratic forms over the field.

In mathematics, a quadratically closed field is a field in which every element has a square root.

References

  1. Lam (2005) p.10
  2. Rajwade (1993) p.146
  3. Lam (2005) p.36
  4. 1 2 Serre (1973) p.43
  5. Serre (1973) p.37