Relative ideal classes of arbitrary order

DOI10.1007/S11139-023-00712-6MaRDI QIDQ6060206zbMATH OpenFDO

Authors David L. Pincus, Lawrence C. Washington

Publication date 3 November 2023

Published in The Ramanujan Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2206.12313

arbitrary order cyclic sextic Hilbert's irreducibility theorem ideal classes non-Galois cubic number fields primes quartic relative class numbers units

Mathematics Subject Classification ID

Cubic and quartic extensions (11R16) Class numbers, class groups, discriminants (11R29)

Abstract: We adapt a known technique for searching for ideal classes of arbitrary order and then apply it to three families of number fields. We show that a family of cyclic sextic number fields has infinitely many fields in it that contain a relative ideal class of order

r,

where

r

is a positive integer relatively prime to the degree of the extension. We then show that the same holds true for a family of cyclic quartic number fields. Though the technique is traditionally applied to Galois extensions, we show how it may be adapted to handle a family of non-Galois cubic number fields and prove that this family contains infinitely many fields with an ideal class of arbitrary order relatively prime to three.

Review text

The paper introduces a novel technique for identifying relative ideal classes of arbitrary order within distinct types of number fields, specifically chosen for their explicit relative units. While the Brauer-Siegel theorem predicts large class numbers, these techniques offer deeper insights into the arithmetic properties rather than solely providing magnitude information. It's noteworthy that explicit expressions for fundamental units of quadratic subfields are not required for determining the desired relative ideal classes in both their families of sextic and quartic fields. By applying these methods, the paper establishes the existence of infinitely many fields within cyclic sextic and quartic number families containing relative ideal classes of order r, where r is a positive integer relatively prime to the degree of the extension. Additionally, it extends this technique to non-Galois cubic number fields, further demonstrating the versatility of the approach. The methodology involves solving equations derived from minimal polynomials and leveraging congruence conditions to pinpoint ideal classes. However, generating ideal classes with trivial norms down to each proper subfield adds complexity, prompting the utilization of Hilbert's Irreducibility Theorem. This underscores the challenges inherent in achieving comprehensive results. Crucially, the paper's focus lies not merely in presenting examples but rather in introducing a constructive technique. By providing a systematic approach, it offers a recipe for constructing ideal classes with trivial norms down to each proper subfield. This emphasis on constructing ``new ideal classes, characterized by their trivial norms, adds depth to the exploration of relative ideal classes.

Recommendations

Cites work

Cited in

(1)

Relative semicharacteristic classes

This page was built for publication: Relative ideal classes of arbitrary order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6060206)