|
|
A350165
|
|
Fundamental discriminants of real quadratic number fields with odd class number > 1 whose fundamental unit has norm -1.
|
|
2
|
|
|
229, 257, 401, 577, 733, 761, 1009, 1093, 1129, 1229, 1297, 1373, 1429, 1489, 1601, 1901, 2029, 2081, 2089, 2153, 2213, 2557, 2677, 2713, 2777, 2857, 2917, 3121, 3137, 3181, 3221, 3229, 3253, 3877, 3889, 4001, 4229, 4357, 4409, 4441, 4481, 4493, 4597, 4649, 4729, 4889, 4933
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
For a positive fundamental discriminant d, the class number of the real quadratic field of discriminant d is odd if and only if d = 8 or is of one of the three following forms: (i) p, where p is a prime congruent to 1 modulo 4; (ii) 4p or 8p, where p is a prime congruent to 3 modulo 4; (iii) pq, where p, q are distinct primes congruent to 3 modulo 4. See Theorem 1 and Theorem 2 of Ezra Brown's link. This sequence gives values for d in the case (i) and that the real quadratic number field with discriminant d has odd class number > 1.
|
|
LINKS
|
|
|
EXAMPLE
|
229 is a term since the quadratic field with discriminant 229 (Q(sqrt(229)) has class number 5. The fundamental unit of that field ((15+sqrt(229))/2) has norm -1.
401 is a term since the quadratic field with discriminant 401 (Q(sqrt(401)) has class number 5. The fundamental unit of that field (20+sqrt(401)) has norm -1.
|
|
PROG
|
(PARI) isA350165(D) = if(isprime(D) && isfundamental(D), my(h=quadclassunit(D)[1]); (h%2)&&(h>1), 0)
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|