OFFSET
1,1
COMMENTS
Let Cl+(D) and Cl(D) be the narrow class group and the class group of the quadratic order of discriminant D. Then Cl+(D)/Cl(D) = 1 if D < 0 or D > 0 and the fundamental unit has norm -1, C_2 if D > 0 and the fundamental unit has norm 1.
For fundamental discriminants D, the 2-rank of Cl+(D) is omega(D) - 1, omega = A001221. Hence
Cl(D) = C_3 and Cl+(D) = C_6 <=> Cl(D) = C_3 and omega(D) = 2.
Terms are of the form 4*p, 8*p for primes p == 3 (mod 4) or p*q for primes p,q == 3 (mod 4). See Theorem 1 and Theorem 2 of Ezra Brown's link.
LINKS
Jianing Song, Table of n, a(n) for n = 1..10000
Ezra Brown, Class numbers of real quadratic number fields, Trans. Amer. Math. Soc. 190 (1974), 99-107.
PROG
(PARI) isA391532(D) = D>1 && isfundamental(D) && qfbclassno(D)==3 && !isprime(D)
CROSSREFS
Fundamental discriminants D of real quadratic fields such that
Cl(D) trivial, Cl+(D) trivial: A003656;
Cl(D) trivial, Cl+(D) = C_2: A327297;
Cl(D) = C_2, Cl+(D) = C_2: A391529;
Cl(D) = C_2, Cl+(D) = C_4: A391530;
Cl(D) = C_2, Cl+(D) = C_2 X C_2: A391531;
Cl(D) = C_3, Cl+(D) = C_3: A391421;
Cl(D) = C_3, Cl+(D) = C_6: this sequence.
KEYWORD
nonn
AUTHOR
Jianing Song, Dec 12 2025
STATUS
approved
