|
Subspace Theorem
In mathematics, the subspace theorem says that points of small height in projective space lie in a finite number of hyperplanes. It is a result obtained by . Statement The subspace theorem states that if ''L''1,...,''L''''n'' are linearly independent linear forms in ''n'' variables with algebraic coefficients and if ε>0 is any given real number, then the non-zero integer points ''x'' with :, L_1(x)\cdots L_n(x), 0 is any given real number, then there are only finitely many rational ''n''-tuples (''x''1/y,...,''x''''n''/y) with :, a_i-x_i/y, [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Height Function
A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties (or a set of algebraic varieties) to the real numbers. For instance, the ''classical'' or ''naive height'' over the rational numbers is typically defined to be the maximum of the numerators and denominators of the coordinates (e.g. for the coordinates ), but in a logarithmic scale. Significance Height functions allow mathematicians to count objects, such as rational points, that are otherwise infinite in quantity. For instance, the set of rational numbers of naive height (the maximum of the numerator and denominator when expressed in lowest terms) below any given constant is finite despite the set of rational numbers being infinite. In this sense, height functions can be used to prove asymptotic results such as Baker ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diophantine Equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents. Diophantine problems have fewer equations than unknowns and involve finding integers that solve simultaneously all equations. As such systems of equations define algebraic curves, algebraic surfaces, or, more generally, algebraic sets, their study is a part of algebraic geometry that is called '' Diophantine geometry''. The word ''Diophantine'' refers to the Hellenistic mathematician of the 3rd century, Diophantus of Alexandria, who made a study of such equations and was one of the first mathematicians to introduce symbolism into algebra. The mathematical study of Diophantine proble ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business international ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also publishes Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet's Theorem On Diophantine Approximation
In number theory, Dirichlet's theorem on Diophantine approximation, also called Dirichlet's approximation theorem, states that for any real numbers \alpha and N , with 1 \leq N , there exist integers p and q such that 1 \leq q \leq N and : \left , q \alpha -p \right , \leq \frac < \frac. Here represents the integer part of . This is a fundamental result in , showing that any real number has a sequence of good rational approximations: in fact an immediate consequence is that for a given irrational α, the inequality : is satisfied by infinitely many integers ''p'' and ''q''. This shows that any irratio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thue–Siegel–Roth Theorem
In mathematics, Roth's theorem is a fundamental result in diophantine approximation to algebraic numbers. It is of a qualitative type, stating that algebraic numbers cannot have many rational number approximations that are 'very good'. Over half a century, the meaning of ''very good'' here was refined by a number of mathematicians, starting with Joseph Liouville in 1844 and continuing with work of , , , and . Statement Roth's theorem states that every irrational algebraic number \alpha has approximation exponent equal to 2. This means that, for every \varepsilon>0, the inequality :\left, \alpha - \frac\ \frac with C(\alpha,\varepsilon) a positive number depending only on \varepsilon>0 and \alpha. Discussion The first result in this direction is Liouville's theorem on approximation of algebraic numbers, which gives an approximation exponent of ''d'' for an algebraic number α of degree ''d'' ≥ 2. This is already enough to demonstrate the existence of transcen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
S-unit Equation
In mathematics, in the field of algebraic number theory, an ''S''-unit generalises the idea of unit of the ring of integers of the field. Many of the results which hold for units are also valid for ''S''-units. Definition Let ''K'' be a number field with ring of integers ''R''. Let ''S'' be a finite set of prime ideals of ''R''. An element ''x'' of ''K'' is an ''S''-unit if the principal fractional ideal (''x'') is a product of primes in ''S'' (to positive or negative powers). For the ring of rational integers Z one may take ''S'' to be a finite set of prime numbers and define an ''S''-unit to be a rational number whose numerator and denominator are divisible only by the primes in ''S''. Properties The ''S''-units form a multiplicative group containing the units of ''R''. Dirichlet's unit theorem holds for ''S''-units: the group of ''S''-units is finitely generated, with rank (maximal number of multiplicatively independent elements) equal to ''r'' + ''s'', where ''r'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Siegel's Theorem On Integral Points
In mathematics, Siegel's theorem on integral points states that for a smooth algebraic curve ''C'' of genus ''g'' defined over a number field ''K'', presented in affine space in a given coordinate system, there are only finitely many points on ''C'' with coordinates in the ring of integers ''O'' of ''K'', provided ''g'' > 0. The theorem was first proved in 1929 by Carl Ludwig Siegel and was the first major result on Diophantine equations that depended only on the genus and not any special algebraic form of the equations. For ''g'' > 1 it was superseded by Faltings's theorem in 1983. History In 1929, Siegel proved the theorem by combining a version of the Thue–Siegel–Roth theorem, from diophantine approximation, with the Mordell–Weil theorem from diophantine geometry (required in Weil's version, to apply to the Jacobian variety of ''C''). In 2002, Umberto Zannier and Pietro Corvaja gave a new proof by using a new method based on the subspace theorem.Corvaja, P. and Zannier ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a field that contains \mathbb 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. This study reveals hidden structures behind usual rational numbers, by using algebraic methods. Definition Prerequisites The notion of algebraic number field relies on the concept of a field. A field consists of a set of elements together with two operations, namely addition, and multiplication, and some distributivity assumptions. A prominent example of a field is the field of rational numbers, commonly denoted together with its usual operations of addition and multiplication. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absolute Value (algebra)
In algebra, an absolute value (also called a valuation, magnitude, or norm, although " norm" usually refers to a specific kind of absolute value on a field) is a function which measures the "size" of elements in a field or integral domain. More precisely, if ''D'' is an integral domain, then an absolute value is any mapping , x, from ''D'' to the real numbers R satisfying: It follows from these axioms that , 1, = 1 and , -1, = 1. Furthermore, for every positive integer ''n'', :, ''n'', = , 1 + 1 + ... + 1 (''n'' times), = , −1 − 1 − ... − 1 (''n'' times), ≤ ''n''. The classical "absolute value" is one in which, for example, , 2, =2, but many other functions fulfill the requirements stated above, for instance the square root of the classical absolute value (but not the square thereof). An absolute value induces a metric (and thus a topology) by d(f,g) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
