Namespaces
Variants
Actions

Difference between revisions of "Von Staudt-Clausen theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 56 formulas out of 56 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
An important result on the arithmetic of the [[Bernoulli numbers|Bernoulli numbers]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200601.png" />, first published in 1840 by Th. Clausen [[#References|[a1]]] without proof, and independently by K.G.C. von Staudt [[#References|[a2]]]:
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200602.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
Out of 56 formulas, 56 were replaced by TEX code.-->
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200603.png" /> is an integer and the summation is over all prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200604.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200605.png" /> divides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200606.png" /> (cf. also [[Prime number|Prime number]]). Since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200607.png" />, the identity (a1) holds also for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200608.png" />. An immediate consequence of the von Staudt–Clausen theorem is the complete determination of the denominators of the Bernoulli numbers: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v1200609.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006010.png" />, then
+
{{TEX|semi-auto}}{{TEX|done}}
 +
An important result on the arithmetic of the [[Bernoulli numbers|Bernoulli numbers]] $B _ { n }$, first published in 1840 by Th. Clausen [[#References|[a1]]] without proof, and independently by K.G.C. von Staudt [[#References|[a2]]]:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006011.png" /></td> </tr></table>
+
\begin{equation} \tag{a1} B _ { 2 n } = A _ { 2 n } - \sum _ { p - 1 | 2 n } \frac { 1 } { p }, \end{equation}
 +
 
 +
where $A _ { 2n }$ is an integer and the summation is over all prime numbers $p$ such that $p - 1$ divides $2 n$ (cf. also [[Prime number|Prime number]]). Since $B _ { 1 } = - 1 / 2$, the identity (a1) holds also for $B _ { 1 }$. An immediate consequence of the von Staudt–Clausen theorem is the complete determination of the denominators of the Bernoulli numbers: If $B _ { 2 n } = N _ { 2 n } / D _ { 2 n }$, with $\operatorname { gcd } ( N _ { 2n } , D _ { 2n } ) = 1$, then
 +
 
 +
\begin{equation*} D _ { 2 n } = \prod _ { p - 1 | 2 n } p. \end{equation*}
  
 
The von Staudt–Clausen theorem has been extended in a variety of ways, among them:
 
The von Staudt–Clausen theorem has been extended in a variety of ways, among them:
  
1) K.G.C. von Staudt [[#References|[a3]]] showed that the integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006012.png" /> in (a1) has the same parity as the number of primes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006013.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006014.png" />; M.A. Stern [[#References|[a4]]] derived a congruence modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006015.png" /> between these two quantities. Ch. Hermite [[#References|[a5]]] found a recurrence relation among the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006016.png" />, and R. Lipschitz [[#References|[a6]]] derived an asymptotic relation for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006017.png" />.
+
1) K.G.C. von Staudt [[#References|[a3]]] showed that the integer $A _ { 2n }$ in (a1) has the same parity as the number of primes $p$ such that $p - 1 \mid 2 n$; M.A. Stern [[#References|[a4]]] derived a congruence modulo $4$ between these two quantities. Ch. Hermite [[#References|[a5]]] found a recurrence relation among the $A _ { 2n }$, and R. Lipschitz [[#References|[a6]]] derived an asymptotic relation for the $A _ { 2n }$.
  
2) The identity (a1) implies that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006018.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006019.png" />. L. Carlitz [[#References|[a7]]] showed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006020.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006021.png" /> is a prime number and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006022.png" />. A different extension modulo higher powers of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006023.png" /> is given in [[#References|[a8]]].
+
2) The identity (a1) implies that $p B _ { 2 n } \equiv - 1 ( \operatorname { mod } p )$ if $p - 1 \mid 2 n$. L. Carlitz [[#References|[a7]]] showed that $p B _ { 2 n } \equiv p - 1 ( \operatorname { mod } p ^ { h + 1 } )$ if $p$ is a prime number and $( p - 1 ) p ^ { h } | 2 n$. A different extension modulo higher powers of $p$ is given in [[#References|[a8]]].
  
3) H.S. Vandiver [[#References|[a9]]] extended (a1) to [[Bernoulli polynomials|Bernoulli polynomials]] evaluated at rational arguments: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006025.png" /> be relatively prime integers. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006026.png" /> is even, then
+
3) H.S. Vandiver [[#References|[a9]]] extended (a1) to [[Bernoulli polynomials|Bernoulli polynomials]] evaluated at rational arguments: Let $h$ and $k$ be relatively prime integers. If $n$ is even, then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006027.png" /></td> </tr></table>
+
\begin{equation*} k ^ { n } B _ { n } \left( \frac { h } { k } \right) = G _ { n } - \sum \frac { 1 } { p }, \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006028.png" /> is an integer and the summation is over all prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006029.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006030.png" /> but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006031.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006032.png" /> is odd, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006033.png" /> is an integer, except for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006035.png" /> odd, in which case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006036.png" />. It has also been shown [[#References|[a10]]] that for all integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006038.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006039.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006040.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006042.png" /> is an integer.
+
where $G_n$ is an integer and the summation is over all prime numbers $p$ such that $p - 1 | n$ but $p \nmid k$. If $n$ is odd, then $k ^ { n } B _ { n } ( h / k )$ is an integer, except for $n = 1$ and $k$ odd, in which case $k B _ { 1 } ( h / k ) = G _ { 1 } + 1 / 2$. It has also been shown [[#References|[a10]]] that for all integers $h$, $k$, $n$ with $k \neq 0$ and $n \geq 1$, $k ^ { n } ( B _ { n } ( h / k ) - B _ { n } )$ is an integer.
  
4) Von Staudt [[#References|[a3]]] proved a related result on the numerators of the Bernoulli numbers. Combined with (a1), it can be given in the following form: For any integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006043.png" />, the denominator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006044.png" /> is
+
4) Von Staudt [[#References|[a3]]] proved a related result on the numerators of the Bernoulli numbers. Combined with (a1), it can be given in the following form: For any integer $n \geq 1$, the denominator of $B _ { n } / n$ is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006045.png" /></td> </tr></table>
+
\begin{equation*} d _ { n } = \prod _ { p - 1 | n } p ^ { 1 + v _ { p } ( n ) }, \end{equation*}
  
where the product is over all prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006046.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006047.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006048.png" /> denotes the highest power of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006049.png" /> dividing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006050.png" />.
+
where the product is over all prime numbers $p$ such that $p - 1 | n$, and $v _ { p } ( n )$ denotes the highest power of $p$ dividing $n$.
  
5) R. Rado [[#References|[a11]]] showed that, given a positive integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006051.png" />, there exist infinitely many Bernoulli numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006052.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006053.png" /> is an integer.
+
5) R. Rado [[#References|[a11]]] showed that, given a positive integer $n$, there exist infinitely many Bernoulli numbers $B _ { m }$ such that $B _ { m } - B _ { n }$ is an integer.
  
Numerous results on Bernoulli and allied numbers rely on the von Staudt–Clausen theorem. An early application was the explicit evaluation of Bernoulli numbers; more recent applications lie, for instance, in the theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006056.png" />-adic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006057.png" />-functions; see [[#References|[a12]]], p. 56.
+
Numerous results on Bernoulli and allied numbers rely on the von Staudt–Clausen theorem. An early application was the explicit evaluation of Bernoulli numbers; more recent applications lie, for instance, in the theory of $p$-adic $L$-functions; see [[#References|[a12]]], p. 56.
  
 
The von Staudt–Clausen theorem has been generalized in various directions. In particular, analogues of the theorem exist for most concepts of generalized Bernoulli numbers, among them the generalized Bernoulli numbers associated with Dirichlet characters (see, e.g., [[#References|[a13]]]), degenerate Bernoulli numbers [[#References|[a14]]], periodic Bernoulli numbers (or cotangent numbers) [[#References|[a15]]], Bernoulli–Carlitz numbers [[#References|[a16]]], Bernoulli–Hurwitz numbers [[#References|[a17]]], and others. Another vast generalization was given by F. Clarke [[#References|[a18]]].
 
The von Staudt–Clausen theorem has been generalized in various directions. In particular, analogues of the theorem exist for most concepts of generalized Bernoulli numbers, among them the generalized Bernoulli numbers associated with Dirichlet characters (see, e.g., [[#References|[a13]]]), degenerate Bernoulli numbers [[#References|[a14]]], periodic Bernoulli numbers (or cotangent numbers) [[#References|[a15]]], Bernoulli–Carlitz numbers [[#References|[a16]]], Bernoulli–Hurwitz numbers [[#References|[a17]]], and others. Another vast generalization was given by F. Clarke [[#References|[a18]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  Th. Clausen,  "Lehrsatz aus einer Abhandlung über die Bernoullischen Zahlen"  ''Astr. Nachr.'' , '''17'''  (1840)  pp. 351–352</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  K.G.C. von Staudt,  "Beweis eines Lehrsatzes die Bernoulli'schen Zahlen betreffend"  ''J. Reine Angew. Math.'' , '''21'''  (1840)  pp. 372–374</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  K.G.C. von Staudt,  "De Numeris Bernoullianis" , Erlangen  (1845)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  M.A. Stern,  "Über eine Eigenschaft der Bernoulli'schen Zahlen"  ''J. Reine Angew. Math.'' , '''81'''  (1876)  pp. 290–294</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  Ch. Hermite,  "Extrait d'une lettre à M. Borchardt (sur les nombres de Bernoulli)"  ''J. Reine Angew. Math.'' , '''81'''  (1876)  pp. 93–95</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  R. Lipschitz,  "Sur la représentation asymptotique de la valeur numérique ou de la partie entière des nombres de Bernoulli"  ''Bull. Sci. Math. (2)'' , '''10'''  (1886)  pp. 135–144</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  L. Carlitz,  "A note on the Staudt–Clausen theorem"  ''Amer. Math. Monthly'' , '''64'''  (1957)  pp. 19–21</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  Zhi-Hong Sun,  "Congruences for Bernoulli numbers and Bernoulli polynomials"  ''Discrete Math.'' , '''163'''  (1997)  pp. 153–163</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  H.S. Vandiver,  "Simple explicit expressions for generalized Bernoulli numbers of the first order"  ''Duke Math. J.'' , '''8'''  (1941)  pp. 575–584</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  F. Clarke,  I.Sh. Slavutskii,  "The integrality of the values of Bernoulli polynomials and of generalised Bernoulli numbers"  ''Bull. London Math. Soc.'' , '''29'''  (1997)  pp. 22–24</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  R. Rado,  "A note on Bernoullian numbers"  ''J. London Math. Soc.'' , '''9'''  (1934)  pp. 88–90</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  L.C. Washington,  "Introduction to cyclotomic fields" , Springer  (1982)  (Second ed.: 1996)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  L. Carlitz,  "Arithmetic properties of generalized Bernoulli numbers"  ''J. Reine Angew. Math.'' , '''202'''  (1959)  pp. 174–182</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  L. Carlitz,  "A degenerate Staudt–Clausen theorem"  ''Arch. Math. Phys.'' , '''7'''  (1956)  pp. 28–33</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  K. Girstmair,  "Ein v. Staudt–Clausenscher Satz für periodische Bernoulli–Zahlen"  ''Monatsh. Math.'' , '''104'''  (1987)  pp. 109–118</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  D. Goss,  "Von Staudt for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v120/v120060/v12006058.png" />"  ''Duke Math. J.'' , '''45'''  (1978)  pp. 887–910</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  N. Katz,  "The congruences of Clausen–von Staudt and Kummer for Bernoulli–Hurwitz numbers"  ''Math. Ann.'' , '''216'''  (1975)  pp. 1–4</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  F. Clarke,  "The universal von Staudt theorems"  ''Trans. Amer. Math. Soc.'' , '''315'''  (1989)  pp. 591–603</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  Th. Clausen,  "Lehrsatz aus einer Abhandlung über die Bernoullischen Zahlen"  ''Astr. Nachr.'' , '''17'''  (1840)  pp. 351–352</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  K.G.C. von Staudt,  "Beweis eines Lehrsatzes die Bernoulli'schen Zahlen betreffend"  ''J. Reine Angew. Math.'' , '''21'''  (1840)  pp. 372–374</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  K.G.C. von Staudt,  "De Numeris Bernoullianis" , Erlangen  (1845)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  M.A. Stern,  "Über eine Eigenschaft der Bernoulli'schen Zahlen"  ''J. Reine Angew. Math.'' , '''81'''  (1876)  pp. 290–294</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  Ch. Hermite,  "Extrait d'une lettre à M. Borchardt (sur les nombres de Bernoulli)"  ''J. Reine Angew. Math.'' , '''81'''  (1876)  pp. 93–95</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  R. Lipschitz,  "Sur la représentation asymptotique de la valeur numérique ou de la partie entière des nombres de Bernoulli"  ''Bull. Sci. Math. (2)'' , '''10'''  (1886)  pp. 135–144</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  L. Carlitz,  "A note on the Staudt–Clausen theorem"  ''Amer. Math. Monthly'' , '''64'''  (1957)  pp. 19–21</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  Zhi-Hong Sun,  "Congruences for Bernoulli numbers and Bernoulli polynomials"  ''Discrete Math.'' , '''163'''  (1997)  pp. 153–163</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  H.S. Vandiver,  "Simple explicit expressions for generalized Bernoulli numbers of the first order"  ''Duke Math. J.'' , '''8'''  (1941)  pp. 575–584</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  F. Clarke,  I.Sh. Slavutskii,  "The integrality of the values of Bernoulli polynomials and of generalised Bernoulli numbers"  ''Bull. London Math. Soc.'' , '''29'''  (1997)  pp. 22–24</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  R. Rado,  "A note on Bernoullian numbers"  ''J. London Math. Soc.'' , '''9'''  (1934)  pp. 88–90</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  L.C. Washington,  "Introduction to cyclotomic fields" , Springer  (1982)  (Second ed.: 1996)</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  L. Carlitz,  "Arithmetic properties of generalized Bernoulli numbers"  ''J. Reine Angew. Math.'' , '''202'''  (1959)  pp. 174–182</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  L. Carlitz,  "A degenerate Staudt–Clausen theorem"  ''Arch. Math. Phys.'' , '''7'''  (1956)  pp. 28–33</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  K. Girstmair,  "Ein v. Staudt–Clausenscher Satz für periodische Bernoulli–Zahlen"  ''Monatsh. Math.'' , '''104'''  (1987)  pp. 109–118</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  D. Goss,  "Von Staudt for $F _ { q } ( T )$"  ''Duke Math. J.'' , '''45'''  (1978)  pp. 887–910</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  N. Katz,  "The congruences of Clausen–von Staudt and Kummer for Bernoulli–Hurwitz numbers"  ''Math. Ann.'' , '''216'''  (1975)  pp. 1–4</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  F. Clarke,  "The universal von Staudt theorems"  ''Trans. Amer. Math. Soc.'' , '''315'''  (1989)  pp. 591–603</td></tr></table>

Latest revision as of 16:55, 1 July 2020

An important result on the arithmetic of the Bernoulli numbers $B _ { n }$, first published in 1840 by Th. Clausen [a1] without proof, and independently by K.G.C. von Staudt [a2]:

\begin{equation} \tag{a1} B _ { 2 n } = A _ { 2 n } - \sum _ { p - 1 | 2 n } \frac { 1 } { p }, \end{equation}

where $A _ { 2n }$ is an integer and the summation is over all prime numbers $p$ such that $p - 1$ divides $2 n$ (cf. also Prime number). Since $B _ { 1 } = - 1 / 2$, the identity (a1) holds also for $B _ { 1 }$. An immediate consequence of the von Staudt–Clausen theorem is the complete determination of the denominators of the Bernoulli numbers: If $B _ { 2 n } = N _ { 2 n } / D _ { 2 n }$, with $\operatorname { gcd } ( N _ { 2n } , D _ { 2n } ) = 1$, then

\begin{equation*} D _ { 2 n } = \prod _ { p - 1 | 2 n } p. \end{equation*}

The von Staudt–Clausen theorem has been extended in a variety of ways, among them:

1) K.G.C. von Staudt [a3] showed that the integer $A _ { 2n }$ in (a1) has the same parity as the number of primes $p$ such that $p - 1 \mid 2 n$; M.A. Stern [a4] derived a congruence modulo $4$ between these two quantities. Ch. Hermite [a5] found a recurrence relation among the $A _ { 2n }$, and R. Lipschitz [a6] derived an asymptotic relation for the $A _ { 2n }$.

2) The identity (a1) implies that $p B _ { 2 n } \equiv - 1 ( \operatorname { mod } p )$ if $p - 1 \mid 2 n$. L. Carlitz [a7] showed that $p B _ { 2 n } \equiv p - 1 ( \operatorname { mod } p ^ { h + 1 } )$ if $p$ is a prime number and $( p - 1 ) p ^ { h } | 2 n$. A different extension modulo higher powers of $p$ is given in [a8].

3) H.S. Vandiver [a9] extended (a1) to Bernoulli polynomials evaluated at rational arguments: Let $h$ and $k$ be relatively prime integers. If $n$ is even, then

\begin{equation*} k ^ { n } B _ { n } \left( \frac { h } { k } \right) = G _ { n } - \sum \frac { 1 } { p }, \end{equation*}

where $G_n$ is an integer and the summation is over all prime numbers $p$ such that $p - 1 | n$ but $p \nmid k$. If $n$ is odd, then $k ^ { n } B _ { n } ( h / k )$ is an integer, except for $n = 1$ and $k$ odd, in which case $k B _ { 1 } ( h / k ) = G _ { 1 } + 1 / 2$. It has also been shown [a10] that for all integers $h$, $k$, $n$ with $k \neq 0$ and $n \geq 1$, $k ^ { n } ( B _ { n } ( h / k ) - B _ { n } )$ is an integer.

4) Von Staudt [a3] proved a related result on the numerators of the Bernoulli numbers. Combined with (a1), it can be given in the following form: For any integer $n \geq 1$, the denominator of $B _ { n } / n$ is

\begin{equation*} d _ { n } = \prod _ { p - 1 | n } p ^ { 1 + v _ { p } ( n ) }, \end{equation*}

where the product is over all prime numbers $p$ such that $p - 1 | n$, and $v _ { p } ( n )$ denotes the highest power of $p$ dividing $n$.

5) R. Rado [a11] showed that, given a positive integer $n$, there exist infinitely many Bernoulli numbers $B _ { m }$ such that $B _ { m } - B _ { n }$ is an integer.

Numerous results on Bernoulli and allied numbers rely on the von Staudt–Clausen theorem. An early application was the explicit evaluation of Bernoulli numbers; more recent applications lie, for instance, in the theory of $p$-adic $L$-functions; see [a12], p. 56.

The von Staudt–Clausen theorem has been generalized in various directions. In particular, analogues of the theorem exist for most concepts of generalized Bernoulli numbers, among them the generalized Bernoulli numbers associated with Dirichlet characters (see, e.g., [a13]), degenerate Bernoulli numbers [a14], periodic Bernoulli numbers (or cotangent numbers) [a15], Bernoulli–Carlitz numbers [a16], Bernoulli–Hurwitz numbers [a17], and others. Another vast generalization was given by F. Clarke [a18].

References

[a1] Th. Clausen, "Lehrsatz aus einer Abhandlung über die Bernoullischen Zahlen" Astr. Nachr. , 17 (1840) pp. 351–352
[a2] K.G.C. von Staudt, "Beweis eines Lehrsatzes die Bernoulli'schen Zahlen betreffend" J. Reine Angew. Math. , 21 (1840) pp. 372–374
[a3] K.G.C. von Staudt, "De Numeris Bernoullianis" , Erlangen (1845)
[a4] M.A. Stern, "Über eine Eigenschaft der Bernoulli'schen Zahlen" J. Reine Angew. Math. , 81 (1876) pp. 290–294
[a5] Ch. Hermite, "Extrait d'une lettre à M. Borchardt (sur les nombres de Bernoulli)" J. Reine Angew. Math. , 81 (1876) pp. 93–95
[a6] R. Lipschitz, "Sur la représentation asymptotique de la valeur numérique ou de la partie entière des nombres de Bernoulli" Bull. Sci. Math. (2) , 10 (1886) pp. 135–144
[a7] L. Carlitz, "A note on the Staudt–Clausen theorem" Amer. Math. Monthly , 64 (1957) pp. 19–21
[a8] Zhi-Hong Sun, "Congruences for Bernoulli numbers and Bernoulli polynomials" Discrete Math. , 163 (1997) pp. 153–163
[a9] H.S. Vandiver, "Simple explicit expressions for generalized Bernoulli numbers of the first order" Duke Math. J. , 8 (1941) pp. 575–584
[a10] F. Clarke, I.Sh. Slavutskii, "The integrality of the values of Bernoulli polynomials and of generalised Bernoulli numbers" Bull. London Math. Soc. , 29 (1997) pp. 22–24
[a11] R. Rado, "A note on Bernoullian numbers" J. London Math. Soc. , 9 (1934) pp. 88–90
[a12] L.C. Washington, "Introduction to cyclotomic fields" , Springer (1982) (Second ed.: 1996)
[a13] L. Carlitz, "Arithmetic properties of generalized Bernoulli numbers" J. Reine Angew. Math. , 202 (1959) pp. 174–182
[a14] L. Carlitz, "A degenerate Staudt–Clausen theorem" Arch. Math. Phys. , 7 (1956) pp. 28–33
[a15] K. Girstmair, "Ein v. Staudt–Clausenscher Satz für periodische Bernoulli–Zahlen" Monatsh. Math. , 104 (1987) pp. 109–118
[a16] D. Goss, "Von Staudt for $F _ { q } ( T )$" Duke Math. J. , 45 (1978) pp. 887–910
[a17] N. Katz, "The congruences of Clausen–von Staudt and Kummer for Bernoulli–Hurwitz numbers" Math. Ann. , 216 (1975) pp. 1–4
[a18] F. Clarke, "The universal von Staudt theorems" Trans. Amer. Math. Soc. , 315 (1989) pp. 591–603
How to Cite This Entry:
Von Staudt-Clausen theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Von_Staudt-Clausen_theorem&oldid=50084
This article was adapted from an original article by K. Dilcher (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article