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!)
A307836 Number of Heegner rings in which prime(n) splits minus the number of Heegner rings in which it stays inert. 1

%I #18 Jul 30 2019 16:30:41

%S -4,-4,-3,-4,0,-3,1,-2,1,-3,-3,1,-1,2,1,1,-1,-1,2,-1,1,-3,1,-1,3,-3,

%T -1,-1,-1,1,-1,-1,1,-1,-1,-1,1,4,-3,-1,-1,1,-3,3,1,1,-1,-1,-3,1,-1,-3,

%U -1,1,-1,-1,-1,-3,1,1,1,-3,1,-3,3,1,-1,1,-1,-1,1,1,1,-1,3,-5,1,5,1,-1,1

%N Number of Heegner rings in which prime(n) splits minus the number of Heegner rings in which it stays inert.

%C Given the nine quadratic integer rings with complex numbers which are also unique factorization domains, it stands to reason that most primes in Z remain inert in some of these quadratic rings and split in others.

%C So if we add up Legendre(H_i, p), where H_i iterates over the Heegner numbers (A003173 multiplied by -1) and p is an odd prime, we will generally find this sum to be odd and greater than -9 but less than 9.

%C Indeed the first occurrence of a(n) = -9 corresponds to the prime 3167, and the first occurrence of a(n) = 9 corresponds to the prime 15073. The first occurrence of a(n) = -7 or 7 corresponds to the prime 709.

%C The only even values in this sequence correspond the primes of A003173 (all nine except for 1). The only 0 corresponds to the prime 11; the three instances of -4 correspond to the primes 2, 3, 7; one instance of -2 for 19; two instances of 2 for 43 and 67; and one instance of 4 for 163.

%C Although (1 + i) is a ramifying ideal in Z[i], Kronecker(-1, 2) = 1, so here 2 is counted as splitting (+1) rather than ramifying (0) in Z[i].

%F a(n) = Sum_{i = 1..9} Kronecker(H_i, prime(n)), where Kronecker(a, p) is the Kronecker symbol (the Legendre symbol for all odd primes) and H_i is the i-th Heegner number (A003173 multiplied by -1).

%e We see that 3 = (1 - sqrt(-2))(1 + sqrt(-2)) = (1/2 - sqrt(-11)/2)(1/2 + sqrt(-11)/2) but is prime in Z[i], O_(Q(sqrt(-7))), O_(Q(sqrt(-19))), O_(Q(sqrt(-43))), O_(Q(sqrt(-67))) and O_(Q(sqrt(-163))).

%e The fact that 3 = -sqrt(-3)^2 does not matter for our purpose here. So 3 splits in two of these domains but is prime in six of them.

%e As 3 is the second prime, a(2) is therefore -6 + 2 = -4.

%t Table[Plus@@KroneckerSymbol[{-1, -2, -3, -7, -11, -19, -43, -67, -163}, Prime[n]], {n, 100}]

%Y Cf. A003173.

%K sign

%O 1,1

%A _Alonso del Arte_, Jul 07 2019

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 28 05:39 EDT 2024. Contains 371235 sequences. (Running on oeis4.)