Advertisement

Theorem of Clausen and von Staudt, and Kummer’s Congruence

  • Tomoyoshi Ibukiyama
  • Masanobu Kaneko
Chapter
Part of the Springer Monographs in Mathematics book series (SMM)

Abstract

The denominators of the Bernoulli numbers can be completely determined. This is due to Clausen [26] and von Staudt [96]. More precisely, the “fractional part” of B n is given by the following theorem. This result gives a foundation for studying p-adic properties of the Bernoulli numbers. It also plays a fundamental role in the theory of p-adic modular forms through the Eisenstein series [82].

Keywords

Modular Form Eisenstein Series Class Number Projective Geometry Hypergeometric Series 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 13.
    Berggren, L., Borwein, J., Borwein, P.: Pi, A Source Book. Springer, New York (1997)CrossRefMATHGoogle Scholar
  2. 17.
    Biermann, K.-R.: Thomas Clausen, Mathematiker und Astronom. J. Reine Angew. Math. 216, 159–198 (1964)MATHMathSciNetGoogle Scholar
  3. 18.
    Biermann, K.-R.: Kummer, Ernst Eduard, in Dictionary of Scientific Biography, vols. 7 & 8. Charles Scribner’s Sons, New York (1981)Google Scholar
  4. 19.
    Bjerknes, C.A.: Niels-Henrik Abel, Tableau de sa vie et de son Action Scientifique. Cambridge University Press, Cambridge (2012)CrossRefGoogle Scholar
  5. 23.
    Clausen, T.: Ueber die Fälle, wenn die Reihe von der Form \(y = 1 + \frac{\alpha } {1} \cdot \frac{\beta }{\gamma }x + \frac{\alpha.\alpha +1} {1.2} \cdot \frac{\beta.\beta +1} {\gamma.\gamma +1}x^{2} +\mathrm{ etc.}\) ein Quadrat von der Form \(z = 1 + \frac{\alpha ^{{\prime}}} {1} \cdot \frac{\beta ^{{\prime}}} {\gamma ^{{\prime}}}\frac{\delta ^{{\prime}}} {\varepsilon ^{{\prime}}}x + \frac{\alpha ^{{\prime}}.\alpha ^{{\prime}}+1} {1.2} \cdot \frac{\beta ^{{\prime}}.\beta ^{{\prime}}+1} {\gamma ^{{\prime}}.\gamma ^{{\prime}}+1} \cdot \frac{\delta ^{{\prime}}.\delta ^{{\prime}}+1} {\varepsilon ^{{\prime}}.\varepsilon ^{{\prime}}+1}x^{2} +\mathrm{ etc.}\) hat. J. Reine Angew. Math. 3, 89–91 (1828)Google Scholar
  6. 24.
    Clausen, T.: Über die Function \(\sin \varphi + \frac{1} {2^{2}} \sin 2\varphi + \frac{1} {3^{2}} \sin 3\varphi +\mathrm{ etc.}\). J. Reine Angew. Math. 8, 298–300 (1832)Google Scholar
  7. 25.
    Clausen, T.: Beweis, daß die algebraischen Gleichungen Wurzeln von der Form a + bi haben. Astron. Nachr. 17, 325–330 (1840)CrossRefGoogle Scholar
  8. 26.
    Clausen, T.: Lehrsatz aus einer Abhandlung über die Bernoullischen Zahlen. Astron. Nachr. 17, 351–352 (1840)Google Scholar
  9. 31.
    Edwards, H.W.: Fermat’s Last Theorem. A Genetic Introduction to Algebraic Number Theory. Springer, New York-Berlin (1977)CrossRefMATHGoogle Scholar
  10. 40.
    Hensel, K.: Festschrift zur Feier des 100. Geburtstages Eduard Kummers, B.G. Teubner, 1910. (Kummer’s collected papers, 33–69)MATHGoogle Scholar
  11. 63.
    Kummer, E.E.: Über die hypergeometrische Reihe \(1 + \frac{\alpha \cdot \beta } {1\cdot \gamma }x + \frac{\alpha (\alpha +1)\beta (\beta +1)} {1\cdot 2\cdot \gamma (\gamma +1)} x^{2} + \frac{\alpha (\alpha +1)(\alpha +2)\beta (\beta +1)(\beta +2)} {1\cdot 2\cdot 3\cdot \gamma (\gamma +1)(\gamma +2)} x^{3}+\ldots\). J. Reine Angew. Math. 15, 39–83, 127–172 (1836). (Collected papers II, 75–166)Google Scholar
  12. 64.
    Kummer, E.E.: Über eine allgemeine Eigenschaft der rationalen Entwicklungscoefficienten einer bestimmten Gattung analytischer Functionen. J. Reine Angew. Math. 41, 368–372 (1851). (Collected papers I, 358–362)Google Scholar
  13. 65.
    Lampe, E.: Nachruf für Ernst Eduard Kummer. Jahresbericht der Deutschen Mathematiker-vereinigung 3, 13–21 (1894). (Kummer’s collected papers I, 15–30)Google Scholar
  14. 74.
    Noether, M.: Zur Erinnerung an Karl Georg Christian von Staudt. Jahresbericht d. Deutschen Mathem.-Vereinigung 32, 97–119 (1923)MATHGoogle Scholar
  15. 79.
    Ribenboim, P.: 13 Lectures on Fermat’s Last Theorem. Springer, New York-Heidelberg-Berlin (1979)CrossRefMATHGoogle Scholar
  16. 81.
    Scherk, H.F.: Über einen allgemeinen, die Bernoullischen Zahlen und die Coëfficienten der Secantenreihe zugleich darstellenden Ausdruck. J. Reine Angew. Math. 4, 299–304 (1829)CrossRefMATHGoogle Scholar
  17. 82.
    Serre, J.-P.: Formes modulaires et fonctions zêta p-adiques. Lect. Notes in Math., vol. 350, pp. 191–268. Springer (1973). (Collected papers III, 95–172)Google Scholar
  18. 88.
    Slavutskii, I.Sh.: Staudt and arithmetical properties of Bernoulli numbers. Historia Scientiarum 5–1, 69–74 (1995)MathSciNetGoogle Scholar
  19. 96.
    von Staudt, K.G.C.: Beweis eines Lehrsatzes, die Bernoullischen Zahlen betreffend. J. Für Reine u. Angew. Math. 21, 372–374 (1840)CrossRefMATHGoogle Scholar
  20. 97.
    von Staudt, K.G.C.: Beweis des Satzes, daß jede algebraische rationale ganze Function von einer Veränderlichen in Faktoren vom ersten Grade aufgelöst werden kann. J. Für Reine u. Angew. Math. 29, 97–102 (1845)CrossRefMATHGoogle Scholar
  21. 100.
    Washington, L.C.: Introduction to Cyclotomic Fields. Graduate Text in Mathematics, vol. 83. Springer (1982)Google Scholar

Copyright information

© Springer Japan 2014

Authors and Affiliations

  • Tomoyoshi Ibukiyama
    • 1
  • Masanobu Kaneko
    • 2
  1. 1.Osaka UniversityOsakaJapan
  2. 2.Kyushu UniversityFukuokaJapan

Personalised recommendations