3. Conclusion
I hope that the use of module multiplication in some measure simplifies Gauss’s theory of composition of forms. For example, it clarifies the difficult associativity property described and proved by Gauss in art. 240. Multiplication of modules is obviously an associative binary operation, and this property easily translates into the property Gauss uses.10
But, more importantly, I hope that by focussing attention on Gauss’s composition of actual forms — as opposed to equivalence classes of forms as in the modern theory — I have highlighted Gauss’s great achievement in giving a rigorous treatment of the composition of binary quadratic forms in the greatest possible generality.
His theory is “rigorous,” not only in the usual sense that it is mathematically convincing, but also in the literal sense that it makes great demands on the reader. The second kind of rigor has caused succeeding generation of mathematicians to devote some of their best efforts to avoiding it. But it is the first kind of rigor that makes Gauss the great master. It is based on his mastery of the computational structure of his subject and his ability to explain that structure in the most general circumstances. While they may seek to avoid the difficulties of Gauss’s theory, succeeding generations should never cease to admire it.
Since multiplication of modules can be used to establish the theory of composition of forms, Gauss’s proof of quadratic reciprocity using composition of forms can be deduced in this way. However, quadratic reciprocity can be proved working directly with multiplication of modules. Therefore, if the goal is quadratic reciprocity, one can dispense with quadratic forms altogether. Other aspects of Gauss’s theory can be revisited in a similar way. See [Edwards 2005].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dirichlet, Johann Peter Gustav Lejeune-. 1851. De Formarum Binariarum Secundi Gradus Compositione. Berlin: Akademie Verlag. Repr. with changes in Journal für die reine. und angewandte Mathematik 47 (1854), 155–160. Repr. in Werke, ed. L. Fuchs and L. Kronecker, vol. 2, pp. 107–114. Berlin: Reimer, 1889–1897.
____. 1879. Vorlesungen über Zahlentheorie, ed. with supplements by R. Dedekind. 3rd ed. Braunschweig: Vieweg.
Edwards, Harold M. 2005. Essays in Constructive Mathematics. New York: Springer.
Kummer, Ernst Eduard. 1846. Letter to Leopold Kronecker, June 14, 1846. Festschrift zur Feier des 100 Geburtstages Eduard Kummer mit Briefen an seine Mutter und an Leopold. Kronecker, ed. K. Hensel. Berlin and Leipzig: Teubner, 1910. Repr. in [Kummer 1975], vol. 1, p. 68.
____. 1847. Zur Theorie der complexen Zahlen. Journal für die reine und angewandte Mathematik 35, pp. 319–326. Repr. in [Kummer 1975], vol. 1, pp. 203–210.
____. 1975. Collected Papers, ed. A. Weil. 2 vols. New York: Springer.
Waterhouse, William. 1984. A note by Gauss referring to ideals? Historia Mathematica 11, 142–146.
Weil, André. 1984. Number Theory. An Approach Through History from Hammurapi to Legendre. Boston: Birkhäuser.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Edwards, H.M. (2007). Composition of Binary Quadratic Forms and the Foundations of Mathematics. In: Goldstein, C., Schappacher, N., Schwermer, J. (eds) The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-34720-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-34720-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20441-1
Online ISBN: 978-3-540-34720-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)