login
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