A232932 The least positive integer k such that Kronecker(D/k) = -1 where D runs through all negative fundamental discriminants (-A003657).
2, 3, 3, 5, 2, 7, 2, 11, 5, 13, 3, 2, 7, 3, 2, 5, 2, 3, 3, 11, 2, 2, 5, 7, 3, 2, 13, 5, 3, 2, 7, 3, 11, 2, 11, 2, 7, 11, 7, 2, 3, 2, 5, 3, 2, 5, 3, 3, 5, 2, 11, 2, 13, 5, 5, 2, 5, 3, 2, 7, 2, 3, 2, 2, 5, 13, 2, 3, 2, 5, 17, 3, 2, 7, 3, 3, 5, 2, 13, 2, 7, 5, 19, 2, 3, 11, 3, 2, 5, 2, 3, 3, 7, 2, 5, 2, 5, 11, 5, 3, 2, 5, 3, 2, 11, 2, 3, 7, 2, 2, 11, 7, 3, 2, 5, 3, 2, 5, 3, 3, 2, 11, 2, 19, 5, 5, 2, 3, 2, 17, 3, 2, 7, 2, 3, 3, 13, 2, 5, 2, 5, 11, 7, 3, 2, 7, 3, 13, 2, 3, 5, 2, 2
Offset: 1
Keywords
Examples
A003657(4) = 8, (-8/5) = -1, (-8/3) = 1 and (-8/2) = 0, so a(4) = 5.
Links
- Amiram Eldar, Table of n, a(n) for n = 1..10000
- S. R. Finch, Average least nonresidues, December 4, 2013. [Cached copy, with permission of the author]
- P. Pollack, The average least quadratic nonresidue modulo m and other variations on a theme of Erdős, J. Number Theory 132 (2012) 1185-1202.
Programs
-
Mathematica
nMax = 200; FundamentalDiscriminantQ[n_] := n != 1 && (Mod[n, 4] == 1 || ! Unequal[Mod[n, 16], 8, 12]) && SquareFreeQ[n/2^IntegerExponent[n, 2]]; discrims = Select[-Range[4 nMax], FundamentalDiscriminantQ]; f[d_] := For[k = 1, True, k++, If[FreeQ[{0, 1}, KroneckerSymbol[d, k]], Return[k] ] ]; a[n_] := f[discrims[[n]]]; Table[a[n], {n, 1, nMax}] (* Jean-François Alcover, Nov 05 2016, after Robert G. Wilson v *)
Formula
Extensions
Name simplified by Jianing Song, Feb 14 2019
Comments