Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)



Class numbers of large degree nonabelian number fields

Authors: Kwang-Seob Kim and John C. Miller
Journal: Math. Comp. 88 (2019), 973-981
MSC (2010): Primary 11R29; Secondary 11Y40
Published electronically: April 27, 2018
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: If a number field has a large degree and discriminant, the computation of the class number becomes quite difficult, especially without the assumption of GRH. In this article, we will unconditionally show that a certain nonabelian number field of degree 120 has class number one. This field is the unique $ A_5 \times C_2$ extension of the rationals that is ramified only at 653 with ramification index 2. It is the largest degree number field unconditionally proven to have class number 1.

The proof uses the algorithm of Guàrdia, Montes, and Nart to calculate an integral basis and then finds integral elements of small prime power norm to establish an upper bound for the class number; further algebraic arguments prove the class number is 1. It is possible to apply these techniques to other nonabelian number fields as well.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2010): 11R29, 11Y40

Retrieve articles in all journals with MSC (2010): 11R29, 11Y40

Additional Information

Kwang-Seob Kim
Affiliation: Department of Mathematics, Chosun Univeristy, Gwangju 501-759, Korea

John C. Miller
Affiliation: Department of Applied Mathematics & Statistics, Johns Hopkins University, 100 Whitehead Hall, 3400 North Charles Street, Baltimore, Maryland 21218

Received by editor(s): August 1, 2016
Received by editor(s) in revised form: April 30, 2017, October 25, 2017, and October 26, 2017
Published electronically: April 27, 2018
Article copyright: © Copyright 2018 American Mathematical Society

American Mathematical Society