For each integer $n\ge 2$, we identify new infinite families of monogenic trinomials $f(x)=x^n+Ax^m+B$ with non-squarefree discriminant, many of which have small Galois group. These families are thus different from many previous examinations of specific trinomial forms in the literature. Moreover, in certain situations when $A=B\ge 2$ with fixed $n$ and $m$, we produce asymptotics on the number of such trinomials with $A\le X$.
A polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called \emph{monogenic} if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,θ,θ^2,\ldots ,θ^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(θ)$, where $f(θ)=0$. Define ${\mathcal F}(x):=x^m+Ax^{m-1}+B$. In this article, we determine sets of conditions on $m$, $A$, and $B$, such that the power-compositional trinomial ${\mathcal F}(x^{p^n})$ is monogenic for all integers $n\ge 0$ and a given prime $p$. Furthermore, we prove the actual existence of infinite families of such trinomials ${\mathcal F}(x)$.
For an odd positive integer $n\ge 5$, assuming the truth of the $abc$ conjecture, we show that for a positive proportion of pairs $(a,b)$ of integers the trinomials of the form $t^n+at+b (a,b\in \mathbb Z)$ are irreducible and their discriminants are squarefree.
We call a polynomial monogenic if a root $θ$ has the property that $\mathbb{Z}[θ]$ is the full ring of integers in $\mathbb{Q}(θ)$. Consider the two families of trinomials $x^n + ax + b$ and $x^n + cx^{n-1} + d$. For any $n>2$, we show that these families are monogenic infinitely often and give some positive densities in terms of the coefficients. When $n=5$ or 6 and when a certain factor of the discriminant is square-free, we use the Montes algorithm to establish necessary and sufficient conditions for monogeneity, illuminating more general criteria given by Jakhar, Khanduja, and Sangwan usin…
For an infinite family of monogenic trinomials $P(X) = X^3\pm 3rbX-b$ in $\mathbb{Z}\lbrack X\rbrack$, arithmetical invariants of the cubic number field $L = \mathbb{Q}(θ)$, generated by a zero $θ$ of $P(X)$, and of its Galois closure $N = L(\sqrt{d(L)})$ are determined. The conductor $f$ of the cyclic cubic relative extension $N/K$, where $K = \mathbb{Q}(\sqrt{d(L)})$ denotes the unique quadratic subfield of $N$, is proved to be of the form $3^eb$ with $e\in\lbrace 1,2\rbrace$, which admits statements concerning primitive ambiguous principal ideals, lattice minima, and independent units in $L…
Let $K$ be a number field generated by a root $þ$ of a monic irreducible trinomial $F(x) = x^n+ax^{m}+b \in \Z[x]$. In this paper, we study the problem of $K$. More precisely, we provide some explicit conditions on $a$, $b$, $n$, and $m$ for which $K$ is not monogenic. As applications, we show that there are infinite families of non-monogenic number fields defined by trinomials of degree $n=2^r\cdot3^k$ with $r$ and $k$ two positive integers. We also give infinite families of non-monogenic sextic number fields defined by trinomials. Some illustrating examples are giving at the end of this pape…
The discriminant of a trinomial of the form $x^n \pm x^m \pm 1$ has the form $\pm n^n \pm (n-m)^{n-m} m^m$ if $n$ and $m$ are relatively prime. We investigate when these discriminants have nontrivial square factors. We explain various unlikely-seeming parametric families of square factors of these discriminant values: for example, when $n$ is congruent to 2 (mod 6) we have that $((n^2-n+1)/3)^2$ always divides $n^n - (n-1)^{n-1}$. In addition, we discover many other square factors of these discriminants that do not fit into these parametric families. The set of primes whose squares can divide …
For positive integers $a$ and $b$, we let $[U_n]$ be the Lucas sequence of the first kind defined by \[U_0=0,\quad U_1=1\quad \mbox{and} \quad U_n=aU_{n-1}+bU_{n-2} \quad \mbox{ for $n\ge 2$},\] and let $π(m):=π_{(a,b)}(m)$ be the period length of $[U_n]$ modulo the integer $m\ge 2$, where $\gcd(b,m)=1$. We define an \emph{$(a,b)$-Wall-Sun-Sun prime} to be a prime $p$ such that $π(p^2)=π(p)$. When $(a,b)=(1,1)$, such a prime $p$ is referred to simply as a \emph{Wall-Sun-Sun prime}. We say that a monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is \emph{monogenic} if $f(x)$ is irreducibl…
We say that a monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and \[\{1,θ,θ^2,\ldots, θ^{N-1}\}\] is a basis for the ring of integers of ${\mathbb Q}(θ)$, where $f(θ)=0$. Let $k$ be a positive integer, and let $U_n:=U_n(k,-1)$ be the Lucas sequence $\{U_n\}_{n\ge 0}$ of the first kind defined by \[U_0=0,\quad U_1=1\quad \mbox{and} \quad U_n=kU_{n-1}+U_{n-2} \quad \mbox{ for $n\ge 2$}.\] A $k$-Wall-Sun-Sun prime is a prime $p$ such that \[U_{π_k(p)}\equiv 0 \pmod{p^2},\] where $π_k(p)$ is the length of the period of $\{U_n\}_{n\ge…
We determine the density of monic integer polynomials of given degree $n>1$ that have squarefree discriminant; in particular, we prove for the first time that the lower density of such polynomials is positive. Similarly, we prove that the density of monic integer polynomials $f(x)$, such that $f(x)$ is irreducible and $\mathbb Z[x]/(f(x))$ is the ring of integers in its fraction field, is positive, and is in fact given by $ζ(2)^{-1}$. It also follows from our methods that there are $\gg X^{1/2+1/n}$ monogenic number fields of degree $n$ having associated Galois group $S_n$ and absolute discrim…
Let $f(x)\in {\mathbb Z}[x]$ be a monic polynomial of degree $N$ that is irreducible over ${\mathbb Q}$. We say $f(x)$ is \emph{monogenic} if $Θ=\{1,θ,θ^2,\ldots ,θ^{N-1}\}$ is a basis for the ring of integers ${\mathbb Z}_K$ of $K={\mathbb Q}(θ)$, where $f(θ)=0$. If $Θ$ is not a basis for ${\mathbb Z}_K$, we say that $f(x)$ is \emph{non-monogenic}. Let $k\ge 1$ be an integer, and let $(U_n)$ be the sequence defined by \[U_0=U_1=0,\quad U_2=1 \quad \mbox{and}\quad U_n=kU_{n-1}+(k+3)U_{n-2}+U_{n-3} \quad \mbox{for $n\ge 3$}.\] It is well known that $(U_n)$ is periodic modulo any integer $m\ge 2…
