A family of cyclic quartic monogenic polynomials

P. Voutier

2024-09-19

Abstract:We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases, and conjecturally are monogenic and generating distinct quartic fields infinitely often.

Number Theory

What problem does this paper attempt to address?

Monogenic Quartic Polynomials and Their Galois Groups

Joshua Harrington,Lenny Jones

2024-04-16

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we use the classification of the Galois groups of quartic polynomials, due to Kappe and Warren, to investigate the existence of infinite collections of monogenic quartic polynomials having a prescribed Galois group, such that each member of the collection generates a distinct quartic field. With the exception of the cyclic case, we provide such an infinite single-parameter collection for each possible Galois group. We believe these examples are new, and we provide evidence to support this belief by showing that they are distinct from other infinite collections in the current literature. Finally, we devote a separate section to a discussion concerning, what we believe to be, the still-unresolved cyclic case.

Number Theory
Calculating power integral bases in some quartic fields corresponding to monogenic families of polynomials

István Gaál

2024-09-15

Abstract:J. Harrington and L. Jones characterized monogenity of four new parametric families of quartic polynomials with various Galois groups. A short time later P. Voutier added a cyclic family. In this note we intend to describe all generators of power integral bases in the number fields generated by a root of the monogenic polynomials.

Number Theory
Families of Cyclic Cubic Fields

Steve Balady

DOI: https://doi.org/10.48550/arXiv.1511.04783

2015-11-16

Abstract:We describe a procedure for generating families of cyclic cubic fields with explicit fundamental units. This method generates all known families and gives new ones.

Number Theory
Monogenic Cyclic Quartic Trinomials

Lenny Jones

2024-04-27

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this brief note, we prove that there exist exactly three distinct monogenic trinomials of the form $x^4+bx^2+d$ whose Galois group is the cyclic group of order 4.

Number Theory
Monogenity in totally real extensions of imaginary quadratic fields with an application to simplest quartic fields

István Gaál

DOI: https://doi.org/10.1007/s44146-023-00081-y

2023-04-29

Acta Scientiarum Mathematicarum

Abstract:We describe an efficient algorithm to calculate generators of power integral bases in composites of totally real fields and imaginary quadratic fields with coprime discriminants. We show that the calculation can be reduced to solving index form equations in the original totally real fields. We illustrate our method by investigating monogenity in the infinite parametric family of imaginary quadratic extensions of the simplest quartic fields.
On indices and monogenity of quartic number fields defined by quadrinomials

Hamid Ben Yakkou

2024-09-04

Abstract:Consider a quartic number field $K$ generated by a root of an irreducible quadrinomial of the form $ F(x)= x^4+ax^3+bx+c \in \Z[x]$. Let $i(K)$ denote the index of $K$. Engstrom \cite{Engstrom} established that $i(K)=2^u \cdot 3^v$ with $u \le 2$ and $v \le 1$. In this paper, we provide sufficient conditions on $a$, $b$ and $c$ for $i(K)$ to be divisible by $2$ or $3$, determining the exact corresponding values of $u$ and $v$ in each case. In particular, when $i(K) \neq 1$, $K$ cannot be monogenic. We also identify new infinite parametric families of monogenic quartic number fields generated by roots of non-monogenic quadrinomials. We illustrate our results by some computational examples. Our method is based on a theorem of Ore on the decomposition of primes in number fields \cite{Nar,O}.

Number Theory
Monogenic Even Octic Polynomials and Their Galois Groups

Lenny Jones

2024-05-31

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In a series of recent articles, complete classifications of the Galois groups were given for irreducible polynomials \[{\mathcal F}(x):=x^8+ax^4+b\in {\mathbb Z}[x]\] and \[{\mathcal G}(x):=x^8+ax^6+bx^4+ax^2+1\in {\mathbb Z}[x], \quad a\ne 0.\] In this article, for each Galois group $G$ arising in these classifications, we either construct an infinite family of monogenic octic polynomials ${\mathcal F}(x)$ or ${\mathcal G}(x)$ having Galois group $G$, or we prove that at most a finite such family exists. In the finite family situations, we determine all such polynomials. Here, a ``family" means that no two polynomials in the family generate isomorphic octic fields.

Number Theory
Monogenic Even Quartic Trinomials

LENNY JONES

DOI: https://doi.org/10.1017/s0004972724000510

2024-09-15

Bulletin of the Australian Mathematical Society

Abstract:A monic polynomial of degree N is called monogenic if is irreducible over and is a basis for the ring of integers of , where . We prove that there exist exactly three distinct monogenic trinomials of the form whose Galois group is the cyclic group of order 4. We also show that the situation is quite different when the Galois group is not cyclic.

mathematics
Monogenity of iterates of polynomials

Himanshu Sharma,Ritumoni Sarma,Shanta Laishram

DOI: https://doi.org/10.1007/s00013-023-01949-9

2024-01-18

Archiv der Mathematik

Abstract:In this article, we study the monogenity of a tower of number fields defined by the iterates of a stable polynomial. We give a necessary condition for the monogenity of the number fields defined by the iterates of a stable polynomial. When the stable polynomial is of certain type, we also give a sufficient condition for the monogenity of the fields defined by each of its iterate. As a consequence, we obtain an infinite 3-tower of monogenic number fields. Moreover, we construct an infinite family of stable polynomials such that each of its iterate is non-monogenic.

mathematics
A family of polynomials related to generic degrees

Dean Alvis

DOI: https://doi.org/10.48550/arXiv.math/0205123

IF: 0.6

2002-05-11

Representation Theory

Abstract:A family of polynomials parameterized by the conjugacy classes of a finite Coxeter group is investigated. These polynomials, together with the character table of the group, determine the associated generic degrees. The polynomials are described completely for classes that meet a parabolic subgroup whose components are of type A or are dihedral, and for the class of Coxeter elements.
Some new infinite families of non-$p$-rational real quadratic fields

Gary McConnell

2024-06-21

Abstract:Fix a finite collection of primes $\{ p_j \}$, not containing $2$ or $3$. Using some observations which arose from attempts to solve the SIC-POVMs problem in quantum information, we give a simple methodology for constructing an infinite family of simultaneously non-$p_j$-rational real quadratic fields, unramified above any of the $p_j$. Alternatively these may be described as infinite sequences of instances of $\mathbb{Q}(\sqrt{D})$, for varying $D$, where every $p_j$ is a $k$-Wall-Sun-Sun prime, or equivalently a generalised Fibonacci-Wieferich prime. One feature of these techniques is that they may be used to yield fields $K=\mathbb{Q}(\sqrt{D})$ for which a $p$-power cyclic component of the torsion group of the Galois groups of the maximal abelian pro-$p$-extension of $K$ unramified outside primes above $p$, is of size $p^a$ for $a\geq1$ arbitrarily large.

Number Theory,Quantum Physics
Iterates of Quadratics and Monogenicity

Hanson Smith,Zack Wolske

2024-06-06

Abstract:We investigate monogenicity and prime splitting in extensions generated by roots of iterated quadratic polynomials. Let $f(x)\in\mathbb{Z}[x]$ be an irreducible, monic, quadratic polynomial, and write $f^n(x)$ for the $n^{\text{th}}$ iterate. We obtain necessary and sufficient conditions for $f^n(x)$ to be monogenic for each $n$. We use this to construct multiple families where $f^n(x)$ is monogenic for every $n>0$.

Number Theory
Monogenic cyclic trinomials of the form $x^4+cx+d$

Lenny Jones

2024-11-16

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $n$ that is irreducible over ${\mathbb Q}$ is called cyclic if the Galois group over ${\mathbb Q}$ of $f(x)$ is the cyclic group of order $n$, while $f(x)$ is called monogenic if $\{1,\theta,\theta^2,\ldots, \theta^{n-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we show that there do not exist any monogenic cyclic trinomials of the form $f(x)=x^4+cx+d$. This result, combined with previous work, proves that the only monogenic cyclic quartic trinomials are $x^4-4x^2+2$, $x^4+4x^2+2$ and $x^4-5x^2+5$.

Number Theory
Analytic number theory for 0-cycles

Weiyan Chen

DOI: https://doi.org/10.1017/S0305004117000767

2019-01-01

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:There is a well-known analogy between integers and polynomials over F-q, and a vast literature on analytic number theory for polynomials. From a geometric point of view, polynomials are equivalent to effective 0-cycles on the affine line. This leads one to ask: Can the analogy between integers and polynomials be extended to 0-cycles on more general varieties? In this paper we study prime factorisation of effective 0-cycles on an arbitrary connected variety V over F-q, emphasizing the analogy between integers and 0-cycles. For example, inspired by the works of Granville and Rhoades, we prove that the prime factors of 0-cycles are typically Poisson distributed.
On cubic polynomials with the cyclic Galois group

Yury Kochetkov

2024-01-20

Abstract:A cubic Galois polynomial is a cubic polynomial with rational coefficients that defines a cubic Galois field. Its discriminant is a full square and its roots $x_1,x_2,x_3$ (enumerated in some order) are real. There exists (and only one) quadratic polynomial $q$ with rational coefficients such that $q(x_1)=x_2, q(x_2)=x_3, q(x_3)=x_1$. The polynomial $r=q(q)\text{ mod } p$ cyclically permutes roots of $p$ in the opposite order: $r(x_1)=x_3, r(x_3)=x_2, r(x_2)=x_1$. We prove that there exist a unique Galois polynomial $p_1$ and a unique Galois polynomial $p_2$ such that the polynomial $q$ cyclically permutes roots of $p_1$ and the polynomial $r$ do the same with roots of $p_2$. Polynomials $p$ and $p_1$ (and also $p$ and $p_2$) will be called \emph{coupled}. Two polynomials are \emph{linear equivalent}, if one of them is obtained from another by a linear change of variable. By $C(p)$ we denote the class of polynomials, linear equivalent to $p$. The coupling realizes a bijection between classes $C(p)$ and $C(p_1)$ (and between classes $C(p)$ and $C(p_2)$). Classes $C(p)$ and $C(p_1)$ (and classes $C(p)$ and $C(p_2)$) will be called \emph{adjacent}. We consider a graph: its vertices -- are classes of the linear equivalency and two vertices are connected by an edge, if the corresponded classes are adjacent. Connected components of this graph will be called \emph{superclasses}. In this work we give a description of superclasses.

Number Theory
Non-Pólya Fields With Large Pólya Groups Arising From Lehmer Quintics

NIMISH KUMAR MAHAPATRA,PREM PRAKASH PANDEY

DOI: https://doi.org/10.1017/s0004972724000108

2024-03-12

Bulletin of the Australian Mathematical Society

Abstract:We construct a new family of quintic non-Pólya fields with large Pólya groups. We show that the Pólya number of such a field never exceeds five times the size of its Pólya group. Finally, we show that these non-Pólya fields are nonmonogenic of field index one.

mathematics
On the monogenity of quartic number fields defined by $x^4+ax^2+b$

Lhoussain El Fadil,István Gaál

2024-02-15

Abstract:For any quartic number field $K$ generated by a root $\alpha$ of an irreducible trinomial of type $x^4+ax^2+b\in Z[x]$, we characterize when $Z[\alpha]$ is integrally closed. Also for $p=2,3$, we explicitly give the highest power of $p$ dividing $i(K)$, the common index divisor of $K$. For a wide class of monogenic trinomials of this type we prove that up to equivalence there is only one generator of power integral bases in $K=Q(\alpha)$. We illustrate our statements with a series of examples.

Number Theory
Counting stringy points on a family of character varieties

Lucas de Amorin,Martin Mereb

2024-11-08

Abstract:We provided explicit formulas for the number of stringy points over finite fields of parabolic type A character varieties with generic semisimple monodromy. This leads to formulas for their stringy E-polynomials. In particular, they satisfy the Betti Topological Mirror Symmetry Conjecture of T. Hausel and M. Thaddeus, as well as a refinement regarding isotypic components. Our proof is based on a Frobenius' type formula for Clifford's type settings and an analysis of it in a specific set-up related to regular wreath products with cyclic groups.

Algebraic Geometry,Representation Theory
A parametrization of nonassociative cyclic algebras of prime degree

Monica Nevins,Susanne Pumpluen

2024-06-17

Abstract:We determine and explicitly parametrize the isomorphism classes of nonassociative quaternion algebras over a field of characteristic different from two, as well as the isomorphism classes of nonassociative cyclic algebras of odd prime degree when the base field contains a primitive $m$th root of unity. In the course of doing so, we prove that any two such algebras can be isomorphic only if the cyclic field extension and the chosen generator of the Galois group are the same. As an application, we give a parametrization of nonassociative cyclic algebras of prime degree over a local nonarchimedean field $F$, which is entirely explicit under mild hypotheses on the residual characteristic. In particular, this gives a rich understanding of the important class of nonassociative quaternion algebras up to isomorphism over nonarchimedean local fields.

Rings and Algebras

A family of cyclic quartic monogenic polynomials

Monogenic Quartic Polynomials and Their Galois Groups

Calculating power integral bases in some quartic fields corresponding to monogenic families of polynomials

Families of Cyclic Cubic Fields

Monogenic Cyclic Quartic Trinomials

Monogenity in totally real extensions of imaginary quadratic fields with an application to simplest quartic fields

On indices and monogenity of quartic number fields defined by quadrinomials

Monogenic Even Octic Polynomials and Their Galois Groups

Monogenic Even Quartic Trinomials

Monogenity of iterates of polynomials

A family of polynomials related to generic degrees

Some new infinite families of non-$p$-rational real quadratic fields

Iterates of Quadratics and Monogenicity

Monogenic cyclic trinomials of the form $x^4+cx+d$

Analytic number theory for 0-cycles

On cubic polynomials with the cyclic Galois group

Non-Pólya Fields With Large Pólya Groups Arising From Lehmer Quintics

On the monogenity of quartic number fields defined by $x^4+ax^2+b$

Counting stringy points on a family of character varieties

A parametrization of nonassociative cyclic algebras of prime degree