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_2 and Cl+(D) = C_2 X C_2 <=> Cl(D) = C_2 and omega(D) = 3.
Each term has a prime factor congruent to 3 modulo 4; see A391439 for a proof.
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) isA391531(D) = D>1 && isfundamental(D) && qfbclassno(D)==2 && omega(D)==3
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: this sequence;
Cl(D) = C_3, Cl+(D) = C_3: A391421;
Cl(D) = C_3, Cl+(D) = C_6: A391532.
KEYWORD
nonn
AUTHOR
Jianing Song, Dec 12 2025
STATUS
approved
