login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A046094 Agoh's congruence; a(n) is conjectured to be 1 iff n is prime. 4

%I #34 Aug 08 2017 09:33:51

%S 0,1,1,0,1,0,1,0,3,0,1,0,1,0,5,0,1,0,1,0,7,0,1,0,5,0,9,0,1,0,1,0,11,0,

%T 0,0,1,0,13,0,1,0,1,0,24,0,1,0,7,0,17,0,1,0,0,0,19,0,1,0,1,0,21,0,13,

%U 0,1,0,23,0,1,0,1,0,25,0,0,0,1,0,27,0,1,0,17,0,29,0,1,0,13,0,31,0,0,0,1,0

%N Agoh's congruence; a(n) is conjectured to be 1 iff n is prime.

%H Seiichi Manyama, <a href="/A046094/b046094.txt">Table of n, a(n) for n = 1..1000</a>

%H D. Borwein, J. M. Borwein, P. B. Borwein and R. Girgensohn, <a href="http://dx.doi.org/10.2307/2975213">Giuga's conjecture on primality</a>, The American Mathematical Monthly, Vol. 103, No. 1 (1996), 40-50.

%H Romeo Meštrović, <a href="http://arxiv.org/abs/1305.1867">Generalizations of Carmichael numbers I,</a> arXiv:1305.1867v1 [math.NT], May 4, 2013.

%H R. Mestrovic, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL17/Mestrovic/mes4.html">On a Congruence Modulo n^3 Involving Two Consecutive Sums of Powers</a>, Journal of Integer Sequences, Vol. 17 (2014), 14.8.4.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/AgohsConjecture.html">Agoh's Conjecture</a>

%H <a href="/index/Be#Bernoulli">Index entries for sequences related to Bernoulli numbers.</a>

%F a(n) = - n*Bernoulli(n-1) mod n.

%e - 21 * Bernoulli(20) = 21 * 174611 / 330 = 1222277 / 110 and 1 / 110 == 17 mod 21, so a(21) = 1222277 * 17 mod 21 = 7. - _Jonathan Sondow_, Aug 13 2013

%t a[ n_ ] := Mod[ Numerator[ -n* BernoulliB[ n-1 ]]*PowerMod[ Denominator[ n*BernoulliB[ n-1 ] ], -1, n ], n ] (* _Jonathan Sondow_, Aug 13 2013 *)

%o (PARI) a(n) = -n*bernfrac(n-1) % n; \\ _Michel Marcus_, Aug 08 2017

%Y Cf. A228037.

%K nonn

%O 1,9

%A _Eric W. Weisstein_

%E a(21), a(51), a(57), a(65), a(81) corrected by _Jonathan Sondow_, Aug 13 2013

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 29 06:44 EDT 2024. Contains 371265 sequences. (Running on oeis4.)