The Disquisitiones Arithmeticae (Latin: Arithmetical Investigations) is a textbook of number theory written in Latin by Carl Friedrich Gauss in 1798 when Gauss was 21 and first published in 1801 when he was 24. In this book Gauss brings together results in number theory obtained by mathematicians such as Fermat, Euler, Lagrange and Legendre and adds important new results of his own.
The Disquisitiones covers both elementary number theory and parts of the area of mathematics now called algebraic number theory. However, 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 states "When confronting many difficult problems, derivations have been supressed 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")
The book is divided into seven sections, which are:
- Section I. Congruent Numbers in General
- Section II. Congruences of the First Degree
- Section III. Residues of Powers
- Section IV. Congruences of the Second Degree
- Section V. Forms and Indeterminate Equations of the Second Degree
- Section VI. Various Applications of the Preceding Discussions
- Section VII. Equations Defining Sections of a Circle.
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 first sections are original, Gauss was the first mathematician to bring this material together and treat it 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 onwards, much of the work is original. Section IV itself 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 straight edge alone.
Gauss started to write an eighth section on higher order congruences, but he did not complete this, and it was published separately after his death. The eighth section was finally published as a treatise entitled "general investigations on congruences", and in it Gauss discussed congruences of arbitrary degree. It's worth notice since Gauss attacked the problem of general congruences from a standpoint closely related to that taken later by Dedekind, Galois, and Emil Artin. The treaise 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 to be written in scholarly Latin (an English translation was not published until 1965).
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 the work of other nineteenth century European mathematicians including Ernst Kummer, Peter Gustav Lejeune Dirichlet and Richard Dedekind. Many of the annotations given by Gauss are in effect announcements of further research of his own, some of which remained unpublished. They must have appeared particularly cryptic to his contemporaries; we can now read them as containing the germs of the theories of L-functions and complex multiplication, in particular.
Gauss' 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 referred to as the class number problem, this more general question was eventually confirmed in 1986, (the specific question Gauss asked was confirmed by Landau in 1902  for class number one). In section VII, article 358, Gauss proved what can be interpreted as the first non-trivial case of the Riemann hypothesis for curves over finite fields (the Hasse–Weil theorem).
- Disquisitiones Arithmeticae at Yalepress.yale.edu
- Ireland, K.; Rosen, M. (1993), A Classical Introduction to Modern Number Theory, New York, New York: Springer-Verlag, pp. 358–361, ISBN 0-387-97329-X
- Goldfeld, Dorian (July 1985), "Gauss' Class Number Problem For Imaginary Quadratic Fields" (PDF), Bulletin of the American Mathematical Society 13 (1): 23–37, doi:10.1090/S0273-0979-1985-15352-2
- Silverman, J.; Tate, J. (1992), Rational Points on Elliptic Curves, New York, New York: Springer-Verlag, p. 110, ISBN 0-387-97825-9