Oppenheim conjecture

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns values of indefinite quadratic forms at integer points
gptkbp:field number theory
quadratic forms
https://www.w3.org/2000/01/rdf-schema#label Oppenheim conjecture
gptkbp:proposedBy gptkb:Alexander_Oppenheim
gptkbp:provenBy gptkb:Grigory_Margulis
gptkbp:relatedTo gptkb:Diophantine_approximation
gptkb:Lie_groups
ergodic theory
homogeneous dynamics
gptkbp:sentence If Q is a real, indefinite, nondegenerate quadratic form in n ≥ 3 variables, not proportional to a rational form, then Q takes values arbitrarily close to zero at integer points other than the origin.
gptkbp:status proved
gptkbp:yearProposed 1929
gptkbp:yearProved 1986
gptkbp:bfsParent gptkb:Gregory_Margulis
gptkb:Grigory_Margulis
gptkbp:bfsLayer 4