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

 

Logo

Annual appeal: Please make a donation to keep the OEIS running! Over 6000 articles have referenced us, often saying "we discovered this result with the help of the OEIS".
Other ways to donate

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A242862 Absolute discriminants of complex quadratic fields with 3-class rank 2. 15
3299, 3896, 4027, 5703, 6583, 8751, 9748, 10015, 11651, 12067, 12131, 15544, 16627, 17131, 17399, 17723, 18555, 19187, 19427, 19651, 19679, 19919, 20276, 20568, 21224, 21668, 22395, 22443, 22711, 23428, 23683 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

The length of the Hilbert 3-class field tower of a complex quadratic field is infinite for 3-class rank at least 3, and it is 1 for 3-class rank 1. In contrast, the length is at least 2 but unbounded for 3-class rank 2, whence this is the only unsolved interesting case.

The terms 3299, 4027 and 9748 have been discussed in detail by Scholz and Taussky. In a footnote they also mention 3896 with an erroneous claim.

REFERENCES

H. Koch, B. B. Venkov, Über den p-Klassenkörperturm eines imaginär-quadratischen Zahlkörpers, Astérisque 24-25 (1975), 57-67.

LINKS

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

C. McLeman, p-tower groups over quadratic imaginary number fields, arXiv:1008.3003 [math.NT], 2010; Ann. Sci. Math. Québec 32 (2008), no. 2, 199-209.

A. Scholz and O. Taussky, Die Hauptideale der kubischen Klassenkörper imaginär-quadratischer Zahlkörper, J. Reine Angew. Math. 171 (1934), 19-41. DOI:10.1515/crll.1934.171.19

EXAMPLE

For n=1,4, resp. n=2,3, the 3-class group is of type (3,9), resp. (3,3).

PROG

(MAGMA)

for d := 2 to 10^5 do a := false; if (3 eq d mod 4) and IsSquarefree(d) then a := true; end if; if (0 eq d mod 4) then r := d div 4; if IsSquarefree(r) and ((2 eq r mod 4) or (1 eq r mod 4)) then a := true; end if; end if; if (true eq a) then K := QuadraticField(-d); C := ClassGroup(K); if (2 eq #pPrimaryInvariants(C, 3)) then d, ", "; end if; end if; end for;

CROSSREFS

Sequence in context: A203808 A215565 A068755 * A078951 A236660 A106721

Adjacent sequences:  A242859 A242860 A242861 * A242863 A242864 A242865

KEYWORD

easy,nonn

AUTHOR

Daniel Constantin Mayer, May 24 2014

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 20 13:59 EST 2017. Contains 294972 sequences.