
TL;DR
This paper introduces a new algebraic condition (M) that simplifies the construction of certain number fields, recovering known families and discovering new cyclic extensions with specific Galois groups and properties.
Contribution
It proposes the condition (M) as an alternative to existing formulas, leading to elementary constructions of families of number fields, including octic and cyclic quartic extensions, with detailed algebraic properties.
Findings
Recovered Shanks's simplest cubic fields using condition (M)
Constructed a 2-parameter family of octic polynomials with Galois group $_{8}T_{11}$
Identified special units and exceptional sequences within these fields
Abstract
A standard formula (1) leads to a proof of HT90, but requires proving the existence of such that , so that . We instead impose the condition (M), that taking makes . Taking , we recover Shanks's simplest cubic fields. The "simplest" number fields of degrees 3 to 6, Washington's cyclic quartic fields, and a certain family of totally real cyclic extensions of all have defining polynomials whose zeroes satisfy \eqref{e:M}. Further investigation of (M) for leads to an elementary algebraic construction of a 2-parameter family of octic polynomials with "generic" Galois group . Imposing an additional algebraic condition on these octics produces a new family of cyclic quartic extensions. This family includes the "simplest" quartic fields and Washington's cyclic quartic fields as…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
