CALCULATING RELATIVE POWER INTEGRAL BASES IN TOTALLY COMPLEX QUARTIC EXTENSIONS OF TOTALLY REAL FIELDS

DOI10.17654/NT044020129zbMATH Open1490.11121arXiv2004.05393OpenAlexW3104927871MaRDI QIDQ5075019FDOQ5075019

Authors: István Gaál 

Publication date: 10 May 2022

Published in: JP Journal of Algebra, Number Theory and Applications (Search for Journal in Brave)

Abstract: Some time ago we extended our monogenity investigations and calculations of generators of power integral bases to the relative case. Up to now we considered (usually totally real) extensions of complex quartic fields. In the present paper we consider power integral bases in relative extensions of totally real fields. Totally complex quartic extensions of totally real number fields seems to be the most simple case, that we detail here. As we shall see, even in this case we have to overcome several unexpected difficulties, which we can, however solve by properly (but not trivially) adjusting standard methods. We demonstrate our general algorithm on an explicit example. We describe how the general methods for solving relative index form equations in quartic relative extensions are modified in this case. As a byproduct we show that relative Thue equations in totally complex extensions of totally real fields can only have small solutions, and we construct a special method for the enumeration of small solutions of special unit equations. These statements can be applied to other diophantine problems, as well.

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

Recommendations

• Computing relative power integral bases in a family of quartic extensions of imaginary quadratic fields
• Computing power integral bases in quartic relative extensions
• Relative power integral bases in infinite families of quartic extensions of quadratic fields
• Power integral bases in cubic and quartic extensions of real quadratic fields
• scientific article; zbMATH DE number 1759195
• On relative integral bases for pure quartic fields
• scientific article; zbMATH DE number 575902
• Power Integral Bases in the Family of Simplest Quartic Fields
• A note on power integral bases in pure quartic number fields
• Relative integral bases for quartic fields over quadratic subfields

zbMATH Keywords

Thue equationpower integral basisunit equationcalculating solutions of index form equationsrelative quartic extensions

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Multiplicative and norm form equations (11D57) Computer solution of Diophantine equations (11Y50) Thue-Mahler equations (11D59)

Cites Work

• The Magma algebra system. I: The user language
• Factoring polynomials with rational coefficients
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculating power integral bases by using relative power integral bases
• The Simplest Cubic Fields
• Logarithmic forms and group varieties.
• KANT V4
• Title not available (Why is that?)
• On the resolution of relative Thue equations
• Simplest quartic and simplest sextic Thue equations over imaginary quadratic fields
• Computing power integral bases in quartic relative extensions
• Totally real Thue inequalities over imaginary quadratic fields
• Relative power integral bases in infinite families of quartic extensions of quadratic fields

Cited In (9)

• On the monogenity of pure quartic relative extensions of $${{\mathbb {Q}}}(i)$$
• Power integral bases in cubic and quartic extensions of real quadratic fields
• Calculating power integral bases by solving relative Thue equations
• Power Integral Bases in Cubic Relative Extensions
• Monogenity in totally real extensions of imaginary quadratic fields with an application to simplest quartic fields
• A note on power integral bases in pure quartic number fields
• Computing relative power integral bases in a family of quartic extensions of imaginary quadratic fields
• Computing power integral bases in quartic relative extensions
• Title not available (Why is that?)

Uses Software

• KANT/KASH
• Magma
• Maple

This page was built for publication: CALCULATING RELATIVE POWER INTEGRAL BASES IN TOTALLY COMPLEX QUARTIC EXTENSIONS OF TOTALLY REAL FIELDS

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