We prove that for any prime power $q\notin \{3,4,5\}$, the cubic extension $\mathbb {F}_{q^{3}}$ of the finite field $\mathbb {F}_{q}$ contains a primitive element $\xi $ such that $\xi +\xi ^{-1}$ is also primitive, and $\operatorname {\mathrm {Tr}}_{\mathbb {F}_{q^{3}}/\mathbb {F}_{q}}(\xi )=a$ for any prescribed $a\in \mathbb {F}_{q}$. This completes the proof of a conjecture of Gupta et al. [‘Primitive element pairs with one prescribed trace over a finite field’, Finite Fields Appl.54 (2018), 1–14] concerning the analogous problem over an extension of arbitrary degree $n\ge 3$.

We solve the problem of factoring polynomials $V_n(x) \pm 1$ and $W_n(x) \pm 1$ , where $V_n(x)$ and $W_n(x)$ are Chebyshev polynomials of the third and fourth kinds, in terms of the minimal polynomials of $\cos ({2\pi }{/d})$ . The method of proof is based on earlier work, D. A. Wolfram, [‘Factoring variants of Chebyshev polynomials of the first and second kinds with minimal polynomials of $\cos ({2 \pi }/{d})$ ’, Amer. Math. Monthly129 (2022), 172–176] for factoring variants of Chebyshev polynomials of the first and second kinds. We extend this to show that, in general, similar variants of Chebyshev polynomials of the fifth and sixth kinds, $X_n(x) \pm 1$ and $Y_n(x) \pm 1$ , do not have factors that are minimal polynomials of $\cos ({2\pi }/{d})$ .

We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb {Z}[x]$. We use an explicit version of Mertens’ theorem for number fields to estimate a related sum over rational primes. For a given $f \in \mathbb {Z}[x]$, our result yields a finite list of primes that certifies the number of distinct irreducible factors of f.

Girstmair [‘On an irreducibility criterion of M. Ram Murty’, Amer. Math. Monthly112(3) (2005), 269–270] gave a generalisation of Ram Murty’s irreducibility criterion. We further generalise these criteria.

For a prime number p and a free profinite group S on the basis X, let $S_{\left (n,p\right )}$ , $n=1,2,\dotsc ,$ be the p-Zassenhaus filtration of S. For $p>n$ , we give a word-combinatorial description of the cohomology group $H^2\left (S/S_{\left (n,p\right )},\mathbb {Z}/p\right )$ in terms of the shuffle algebra on X. We give a natural linear basis for this cohomology group, which is constructed by means of unitriangular representations arising from Lyndon words.

For $c \in \mathbb {Q}$ , consider the quadratic polynomial map $\varphi _c(z)=z^2-c$ . Flynn, Poonen, and Schaefer conjectured in 1997 that no rational cycle of $\varphi _c$ under iteration has length more than $3$ . Here, we discuss this conjecture using arithmetic and combinatorial means, leading to three main results. First, we show that if $\varphi _c$ admits a rational cycle of length $n \ge 3$ , then the denominator of c must be divisible by $16$ . We then provide an upper bound on the number of periodic rational points of $\varphi _c$ in terms of the number s of distinct prime factors of the denominator of c. Finally, we show that the Flynn–Poonen–Schaefer conjecture holds for $\varphi _c$ if $s \le 2$ , i.e., if the denominator of c has at most two distinct prime factors.

We analyse the behaviour of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field $\mathbb{F}_{q}$ of q elements when the highest degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f that are relatively prime with g and for the average degree of $\gcd(g,f)$ . We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above.

This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the existence of such elements. We then derive concrete existence results for a special class of intermediate extensions.

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and in particular obtain a number of new existential (or diophantine) predicates over global fields.

Let n be a positive integer and let $\mathbb{F} _{q^n}$ be the finite field with $q^n$ elements, where q is a prime power. We introduce a natural action of the projective semilinear group ${\mathrm{P}\Gamma\mathrm{L}} (2, q^n)={\mathrm{PGL}} (2, q^n)\rtimes {\mathrm{Gal}} ({\mathbb F_{q^n}} /\mathbb{F} _q)$ on the set of monic irreducible polynomials over the finite field $\mathbb{F} _{q^n}$ . Our main results provide information on the characterisation and number of fixed points.

We answer a question posed by Mordell in 1953, in the case of repeated radical extensions, and find necessary and sufficient conditions for $[F[\sqrt [m_1]{N_1},\dots ,\sqrt [m_\ell ]{N_\ell }]:F]=m_1\cdots m_\ell $ , where F is an arbitrary field of characteristic not dividing any $m_i$ .

This paper deals with the following problem. Given a finite extension of fields $\mathbb{L}/\mathbb{K}$ and denoting the trace map from $\mathbb{L}$ to $\mathbb{K}$ by $\text{Tr}$, for which elements $z$ in $\mathbb{L}$, and $a$, $b$ in $\mathbb{K}$, is it possible to write $z$ as a product $xy$, where $x,y\in \mathbb{L}$ with $\text{Tr}(x)=a,\text{Tr}(y)=b$? We solve most of these problems for finite fields, with a complete solution when the degree of the extension is at least 5. We also have results for arbitrary fields and extensions of degrees 2, 3 or 4. We then apply our results to the study of perfect nonlinear functions, semifields, irreducible polynomials with prescribed coefficients, and a problem from finite geometry concerning the existence of certain disjoint linear sets.

Let ℚsymm be the compositum of all symmetric extensions of ℚ, i.e., the finite Galois extensions with Galois group isomorphic to Sn for some positive integer n, and let ℤsymm be the ring of integers inside ℚsymm. Then, TH(ℤsymm) is primitive recursively decidable.

It is proven that, for a wide range of integers s (2 < s < p − 2), the existence of a single wildly ramified odd prime l ≠ p leads to either the alternating group or the full symmetric group as Galois group of any irreducible trinomial Xp + aXs + b of prime degree p.

We solve the inverse differential Galois problem over differential fields with a large field of constants of infinite transcendence degree over $\mathbb{Q}$. More generally, we show that over such a field, every split differential embedding problem can be solved. In particular, we solve the inverse differential Galois problem and all split differential embedding problems over $\mathbb{Q}_{p}(x)$.

A polynomial $f$ over a finite field $\mathbb{F}_{q}$ can be classified as a permutation polynomial by the Hermite–Dickson criterion, which consists of conditions on the powers $f^{e}$ for each $e$ from $1$ to $q-2$, as well as the existence of a unique solution to $f(x)=0$ in $\mathbb{F}_{q}$. Carlitz and Lutz gave a variant of the criterion. In this paper, we provide an alternate proof to the theorem of Carlitz and Lutz.

The probability of successfully spending twice the same bitcoins is considered. A double-spending attack consists in issuing two transactions transferring the same bitcoins. The first transaction, from the fraudster to a merchant, is included in a block of the public chain. The second transaction, from the fraudster to himself, is recorded in a block that integrates a private chain, exact copy of the public chain up to substituting the fraudster-to-merchant transaction by the fraudster-to-fraudster transaction. The double-spending hack is completed once the private chain reaches the length of the public chain, in which case it replaces it. The growth of both chains are modelled by two independent counting processes. The probability distribution of the time at which the malicious chain catches up with the honest chain, or, equivalently, the time at which the two counting processes meet each other, is studied. The merchant is supposed to await the discovery of a given number of blocks after the one containing the transaction before delivering the goods. This grants a head start to the honest chain in the race against the dishonest chain.

A cyclotomic polynomial $\unicode[STIX]{x1D6F7}_{k}(x)$ is an essential cyclotomic factor of $f(x)\in \mathbb{Z}[x]$ if $\unicode[STIX]{x1D6F7}_{k}(x)\mid f(x)$ and every prime divisor of $k$ is less than or equal to the number of terms of $f.$ We show that if a monic polynomial with coefficients from $\{-1,0,1\}$ has a cyclotomic factor, then it has an essential cyclotomic factor. We use this result to prove a conjecture posed by Mercer [‘Newman polynomials, reducibility, and roots on the unit circle’, Integers12(4) (2012), 503–519].

Given $f\in \mathbb{Z}[t]$ of positive degree, we investigate the existence of auxiliary polynomials $g\in \mathbb{Z}[t]$ for which $f(g(t))$ factors as a product of polynomials of small relative degree. One consequence of this work shows that for any quadratic polynomial $f\in \mathbb{Z}[t]$ and any $\unicode[STIX]{x1D700}>0$, there are infinitely many $n\in \mathbb{N}$ for which the largest prime factor of $f(n)$ is no larger than $n^{\unicode[STIX]{x1D700}}$.

We prove that for every sufficiently large integer $n$, the polynomial $1+x+x^{2}/11+x^{3}/111+\cdots +x^{n}/111\ldots 1$ is irreducible over the rationals, where the coefficient of $x^{k}$ for $1\leqslant k\leqslant n$ is the reciprocal of the decimal number consisting of $k$ digits which are each $1$. Similar results following from the same techniques are discussed.