OFFSET
1,3
COMMENTS
We have h(-15*n^2), the class number of the order of Z[(1+sqrt(-15))/2] with discriminant -15*n^2, is equal to 2*a(n).
In general, let d < 0 be a fundamental discriminant and n be a positive integer such that d*n^2 < -4, then h(d*n^2) = L(0,kronecker(d,.)) * n * Product_{p|n, p prime} (1 - kronecker(d,p)/p). This is a combination of Theorem 7.24 in "Primes of the form x^2+ny^2" by Cox and the Dirichlet class number formula. Here L(0,kronecker(-15,.)) = 2.
REFERENCES
D. A. Cox, Primes of the form x^2+ny^2, Wiley, New York, 1989, p. 146.
LINKS
Jianing Song, Table of n, a(n) for n = 1..10000
FORMULA
Multiplicative with a(3^e) = 3^e, a(5^e) = 5^e, a(p^e) = p^(e-1)*(p-1) if p == 1, 2, 4, 8 (mod 15) and a(p^e) = p^(e-1)*(p+1) if p == 7, 11, 13, 14 (mod 15).
EXAMPLE
Given L(0,kronecker(-15,.)) = 2, we have: h(-15*1^2) = 2*a(1) = 2, h(-15*2^2) = 2*a(2) = 2, h(-15*3^2) = 2*a(3) = 6, h(-15*4^2) = 2*a(4) = 4, ...
MATHEMATICA
f[p_, e_] := p^(e-1)*(p - KroneckerSymbol[-15, p]); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, May 07 2026 *)
PROG
(PARI) a(n, {d=-15}) = my(f=factor(n)[, 1]~, w=#f); n * prod(i=1, w, 1 - kronecker(d, f[i])/f[i])
CROSSREFS
KEYWORD
nonn,easy,mult
AUTHOR
Jianing Song, May 05 2026
STATUS
approved
