login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A269318 Discriminants of real quadratic number fields with 3-class rank 2 2
32009, 42817, 62501, 72329, 94636, 103809, 114889, 130397, 142097, 151141, 152949, 153949, 172252, 173944, 184137, 189237, 206776, 209765, 213913, 214028, 214712, 219461, 220217, 250748, 252977, 255973, 259653, 265245, 275881, 282461, 283673, 298849, 320785, 321053, 326945, 333656, 335229, 341724, 342664, 358285, 363397, 371965, 384369, 390876 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

The number of unramified cyclic extensions N|K of relative degree p of a quadratic field K with p-class rank r (p an odd prime) is given by the multiplicity formula m=(p^r-1)/(p-1) [Mayer, Theorem 3.1]. Here, we have p=3, r=2, and thus m=4. Consequently, the terms of A269318 characterize all quartets (L_1,...L_4) of pairwise non-isomorphic non-Galois cubic fields sharing a common fundamental discriminant d(L_i)=d(K). There occur 5 of these quartets in [Angell] (up to 10^5), 61 in [Ennola, Turunen] (up to 5*10^5), and 2870 in [Llorente, Quer] (up to 10^7). The number 2879 in the first and third line below Table 4 [Llorente, Quer] is erroneous, since the 9 quartets in Table 6 [Llorente, Quer] are ramified and satisfy d(L_i)=f^2*d(K) with various conductors f>1. (We point out misprints in the caption and in the header of Table 6 [Llorente, Quer], where our Fuehrer f is denoted by T and should correctly be given by 3^m*T_0.) The most recent and most extensive computation is due to [Bush]. He found 481756 unramified quartets up to 10^9, which are obviously very sparse with absolute density~0.05%. The density~0.16% with respect to the asymptotic number (3/pi^2)*10^9~303963551 of all positive fundamental discriminants is slightly bigger. Compare the Cohen-Lenstra heuristics [Cohen, Martinet].

LINKS

Table of n, a(n) for n=1..44.

I. O. Angell, A table of totally real cubic fields, Math. Comp. 30 (1976), no. 133, 184-187.

M. R. Bush, private communication, 11 July 2015.

H. Cohen and J. Martinet, Class groups of number fields: numerical heuristics, Math. Comp. 48 (1987), no. 177, 123-137.

V. Ennola and R. Turunen, On totally real cubic fields, Math. Comp. 44 (1985), no. 170, 495-518.

P. Llorente and J. Quer, On totally real cubic fields with discriminant D < 10^7, Math. Comp. 50 (1988), no. 182, 581-594.

D. C. Mayer, Quadratic p-ring spaces for counting dihedral fields, Int. J. Number Theory 10 (2014), no. 8, 2205-2242.

EXAMPLE

The execution of the MAGMA program yields the 161 leading terms of A269318 up to 10^6 and requires 9200 seconds on a single thread of an Intel i7 4-core processor with clock frequency 4GHz. The computation is slow because 303957 discriminants have to be checked for the structure of their associated 3-class groups. Among the 161 3-class groups of 3-rank 2, there are 149 of type (3,3) and 12 of type (9,3). Parallelization (for instance, 4 threads processing ranges of length 250000) would reduce the CPU-time.

PROG

(MAGMA) SetClassGroupBounds("GRH"); p:=3;

for d:=0 to 10^6 do if ((d gt 1) and IsFundamental(d)) then

Q:=QuadraticField(d); O:=MaximalOrder(Q); C:=ClassGroup(O);

if (2 eq #pPrimaryInvariants(C, p)) then printf "%o, ", d;

end if; end if; end for;

CROSSREFS

Subsequence A269319

Sequence in context: A236587 A255079 A235309 * A269319 A197114 A224621

Adjacent sequences:  A269315 A269316 A269317 * A269319 A269320 A269321

KEYWORD

nonn,easy

AUTHOR

Daniel Constantin Mayer, Mar 06 2016

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified November 19 08:53 EST 2018. Contains 317347 sequences. (Running on oeis4.)