OFFSET
1,1
COMMENTS
Not to be confused with A391425, the positive discriminants of orders of quadratic fields with *form* class number 3. - Jianing Song, Dec 09 2025
Discriminants of orders of real quadratic fields whose form class group quotient by {I,-I} is isomorphic to C_3, where I is the principal class. (So I corresponds to the form x^2 - (D/4)*y^2 for 4|D and x^2 - x*y - ((D-1)/4)*y^2 for D == 1 (mod 4), and -I corresponds to the form (D/4)*x^2 - y^2 for 4|D and ((D-1)/4)*x^2 - x*y - y^2 for D == 1 (mod 4)). - Jianing Song, Dec 09 2025
The fundamental terms are listed in A094612.
It seems that for most k in this sequence, 4*k is also in this sequence. The smallest k such that this is not true is k = 564.
Conjecture: if a term k is congruent to 4 modulo 16, then k/4 is either here or in A133315; if a term k is congruent to 0 modulo 16, then k/4 is in this sequence.
Conjecture: a term k is in A006832 if and only if k/4 is not in this sequence.
LINKS
Jianing Song, Table of n, a(n) for n = 1..10001
Rick L. Shepherd, Binary quadratic forms and genus theory, Master of Arts Thesis, University of North Carolina at Greensboro, 2013.
PROG
(PARI) isA344409(d) = (d>0) && !issquare(d) && ((d%4==0)||(d%4==1)) && quadclassunit(d)[2]==[3]
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, May 17 2021
EXTENSIONS
Name clarified by Jianing Song, Dec 09 2025
STATUS
approved
