|
|
A308420
|
|
Squarefree numbers d of the form s^2 + r, where r divides 4s, such that Q(sqrt(d)) has class number 1.
|
|
2
|
|
|
2, 3, 5, 6, 7, 11, 13, 14, 17, 21, 23, 29, 33, 37, 38, 47, 53, 62, 69, 77, 83, 93, 101, 141, 167, 173, 197, 213, 227, 237, 293, 398, 413, 437, 453, 573, 677, 717, 1077, 1133, 1253, 1293, 1757
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
This sequence is finite, but might not be given in full if the generalized Riemann hypothesis is false.
|
|
REFERENCES
|
Richard A. Mollin, Quadratics. p. 176, Theorem 5.4.3. Given "a fundamental discriminant of ERD-type with radicand D," the ring of Q(sqrt(D)) has class number 1 "if and only if D" is one of the values listed above, "with one possible exceptional value whose existence would be a counterexample to the GRH" (generalized Riemann hypothesis).
|
|
LINKS
|
|
|
FORMULA
|
Given d = s^2 + r where r | 4s (this is called "extended Richaud-Degert type" or "ERD-type" by Mollin), d is in this sequence if h(O_Q(sqrt(d))) = 1, where h(O_K) is the class number of the ring of algebraic integers O_K.
|
|
EXAMPLE
|
Since 7 = 3^2 - 2 (note that 2 is a divisor of 4 * 9) and h(Z[sqrt(7)]) = 1, 7 is in the sequence.
Although 10 = 3^2 + 1, we see that h(Z[sqrt(10)]) > 1 since Z[sqrt(10)] is not a unique factorization domain (e.g., 10 = 2 * 5 = sqrt(10)^2). So 10 is not in the sequence.
Although h(Z[sqrt(19)]) = 1, there is no way to express 19 as s^2 + r, e.g., 19 = 3^2 + 10 but 10 is not a divisor of 12, 19 = 4^2 + 3 but 3 is not a divisor of 16, 19 = 5^2 - 6 but 6 is not a divisor of 20, 19 = 6^2 - 17 but -17 does not divide 24. So 19 is not in the sequence either.
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,fini
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|