DLMF:24.10.E2 (Q8201): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: Q11083 / rank
 
Normal rank
Property / Symbols used: Q11083 / qualifier
 
DLMF defining formula:

B n Bernoulli-number-B 𝑛 {\displaystyle{\displaystyle B_{\NVar{n}}}}

\BernoullinumberB{\NVar{n}}
Property / Symbols used: Q11083 / qualifier
 
xml-id: C24.S2.SS1.m1aadec

Revision as of 02:06, 22 December 2021

No description defined
Language Label Description Also known as
English
DLMF:24.10.E2
No description defined

    Statements

    p B 2 n p - 1 ( mod p + 1 ) , modular-equivalence 𝑝 Bernoulli-number-B 2 𝑛 annotated 𝑝 1 pmod superscript 𝑝 1 {\displaystyle{\displaystyle pB_{2n}\equiv p-1\pmod{p^{\ell+1}},}}
    0 references
    B n Bernoulli-number-B 𝑛 {\displaystyle{\displaystyle B_{\NVar{n}}}}
    C24.S2.SS1.m1aadec
    0 references