Skip to main content

A Berlin Education

  • Chapter
  • First Online:
The Mathematics of Frobenius in Context

Abstract

Ferdinand Georg Frobenius was born in Berlin on 26 October 1849. He was a descendant of a family stemming from Thüringen, a former state in central Germany and later a part of East Germany. Georg Ludwig Frobenius (1566–1645), a prominent Hamburg publisher of scientific works, including those written by himself on philology, mathematics, and astronomy, was one of his ancestors. His father, Christian Ferdinand, was a Lutheran pastor, and his mother, Christiane Elisabeth Friedrich, was the daughter of a master clothmaker.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The following biographical details about Frobenius are drawn from [4, 22, 553].

  2. 2.

    A listing of the semesters in which Weierstrass lectured on abelian integrals and functions is given in vol. 3 of his Mathematische Werke, the volume containing of a version of these lectures.

  3. 3.

    According to Frobenius [202, p. 712], in 1858 Kronecker sent a (now lost) manuscript containing some such extension to Dirichlet and Kummer. In 1882, on the occasion of the fiftieth anniversary of Kummer’s doctorate, he presented a sketch of his ideas as they stood then [363], but they were difficult to follow. Edwards [150] has given a possible reconstruction of what Kronecker had in mind.

  4. 4.

    See Frobenius’ discussion of this and related results [202, pp. 712–713].

  5. 5.

    This is clear from the vita at the end of his doctoral dissertation [171, p. 34], as is the fact that his other courses at Berlin were in physics and philosophy.

  6. 6.

    In 1875 Frobenius published a paper [176] that was an outgrowth of the work he had done on the prize problem.

  7. 7.

    The occasion was a proposal to the Prussian minister of culture of a new associate professorship in mathematics, with Frobenius as the choice to fill the new position. The entire document is given by Biermann [22, pp. 189ff.]; the quotation below is from pp. 190–191.

  8. 8.

    A good description of Frobenius’ impressive results can be found in Meyer Hamburger’s review [259] of the German version of the Latin dissertation that Frobenius published three months later [172].

  9. 9.

    See [22, p. 85], where the quotations below about Frobenius’ dissertation and doctoral examination are given in the original German.

  10. 10.

    I am grateful to my colleague Dan Weiner for supplying the translations.

  11. 11.

    The information in this paragraph is drawn from a document published by Biermann [22, p. 191].

  12. 12.

    In discussing Fuchs’ work, as well as the related work of Frobenius, I have drawn upon Gray’s more definitive account [255, Chs. II–III].

  13. 13.

    Thomé should not be confused with Carl Johannes Thomae (1840–1921), who also worked in complex function theory but had received his doctorate from Göttingen in 1864 and then spent two semesters attending Weierstrass’ lectures in Berlin before becoming an instructor in Göttingen in 1866. In 1874 he became a full professor at the University of Freiburg, where he spent the rest of his career.

  14. 14.

    For an account of Schwarz’s work see [255, pp. 70–77].

  15. 15.

    Regarding Lie, see [276, Ch. 1]. For an accessible exposition of the modern approach to applying Galois’ ideas to the theory of differential equations of the Fuchsian class, see [377].

  16. 16.

    Let \(g(x) \in \mathbb{K}[x]\) denote the minimal polynomial of V with \(m =\deg g(x)\). Then since \(\mathbb{K}(a_{1},\ldots,a_{n}) = \mathbb{K}[V ]\), each root a i of f(x) is uniquely expressible as a polynomial in V, \(a_{i} =\phi _{i}(V )\), where \(\phi (x) \in \mathbb{K}[x]\) has degree at most m − 1. If \(V ^{\prime},V ^{\prime\prime},\ldots,{V }^{(m-1)}\) are the other roots of the minimal polynomial g(x), then G consists of m permutations \(\sigma _{1},\ldots,\sigma _{m}\) of \(a_{1},\ldots,a_{n}\) with σ k the mapping that takes the root \(a_{i} =\phi _{i}(V )\) to \(\phi _{i}({V }^{(k)})\), which is also a root a i ′ of f(x), so \(\sigma _{k}: a_{i} \rightarrow a_{i^{\prime}}\) for i = 1, , n and \(k = 0,\ldots,m - 1\). In the nineteenth century, permutations in the sense of mappings of a finite set of symbols were called “substitutions.” In the example at hand, σ k substituted the arrangement (or permutation) a 1 , , a n ′ for the original arrangement a 1, , a n . Readers interested in a more detailed and historically accurate portrayal of Galois’ ideas, including a detailed working out of Galois’ sketchy remarks about the construction and properties of V, should consult Edwards’ lucid exposition of Galois’ memoir [148], which includes as appendix an annotated English translation of the memoir.

  17. 17.

    Perhaps what he meant is illustrated by the example \(f(y,z) = {z}^{n}{y}^{n} - 1 = 0\). In this case, \({y}^{n} = 1/{z}^{n}\), and so letting z → z 0 = 0, y n → . Of course, \(f(y, 0) = -1\) is a polynomial of degree zero with no roots. What Frobenius meant more generally was perhaps that at singular points z = z 0, a n (z 0) = 0.

  18. 18.

    In what follows, I focus on the group G and omit the subgroups G  ∗  that result by adjunction of function elements, although Theorem IX applies more generally to G  ∗ .

  19. 19.

    Assume that \(f(y,z) \in \mathbb{K}[y]\), \(\mathbb{K} = \mathbb{C}(z)\), is irreducible and that a 1, , a m are the singular points a, meaning the points at which f(y, a) has a multiple root or has degree in y less than n, i.e., a n (a) = 0. By the identity theorem, the singular points are finite in number, say a 1, , a m . Let Γ denote a non-self-intersecting polygonal line joining \(a_{1},\ldots,a_{m},\infty \), and set \(D = \mathbb{C} \sim \Gamma \). Then D is an open, connected, and simply connected set, and by the Weierstrass monodromy theorem each locally defined root y j (z) has an extension Y j (z) to D that is single-valued and analytic. (See, e.g., [348, pp. 126–127].) The identity theorem implies that f(z, Y j (z)) = 0 throughout D. That same theorem implies that Frobenius’ Theorem IX holds with the y j (z) replaced by the Y j (z). Thus if \(\mathbb{L}\) is the field of all meromorphic functions defined on D and expressible rationally in terms of Y 1, , Y n , then \(\mathbb{L} \supset \mathbb{K} = \mathbb{C}(z)\) and \(\mathbb{L} = \mathbb{K}(Y _{1},\ldots,Y _{n})\) is a splitting field for f(y, z) over \(\mathbb{K}\). Furthermore, by Frobenius’ Theorem IX (as extended to Y 1, , Y n ), his group G can be identified with \(\mathrm{Aut}(\mathbb{L}, \mathbb{K})\). Thus G is a bona fide Galois group.

  20. 20.

    The French word is substitution, which was used in the nineteenth century for permutations in the modern sense of mappings, as indicated in the earlier footnote on Galois’ definition of the group associated to a polynomial equation.

  21. 21.

    The document is transcribed in full by Biermann [22, pp. 189–192]; see also his discussion of it [22, pp. 95–96].

  22. 22.

    Suppose f is irreducible over \(\mathbb{K}\) in the usual sense and that ( ∗ ) fails to hold. Then \(g \in \mathbb{K}[x]\) exists with degg < degf and \(g(a) = f(a) = 0\). But \((f,g)_{\mathbb{K}} = 1\), so \(p,q \in \mathbb{K}[x]\) exist such that \(p(x)f(x) + q(x)g(x) = 1\), and setting x = a implies 0 = 1. Conversely, if f satisfies ( ∗ ), it cannot be reducible, for then f(x) = g(x)h(x), where g, h have degrees less than n. If \(a \in \mathbb{C}\) is a root of f, then \(0 = f(a) = g(a)h(a)\) implies without loss of generality that g(a) = 0, contrary to ( ∗ ).

  23. 23.

    Frobenius submitted his paper [175] slightly earlier than Thomé submitted his [562]—24 April 1873 versus 7 May 1873—but I doubt this is the reason the theorem bears Frobenius’ name alone.

  24. 24.

    See Table 3.2 in Gray’s book [255, p. 87].

  25. 25.

    Chapter III of Gray’s book [255] is devoted to all the work done on Fuchs-type equations that can be integrated algebraically.

  26. 26.

    Stenographic notes of these lectures were reproduced by the university. Copies are located in the Bibliothek Mathematik und Geschichte der Naturwissenschaften at the University of Hamburg.

  27. 27.

    Weierstrass’ negative opinion of Frobenius’ fiancée and of his decision to leave Berlin for Zurich is contained in a letter to Sonya Kovalevskaya dated 23 September 1875 [28, p. 219].

References

  1. Anonymous. Georg Frobenius. Vierteljahrsschrift der Naturforschenden Gesellschaft in Zürich, page 719, 1917.

    Google Scholar 

  2. K.-R. Biermann. Die Mathematik und ihre Dozenten an der Berliner Universität 1810–1920. Akademie-Verlag, Berlin, 1973.

    MATH  Google Scholar 

  3. R. Bölling, editor. Briefwechsel zwischen Karl Weierstrass und Sofja Kowalewskaja. Akademie Verlag, Berlin, 1993.

    MATH  Google Scholar 

  4. A. L. Cauchy. Application du calcul des résidus à l’intégration de quelques équations différentielles linéaires et à coefficients variables. Exercises de mathématiques, 1, 1826. Reprinted in Oeuvres (2) 6, 261–264.

    Google Scholar 

  5. A. L. Cauchy. Mémoire sur les arrangements que l’on peut former avec des lettres donneés, et sur les permutations ou substitutions à la aide desquelles on passe d’un arrangement à un autre. Exercises d’analyse et de physique mathématique, 3:151–252, 1844. Reprinted in Oeuvres (2) 13, 171–282.

    Google Scholar 

  6. H. Edwards. Galois Theory. Springer-Verlag, New York, 1984.

    MATH  Google Scholar 

  7. H. Edwards. Divisor Theory. Birkhäuser, Boston, 1990.

    Book  MATH  Google Scholar 

  8. G. Frobenius. De functionum analyticarum unis variabilis per series infinitas repraesentatione. Dissertatio inauguralis mathematica … . A. W. Schadii, Berlin, 1870.

    Google Scholar 

  9. G. Frobenius. Über die Entwicklung analytischer Functionen in Reihen, die nach gegebenen Functionen fortschreiten. Jl. für die reine u. angew. Math., 73:1–30, 1871. Reprinted in Abhandlungen 1, 35–64. Essentially a German-language reworking of his Berlin dissertation [171].

    Google Scholar 

  10. G. Frobenius. Über die algebraischer Auflösbarkeit der Gleichungen, deren Coefficienten rationale Functionen einer Variablen sind. Jl. für die reine u. angew. Math., 74:254–272, 1872. Reprinted in Abhandlungen 1, 65–83.

    Google Scholar 

  11. G. Frobenius. Über die Integration der linearen Differentialgleichungen durch Reihen. Jl. für die reine u. angew. Math., 76:214–235, 1873. Reprinted in Abhandlungen 1, 84–105.

    Google Scholar 

  12. G. Frobenius. Über den Begriff der Irreductibilität in der Theorie der linearen Differentialgleichungen. Jl. für die reine u. angew. Math., 76:236–270, 1873. Reprinted in Abhandlungen 1, 106–140.

    Google Scholar 

  13. G. Frobenius. Anwendungen der Determinantentheorie auf die Geometrie des Maaßes. Jl. für die reine u. angew. Math., 79:184–247, 1875. Reprinted in Abhandlungen 1, 158–220.

    Google Scholar 

  14. G. Frobenius. Über algebraisch integrirbare lineare Differentialgleichungen. Jl. für die reine u. angew. Math., 80:183–193, 1875. Reprinted in Abhandlungen 1, 221–231.

    Google Scholar 

  15. G. Frobenius. Über die regulären Integrale der linearen Differentialgleichungen. Jl. für die reine u. angew. Math., 80:317–333, 1875. Reprinted in Abhandlungen 1, 232–248.

    Google Scholar 

  16. G. Frobenius. Gedächtnisrede auf Leopold Kronecker. Abhandlungen d. Akad. der Wiss. zu Berlin, pages 3–22, 1893. Reprinted in Abhandlungen 3, 707–724.

    Google Scholar 

  17. L. Fuchs. Zur Theorie der linearen Differentialgleichungen mit veränderlichen Coefficienten. Jahresbericht über die städtliche Gewerbeschule zu Berlin, Ostern 1865, 1865. Reprinted in Werke 1, 111–158.

    Google Scholar 

  18. L. Fuchs. Zur Theorie der linearen Differentialgleichungen mit veränderlichen Coefficienten. Jl. für die reine u. angew. Math., 66:121–160, 1866. Reprinted in Werke 1, 159–202.

    Google Scholar 

  19. L. Fuchs. Zur Theorie der linearen Differentialgleichungen mit veränderlichen Coefficienten (Ergänzungen zu der im 66sten Bande dieses Journals enthaltenen Abhandlung). Jl. für die reine u. angew. Math., 68:354–385, 1868. Reprinted in Werke 1, 205–240.

    Google Scholar 

  20. E. Galois. Oeuvres mathématiques d’Évariste Galois. Jl. de math. pures et appl., 11:381–444, 1846. Reprinted as a book, Oeuvres mathématiques d’Évariste Galois, Paris, 1897.

    Google Scholar 

  21. J. Gray. Linear Differential Equations and Group Theory from Riemann to Poincaré. Birkhäuser, Boston, 2nd edition, 2000.

    MATH  Google Scholar 

  22. M. Hamburger. Review of [172]. Jahrbuch über die Fortschritte der Mathematik, 3, 1874.

    Google Scholar 

  23. T. Hawkins. Emergence of the Theory of Lie Groups. An Essay on the History of Mathematics 1869–1926. Springer, New York, 2000.

    Google Scholar 

  24. C. Jordan. Traité des substitutions et des équations algébriques. Gauthier–Villars, Paris, 1870.

    Google Scholar 

  25. K. Knopp. Theory of Functions, Part II. Dover, New York, 1947. Translated from the 4th German edition.

    Google Scholar 

  26. L. Kronecker. Grundzüge einer arithmetischen Theorie der allgebraischen Grössen. (Abdruck einer Festschrift zu Herrn E. E. Kummers Doctor-Jubiläum, 10 September 1881.) Jl. für die reine u. angew. Math., 92:1–122, 1882. Reprinted in Werke 2, 237–387.

    Google Scholar 

  27. M. Kuga. Galois’ Dream: Group Theory and Differenial Equations. Birkhäuser, Boston, 1993. Translated from the Japanese by Susan Addington and Motohico Mulase.

    Book  MATH  Google Scholar 

  28. B. Riemann. Theorie der Abel’schen Functionen. Jl. für die reine u. angew. Math., 54, 1857. Reprinted in Werke, pp. 88–144.

    Google Scholar 

  29. N. Stuloff. Frobenius: Ferdinand Georg, Mathematiker. In Neue Deutsche Biographie, volume 5, page 641. Duncker and Humblot, 1960.

    Google Scholar 

  30. L. W. Thomé. Zur Theorie der linearen Differentialgleichungen. Jl. für die reine u. angew. Math., 76:273–302, 1873.

    Article  Google Scholar 

  31. H. Wussing. The Genesis of the Abstract Group Concept. A Contribution to the History of Abstract Group Theory. MIT Press, Cambridge, MA, 1984. Abe Shenitzer, transl., 1984. Translation of [612].

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer Science+Business Media New York

About this chapter

Cite this chapter

Hawkins, T. (2013). A Berlin Education. In: The Mathematics of Frobenius in Context. Sources and Studies in the History of Mathematics and Physical Sciences. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-6333-7_1

Download citation

Publish with us

Policies and ethics