Disquisitiones Arithmeticae (Latin for Arithmetical Investigations) is a textbook on number theory written in Latin by Carl Friedrich Gauss in 1798, when Gauss was 21, and published in 1801, when he was 24. It had a revolutionary impact on number theory by making the field truly rigorous and systematic and paved the path for modern number theory. In this book, Gauss brought together and reconciled results in number theory obtained by such eminent mathematicians as Fermat, Euler, Lagrange, and Legendre, while adding profound and original results of his own.
The Disquisitiones covers both elementary number theory and parts of the area of mathematics now called algebraic number theory. Gauss did not explicitly recognize the concept of a group, which is central to modern algebra, so he did not use this term. His own title for his subject was Higher Arithmetic. In his Preface to the Disquisitiones, Gauss describes the scope of the book as follows:
The inquiries which this volume will investigate pertain to that part of Mathematics which concerns itself with integers.
Gauss also writes, "When confronting many difficult problems, derivations have been suppressed for the sake of brevity when readers refer to this work." ("Quod, in pluribus quaestionibus difficilibus, demonstrationibus syntheticis usus sum, analysinque per quam erutae sunt suppressi, imprimis brevitatis studio tribuendum est, cui quantum fieri poterat consulere oportebat")
These sections are subdivided into 366 numbered items, which state a theorem with proof or otherwise develop a remark or thought.
Sections I to III are essentially a review of previous results, including Fermat's little theorem, Wilson's theorem and the existence of primitive roots. Although few of the results in these sections are original, Gauss was the first mathematician to bring this material together in a systematic way. He also realized the importance of the property of unique factorization (assured by the fundamental theorem of arithmetic, first studied by Euclid), which he restates and proves using modern tools.
From Section IV onward, much of the work is original. Section IV develops a proof of quadratic reciprocity; Section V, which takes up over half of the book, is a comprehensive analysis of binary and ternary quadratic forms. Section VI includes two different primality tests. Finally, Section VII is an analysis of cyclotomic polynomials, which concludes by giving the criteria that determine which regular polygons are constructible, i.e., can be constructed with a compass and unmarked straightedge alone.
Gauss started to write an eighth section on higher-order congruences, but did not complete it, and it was published separately after his death with the title Disquisitiones generales de congruentiis (Latin: 'General Investigations on Congruences').[1] In it Gauss discussed congruences of arbitrary degree, attacking the problem of general congruences from a standpoint closely related to that taken later by Dedekind, Galois, and Emil Artin. The treatise paved the way for the theory of function fields over a finite field of constants. Ideas unique to that treatise are clear recognition of the importance of the Frobenius morphism, and a version of Hensel's lemma.
The Disquisitiones was one of the last mathematical works written in scholarly Latin. An English translation was not published until 1965, by Jesuit scholar Arthur A. Clarke. Clarke was the first dean at the Lincoln Center campus of Fordham College.[2]
Importance
Before the Disquisitiones was published, number theory consisted of a collection of isolated theorems and conjectures. Gauss brought the work of his predecessors together with his own original work into a systematic framework, filled in gaps, corrected unsound proofs, and extended the subject in numerous ways.
The logical structure of the Disquisitiones (theorem statement followed by proof, followed by corollaries) set a standard for later texts. While recognising the primary importance of logical proof, Gauss also illustrates many theorems with numerical examples.
The Disquisitiones was the starting point for other 19th-century European mathematicians, including Ernst Kummer, Peter Gustav Lejeune Dirichlet and Richard Dedekind. Many of Gauss's annotations are in effect announcements of further research of his own, some of which remained unpublished. They must have appeared particularly cryptic to his contemporaries; they can now be read as containing the germs of the theories of L-functions and complex multiplication, in particular.[3]
The Disquisitiones continued to exert influence in the 20th century. For example, in section V, article 303, Gauss summarized his calculations of class numbers of proper primitive binary quadratic forms, and conjectured that he had found all of them with class numbers 1, 2, and 3. This was later interpreted as the determination of imaginary quadratic number fields with even discriminant and class number 1, 2, and 3, and extended to the case of odd discriminant. Sometimes called the class number problem, this more general question was eventually confirmed in 1986[4] (the specific question Gauss asked was confirmed by Landau in 1902[5] for class number one). In section VII, article 358, Gauss proved what can be interpreted as the first nontrivial case of the Riemann hypothesis for curves over finite fields (the Hasse–Weil theorem).[6]
Dunnington, G. Waldo (1935), "Gauss, His Disquisitiones Arithmeticae, and His Contemporaries in the Institut de France", National Mathematics Magazine, 9 (7): 187–192, doi:10.2307/3028190, JSTOR3028190
Goldstein, Catherine; Schappacher, Norbert; Schwermer, Joachim (2010), The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, Springer, ISBN978-3-642-05802-8
Related Research Articles
Johann Carl Friedrich Gauss was a German mathematician, astronomer, geodesist, and physicist who contributed to many fields in mathematics and science. He was director of the Göttingen Observatory and professor of astronomy from 1807 until his death in 1855.
In mathematics, the fundamental theorem of arithmetic, also called the unique factorization theorem and prime factorization theorem, states that every integer greater than 1 can be represented uniquely as a product of prime numbers, up to the order of the factors. For example,
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics." Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers, or defined as generalizations of the integers.
In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. Due to its subtlety, it has many formulations, but the most standard statement is:
In number theory, Euler's theorem states that, if n and a are coprime positive integers, then is congruent to modulo n, where denotes Euler's totient function; that is
In number theory, Dirichlet's theorem, also called the Dirichlet prime number theorem, states that for any two positive coprime integers a and d, there are infinitely many primes of the form a + nd, where n is also a positive integer. In other words, there are infinitely many primes that are congruent to a modulo d. The numbers of the form a + nd form an arithmetic progression
In number theory, Euler's criterion is a formula for determining whether an integer is a quadratic residue modulo a prime. Precisely,
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.
In modular arithmetic, a number g is a primitive root modulo n if every number a coprime to n is congruent to a power of g modulo n. That is, g is a primitive root modulon if for every integer a coprime to n, there is some integer k for which gk ≡ a. Such a value k is called the index or discrete logarithm of a to the base g modulo n. So g is a primitive root modulon if and only if g is a generator of the multiplicative group of integers modulo n.
In number theory, an integer q is called a quadratic residue modulo n if it is congruent to a perfect square modulo n; i.e., if there exists an integer x such that:
Johann Peter Gustav Lejeune Dirichlet was a German mathematician. In number theory, he proved special cases of Fermat's last theorem and created analytic number theory. In analysis, he advanced the theory of Fourier series and was one of the first to give the modern formal definition of a function. In mathematical physics, he studied potential theory, boundary-value problems, and heat diffusion, and hydrodynamics.
In mathematics, a quadratic irrational number is an irrational number that is the solution to some quadratic equation with rational coefficients which is irreducible over the rational numbers. Since fractions in the coefficients of a quadratic equation can be cleared by multiplying both sides by their least common denominator, a quadratic irrational is an irrational root of some quadratic equation with integer coefficients. The quadratic irrational numbers, a subset of the complex numbers, are algebraic numbers of degree 2, and can therefore be expressed as
Vorlesungen über Zahlentheorie is the name of several different textbooks of number theory. The best known was written by Peter Gustav Lejeune Dirichlet and Richard Dedekind, and published in 1863. Others were written by Leopold Kronecker, Edmund Landau, and Helmut Hasse. They all cover elementary number theory, Dirichlet's theorem, quadratic fields and forms, and sometimes more advanced topics.
In algebra and number theory, Euclid's lemma is a lemma that captures a fundamental property of prime numbers:
Cubic reciprocity is a collection of theorems in elementary and algebraic number theory that state conditions under which the congruence x3 ≡ p (mod q) is solvable; the word "reciprocity" comes from the form of the main theorem, which states that if p and q are primary numbers in the ring of Eisenstein integers, both coprime to 3, the congruence x3 ≡ p is solvable if and only if x3 ≡ q is solvable.
Quartic or biquadratic reciprocity is a collection of theorems in elementary and algebraic number theory that state conditions under which the congruence x4 ≡ p is solvable; the word "reciprocity" comes from the form of some of these theorems, in that they relate the solvability of the congruence x4 ≡ p to that of x4 ≡ q.
In mathematics, Legendre's three-square theorem states that a natural number can be represented as the sum of three squares of integers
Joachim Schwermer is a German mathematician, specializing in number theory.
References
↑ * Latin text, with endnotes by Dedekind: Gauss, Carl Friedrich (1863), "Disquisitiones generales de congruentiis", Carl Friedrich Gauss Werke, vol.Band II, Königlichen Gesellschaft der Wissenschaften zu Göttingen, pp.212–242
↑ Goldstein, Catherine; Schappacher, Norbert; Schwermer, Joachim (2010-02-12), The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, Springer, ISBN978-3-642-05802-8
↑ Ireland, K.; Rosen, M. (1993), A Classical Introduction to Modern Number Theory, New York, New York: Springer-Verlag, pp.358–361, ISBN978-0-387-97329-6
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
