login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Discriminants of imaginary fields whose class group has exponent 2, negated.
2

%I #9 Jul 28 2018 12:01:52

%S 15,20,24,35,40,51,52,84,88,91,115,120,123,132,148,168,187,195,228,

%T 232,235,267,280,312,340,372,403,408,420,427,435,483,520,532,555,595,

%U 627,660,708,715,760,795,840,1012,1092,1155,1320,1380,1428,1435,1540,1848,1995,2280,3003,3315,5460

%N Discriminants of imaginary fields whose class group has exponent 2, negated.

%C This sequence lists the negated discriminants of imaginary fields whose class group is isomorphic to (C_2)^r, r > 0.

%C These are the negated fundamental discriminants in A133288.

%C Also numbers in A003644 but not in A014602. Equals A014603 union A192322 union A305416 union {5460}.

%H Rick L. Shepherd, <a href="http://libres.uncg.edu/ir/uncg/f/Shepherd_uncg_0154M_11099.pdf">Binary quadratic forms and genus theory</a>, Master of Arts Thesis, University of North Carolina at Greensboro, 2013.

%H P. J. Weinberger, <a href="http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-aav22i2p117bwm">Exponents of the class groups of complex quadratic fields</a>, Acta Arith. 22 (1973), 117-124.

%o (PARI) ok(n)={isfundamental(-n) && quadclassunit(-n).no > 1 && !#select(k->k<>2, quadclassunit(-n).cyc)} \\ _Andrew Howroyd_, Jul 20 2018

%Y Cf. Negated discriminants of imaginary fields whose class group is isomorphic to (C_2)^r: A014602 (r=0), A014603 (r=1), A192322 (r=2), A305416 (r=3).

%Y Subsequence of A003644 and A133288.

%K nonn,fini,full

%O 1,1

%A _Jianing Song_, Jul 20 2018