OFFSET
0,2
COMMENTS
a(n) is known for n != 0 mod 4 and is related to the Bernoulli numbers via the Riemann zeta function. See Section VI.9 of Weibel's K-book.
K_0(Z) = Z is classical, so a(0) = 1. Rognes proved that K_4(Z) = 0 in 2000 so a(4) = 1.
Otherwise the value of a(4i) = 1 is conjectural. Kurihara observed that this follows from the Kummer-Vandiver conjecture (and in fact is equivalent with it). The Kummer-Vandiver conjecture has been verified for primes up to 163 million, from which it follows that a(4i) must be at least that large if it is not 1.
REFERENCES
Weibel, The K-book: An Introduction to Algebraic K-theory. Graduate Studies in Mathematics, 145. American Mathematical Society, Providence, RI, 2013. ISBN: 978-0-8218-91322.
LINKS
M. Kurihara, Some remarks on conjectures about cyclotomic fields and K-groups of Z, Compositio Math. 81 (1992), 223-236.
J. Rognes, K_4(Z) is the trivial group, Topology 30 (2000), 267-281.
FORMULA
PROG
(Python)
from sympy import bernoulli
def a(n):
n_ = n % 8
k = n//4 + 1
b = bernoulli(2*k)/(4*k)
d = {0:1, 1:2, 4:1, 5:1}
if n_ == 2:
return 2 * b.numerator()
elif n_ == 3:
return 2 * b.denominator()
elif n_ == 6:
return -1 * b.numerator()
elif n_ == 7:
return b.denominator()
else:
return d[n_]
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Tom Harris, Jun 12 2021
STATUS
approved