|
|
A328825
|
|
Negative discriminants with form class group isomorphic to C_3 (negated).
|
|
4
|
|
|
23, 31, 44, 59, 76, 83, 92, 107, 108, 124, 139, 172, 211, 243, 268, 283, 307, 331, 379, 499, 547, 643, 652, 883, 907
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
Also negative discriminants with form class number 3.
Conjecture: this sequence is finite and this is the full list.
The fundamental terms are listed in A006203, and that is a full sequence.
Equivalently, negative discriminants of orders whose class group is isomorphic to C_3 (negated).
The known even terms are all congruent to 12 modulo 16. Among the known even terms, k/4 is either here or in A133675. What's the reason for that?
Among the known terms, k is in A023679 if and only if k is in this sequence and k/4 is not. Is there a connection between these two sequences? (End)
|
|
LINKS
|
|
|
PROG
|
(PARI) isA328825(d) = (d>0) && ((d%4==0)||(d%4==3)) && quadclassunit(-d)[2]==[3] \\ Corrected by Jianing Song, May 17 2021
|
|
CROSSREFS
|
Cf. A133675 (negative discriminants with form class group isomorphic to the trivial group), A322710 (isomorphic to C_2), this sequence (isomorphic to C_3), A329182 (isomorphic to C_2 X C_2), A330219 (isomorphic to C_4).
|
|
KEYWORD
|
nonn,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|