Abstract
In 1870 Jordan proved that the composition factors of two composition series of a group are the same. Almost 20 years later Hölder (1889) was able to extend this result by showing that the factor groups, which are quotient groups corresponding to the composition factors, are isomorphic. This result, nowadays called the Jordan-Hölder Theorem, is one of the fundamental theorems in the theory of groups. The fact that Jordan, who was working in the framework of substitution groups, was able to prove only a part of this theorem is often used to emphasize the importance and even the necessity of the abstract conception of groups, which was employed by Hölder. However, as a little-known paper from 1873 reveals, Jordan had all the necessary ingredients to prove the Jordan-Hölder Theorem at his disposal (namely, composition series, quotient groups, and isomorphisms), and he also noted a connection between composition factors and corresponding quotient groups. Thus, I argue that the answer to the question posed in the title is “Yes.” It was not the lack of the abstract notion of groups which prevented Jordan from proving the Jordan-Hölder Theorem, but the fact that he did not ask the right research question that would have led him to this result. In addition, I suggest some reasons why this has been overlooked in the historiography of algebra, and I argue that, by hiding computational and cognitive complexities, abstraction has important pragmatic advantages.
Similar content being viewed by others
Notes
“In mathematics the art of asking questions is to be practiced more often than that of solving problems.” Cited from Fraenkel (1932, p. 454).
A substitution is an operation that changes a given arrangement of things into a different arrangement (permutation) of the same things. Historically, the terms “permutation group” and “substitution group” have often been used interchangeably. See, e.g., the title of Cauchy (1844) and also Miller (1935, p. 8). I shall employ the more frequently used term “substitution group.”
N is a maximal normal subgroup of G, if no other normal subgroup of G has a greater order than N. In general, a group can have different maximal normal subgroups.
The order of a group G, i.e., its number of elements, is denoted by |G|.
For example, the quaternion group of order eight has three, the dihedral group of order eight has seven different composition series (Dummit and Foote 1991, p. 106).
Hölder calls the elements of a group “operations,” and uses H instead of N.
The idea of using an equivalence relation instead of identity goes back to Gauss’s work on congruence classes (1801).
Thus, s and t are congruent modulo N, if they lie in the same coset: sN = tN amounts to s · h 1 = t · h 2, i.e., s = t · (h 2 · h −11 ), for some h 1, h 2 ∈ N. Since both h 2 and h −11 are in the subgroup N, h 2 · h −11 is also an element, say h, of N. Jordan uses H instead of N.
A subgroup that commutes with all elements of the group is a normal subgroup.
Neither Hölder (1889) nor Dyck (1880), who is the only author referred by Hölder in connection with quotient groups, refer to Jordan’s 1873 paper. Both refer only to Jordan’s treatment of composition factors in (Jordan 1870). Hölder mistakenly writes: “The [factor] groups do not occur in the works of Jordan and Netto, where the factors of a composition are understood as pure numbers” (Hölder 1889, p. 34; original emphasis).
For the setup of the involved groups, see the sketch of Hölder’s proof above.
Nicholson ignores this difference, claiming instead that Weber “went on to prove the Jordan-Hölder Theorem in the same way that Hölder had proved it in 1889, using quotient groups” (Nicholson 1993, p. 83). Indeed, Weber himself claims, somewhat misleadingly, that he is following Hölder’s proof (Weber 1896, p. 18), who in turn describes his proof as a modification of Netto’s train of thoughts (Hölder 1889, p. 34). Brown’s assessment is closer to the mark: His presentation is also built up on Netto’s, but he describes his proof as a “very much simplified” version compared to that of Hölder (Brown 1895, p. 232).
See, e.g., (Frobenius and Stickelberger 1879, p. 222): They distinguish between the equality of the group elements and the “relative equality” of the elements of a quotient, and then remark that they present the proofs of a number of theorems only for the former notion in order “to make the presentation more convenient,” but that they carry over also to the latter.
References
Bolza, O. (1889). On the construction of intransitive groups. American Journal of Mathematics, 11(3), 195–214.
Brown, G. (1895). Note on Hölder’s theorem concerning the constancy of factor-groups. Bulletin of the American Mathematical Society, 1, 232–234.
Burnside, W. (1894). Notes on the theory of groups of finite order. Proceedings of the London Mathematical Society, 25, 9–18.
Burnside, W. (1911). Theory of groups of finite order (2nd ed.). Cambridge: The University Press, Reprinted by Dover Publications, New York, 1951.
Capelli, A. (1878). Sopra l’isomorphismo dei gruppi di sostituzioni. Giornale di Mathematiche, 16, 32–87.
Cauchy, A.-L. (1844). Mémoire sur les arrangements que l’on peut former avec des lettres données et sur les permutations ou substitutions à l’aide desquelles on passe d’un arrangement à un autre. Exercises d’analyse et de physique mathematique, 3, 151–252. Reprinted in Oeuvres, Ser. 2, Vol. 13, 171–282.
Cayley, A. (1854). On the theory of groups, as depending on the symbolic equation θn = 1. Philosophical Magazine, 7, 40–47. Reprinted in Mathematical Papers as no. 125, 123–130.
Corry, L. (1996). Modern algebra and the rise of mathematical structures. Basel: Birkhäuser.
Dedekind, R. (1855–58). Aus den Gruppen-Studien (1855-58). In R. Fricke, E. Noether, & Ö. Ore (Eds.), Gesammelte mathematische Werke (1932). (Vol. 3, Chap. LXI, pp. 439–445). Braunschweig: F. Vieweg & Sohn.
Dummit, D. S., & Foote, R. M. (1991). Abstract algebra. Englewood Cliffs, NJ: Prentice Hall.
Dyck, W. (1880). Ueber Aufstellung und Untersuchung von Gruppe und Irrationalität regulärer Riemann’scher Flächen. Mathematische Annalen, 17(4), 473–509.
Ewald, W. (1996). From Kant to Hilbert: A source book in mathematics (2 Vols.). Oxford: Clarendon Press.
Fraenkel, A. (1932). Das Leben Georg Cantors. In E. Zermelo (Ed.), Georg Cantor: Gesammelte Abhandlungen (pp. 452–483). Berlin: Springer.
Frobenius, G. (1887). Neuer Beweis des Sylowschen Satzes. Journal für die Reine und Angewandte Mathematik, 100, 179–181. Reprinted in Gesammelte Abhandlungen, II (pp. 301–303).
Frobenius, G., & Stickelberger, L. (1879). Ueber Gruppen von vertauschbaren Elementen. Journal für die Reine und Angewandte Mathematik, 86(3), 217–262. Reprinted in Gesammelte Abhandlungen, I(19), 545–590.
Gauss, C. F. (1801). Disquisitiones arithmeticae (English Translation) New York: Springer, 1986.
Hilbert, D. (1900). Mathematische Probleme. Nachrichten der Kgl. Gesellschaft der Wissenschaften Göttingen (pp. 253–297). Reprinted in Gesammelte Abhandlungen, Vol. 3, 1935, pp. 290–329. English translation “Mathematical problems,” in (Ewald, 1996), pp. 1096–1105.
Hölder, O. (1889). Zurückführung einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen. Mathematische Annalen, 34(1), 26–56.
Jordan, C. (1869a). Commentaire sur Galois. Mathematische Annalen, 1(2), 141–160. Reprinted as no. 32 in Oeuvres, 1, 211–230, 1961.
Jordan, C. (1869b). Théorémes sur les équations algébriques. Journal de Mathématiques Pures et Appliquées, 2(14), 139–146. Reprinted as no. 34 in Oeuvres, 1, 1961.
Jordan, C. (1870). Traité des substitutions algébriques. Paris: Gauthier-Villars
Jordan, C. (1873a). Sur la limite de transitivité des groupes non alternés. Bulletin de la Société Mathématique de France, I, 40–71. Reprinted as no. 57 in Oeuvres, 1, 365–396, 1961.
Jordan, C. (1873b). Mémoire sur les groupes primitifs. Bulletin de la Société Mathématique de France, I, 175–221. Reprinted as no. (58) in Oeuvres, 1, 397–443, 1961.
Klein, F. (1926). Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert (Vol. 1.). Berlin: Springer Verlag.
Kronecker, L. (1870). Auseinandersetzung einiger Eigenschaften der Klassenzahl idealer complexer Zahlen. Monatsberichte der Königlichen Akademie der Wissenschaften Berlin (pp. 881–889). Reprinted in Werke, 1, pp. 273–282.
Miller, G. A. (1935). Historical note on the determination of all the permutation groups of low degrees. In Collected works (Vol. 1, Chap. 1, pp. 1–10). Urbana, IL: University of Illinois.
Netto, E. (1874). Zur Theorie der zusammengesetzten Gruppen. Journal für die Reine und Angewandte Mathematik, 78(1), 81–92.
Netto, E. (1875a). Review of (Jordan, 1873a). Jahrbuch über die Fortschritte der Mathematik, 7, 73.
Netto, E. (1875b). Review of (Jordan, 1873b). Jahrbuch über die Fortschritte der Mathematik, 7, 73.
Netto, E. (1878). Neuer Beweis eines Fundamentaltheorems aus der Theorie der Substitutionenlehre. Mathematische Annalen, 13, 249–250.
Netto, E. (1882). Substitutionentheorie und ihre Anwendungen auf die Algebra. Leipzig: B.G. Teubner.
Netto, E. (1892). The theory of substitutions and its applications to algebra (Revised by Netto and Translated by F. N. Cole). Ann Arbor: G. Wahr.
Newman, J. R. (Ed.). (1956). The world of mathematics (4 Vols.). New York: Simon and Schuster.
Nicholson, J. J. (1993). The development and understanding of the concept of quotient group. History of Mathematics, 20(1), 68–88.
Scharlau, W. (Ed.). (1981). Richard Dedekind, 1831–1981. Eine Würdigung zu seinem 150. Geburtstag. Braunschweig: Friedr. Vieweg & Sohn.
Scholz, E. (Ed.). (1990). Geschichte der Algebra: Eine Einführung. Mannheim, Wien, Zürich: BI-Wissenschaftsverlag.
Serret, J.-A. (1866). Course d’Algèbre Supérieure (3rd ed., 2 Vols.). Paris: Gauthiers-Villars. First edition 1849.
Sylow, L. (1872). Théorèmes sur les groupes de substitutions. Mathematische Annalen, 5, 584–594.
van der Waerden, B. L. (1985). A history of algebra. Berlin: Springer.
Waterhouse, W. C. (1980). The early proofs of Sylow’s theorem. Archive for History of Exact Sciences, 21, 279–290.
Weber, H. (1896). Lehrbuch der Algebra (Vol. 2). Braunschweig: Vieweg.
Wussing, H. (1984). The genesis of the abstract group concept. Cambridge, MA: MIT Press. Translation of Die Genesis des abstrakten Gruppenbegriffes, VEB Deutscher Verlag der Wissenschaften, Berlin, 1969.
Young, J. (1893). On the determination of groups whose order is a power of a prime. American Journal of Mathematics, 15(2), 124–178.
Acknowledgements
This paper was presented at Meeting of the Canadian Society for History and Philosophy of Mathematics in Toronto (May 2006), at the GAP.6 Workshop Towards a New Epistemology of Mathematics in Berlin, (September 2006), and at the Meeting of the Canadian Mathematical Society in Toronto (December 2006). The author would like to thank the audiences, in particular Leo Corry, for their valuable comments. Translations are by the author, unless noted.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schlimm, D. On Abstraction and the Importance of Asking the Right Research Questions: Could Jordan have Proved the Jordan-Hölder Theorem?. Erkenn 68, 409–420 (2008). https://doi.org/10.1007/s10670-008-9108-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-008-9108-z