Meyer's theorem

Meyer's theorem
For the theorem in computational complexity theory see P/poly.

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

Q(x) = 0

has a non-zero real solution, then it has a non-zero rational solution (the converse is obvious). By clearing the denominators, an integral solution x may also be found.

Meyer's theorem is usually from the Hasse–Minkowski theorem (which was later proved) and the following statement:

A rational quadratic form in five or more variables represents zero over the field Qp of the p-adic numbers for all p.

Meyer's theorem is best possible with respect to the number of variables: there are indefinite rational quadratic forms Q in four variables which do not represent zero. One family of examples is given by

Q(x1,x2,x3,x4) = x12 + x22 − p(x32 + x42),

where p is a prime number that is congruent to 3 modulo 4. This can be proved by the method of infinite descent using the fact that if the sum of two perfect squares is divisible by such a p then each summand is divisible by p.

See also

References

  • A. Meyer, Mathematische Mittheilungen, Vierteljahrschrift der Naturforschenden Gesellschaft in Zürich, 29, 209–222, 1884.

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Doob–Meyer decomposition theorem — The Doob–Meyer decomposition theorem is a theorem in stochastic calculus stating the conditions under which a submartingale may be decomposed in a unique way as the sum of a martingale and a continuous increasing process. It is named for J. L.… …   Wikipedia

  • Doob-Meyer decomposition theorem — The Doob Meyer decomposition theorem is a theorem in stochastic calculus stating the conditions under which a submartingale may be decomposed in a unique way as the sum of a martingale and a continuous increasing process. It is named for J. L.… …   Wikipedia

  • Doob decomposition theorem — In the theory of discrete time stochastic processes, a part of the mathematical theory of probability, the Doob decomposition theorem gives a unique decomposition of any submartingale as the sum of a martingale and an increasing predictable… …   Wikipedia

  • Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… …   Wikipedia

  • Time hierarchy theorem — In computational complexity theory, the time hierarchy theorems are important statements about time bounded computation on Turing machines. Informally, these theorems say that given more time, a Turing machine can solve more problems. For example …   Wikipedia

  • Bell's theorem — is a theorem that shows that the predictions of quantum mechanics (QM) are not intuitive, and touches upon fundamental philosophical issues that relate to modern physics. It is the most famous legacy of the late physicist John S. Bell. Bell s… …   Wikipedia

  • Soul theorem — In mathematics, the soul theorem is the following theorem of Riemannian geometry: :If ( M , g ) is a complete non compact Riemannian manifold with sectional curvature K ge; 0, then ( M , g ) has a compact totally convex, totally geodesic… …   Wikipedia

  • Girsanov theorem — In probability theory, the Girsanov theorem tells how stochastic processes change under changes in measure. The theorem is especially important in the theory of financial mathematics as it tells how to convert from the physical measure which… …   Wikipedia

  • Rank–nullity theorem — In mathematics, the rank–nullity theorem of linear algebra, in its simplest form, states that the rank and the nullity of a matrix add up to the number of columns of the matrix. Specifically, if A is an m by n matrix over the field F , then :rank …   Wikipedia

  • Disintegration theorem — In mathematics, the disintegration theorem is a result in measure theory and probability theory. It rigorously defines the idea of a non trivial restriction of a measure to a measure zero subset of the measure space in question. It is related to… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”