We study the compositum $k^{\left[d\right]}$ of all degree $d$ extensions of a number field $k$ in a fixed algebraic closure. We show $k^{\left[d\right]}$ contains all subextensions of degree less than $d$ if and only if $d\le 4$. We prove that for $d\>2$ there is no bound $c=c\left(d\right)$ on the degree of elements required to generate finite subextensions of $k^{\left[d\right]}/k$. Restricting to Galois subextensions, we prove such a bound does not exist under certain conditions on divisors of $d$, but that one can take $c=d$ when $d$ is prime. This question was inspired by work of...

Fix an integer $\ell \ge 3$. Rikuna introduced a polynomial $r(x,t)$ defined over a function field $K\left(t\right)$ whose Galois group is cyclic of order $\ell$, where $K$ satisfies some mild hypotheses. In this paper we define the family of ${\left\{r_n(x,t)\right\}}_{n\ge 1}$ of degree ${\ell }^n$. The $r_n(x,t)$ are constructed iteratively from the $r(x,t)$. We compute the Galois groups of the $r_n(x,t)$ for odd $\ell$ over an arbitrary base field and give applications to arithmetic dynamical systems.

We show that the discriminant of the generalized Laguerre polynomial $L_n^{\left(\alpha \right)}\left(x\right)$ is a non-zero square for some integer pair $(n,\alpha )$, with $n\ge 1$, if and only if $(n,\alpha )$ belongs to one of $30$ explicitly given infinite sets of pairs or to an additional finite set of pairs. As a consequence, we obtain new information on when the Galois group of $L_n^{\left(\alpha \right)}\left(x\right)$ over $\mathbb{Q}$ is the alternating group $A_n$. For example, we establish that for all but finitely many positive integers $n\equiv 2(mod4)$, the only $\alpha$ for which the Galois group of $L_n^{\left(\alpha \right)}\left(x\right)$ over $\mathbb{Q}$ is $A_n$ is...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≢ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{{|}^p)}^{1/p}$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ, L > 0, and q ≥ 1 let ${\mu }_q(n,L)$ be the smallest value of k for which there is a polynomial Q of degree k with complex coefficients such that $\left|Q\left(0\right)\right|>1/L({\sum }_{j=1}^n{\left|Q\left(j\right)\right|}^q{)}^{1/q}$. We find the size of ${\kappa }_p(n,L)$ and ${\mu }_q(n,L)$ for all n ∈ ℕ, L > 0, and 1 ≤ p,q ≤ ∞. The result about ${\mu }_{\infty }(n,L)$ is due to Coppersmith and Rivlin, but our proof is completely different and much shorter even...

We continue the examination of the stable reduction and fields of moduli of $G$-Galois covers of the projective line over a complete discrete valuation field of mixed characteristic $(0,p)$, where $G$ has a $p$-Sylow subgroup $P$ of order $p^n$. Suppose further that the normalizer of $P$ acts on $P$ via an involution. Under mild assumptions, if $f:Y\to {\mathbb{P}}^1$ is a three-point $G$-Galois cover defined over $\overline{\mathbb{Q}}$, then the $n$th higher ramification groups above $p$ for the upper numbering of the (Galois closure of...

For n ∈ ℕ, L > 0, and p ≥ 1 let ${\kappa }_p(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0\left|\ge L\right({\sum }_{j=1}^n|a_j{|}^p$1/p$,$aj ∈ ℂ$,$such that ${(x-1)}^k$ divides P(x). For n ∈ ℕ and L > 0 let ${\kappa }_{\infty }(n,L)$ be the largest possible value of k for which there is a polynomial P ≠ 0 of the form $P\left(x\right)={\sum }_{j=0}^n{a}_j{x}^j$, $|a_0|\ge Lma{x}_{1\le j\le n}|a_j|$, $a_j\in ℂ$, such that ${(x-1)}^k$ divides P(x). We prove that there are absolute constants c₁ > 0 and c₂ > 0 such that $c_1\surd (n/L)-1\le {\kappa }_{\infty }(n,L)\le c_2\surd (n/L)$ for every L ≥ 1. This complements an earlier result of the authors valid for every n ∈ ℕ and L ∈...

Let D and ∂D denote the open unit disk and the unit circle of the complex plane, respectively. We denote by ₙ (resp. ${ₙ}^c$) the set of all polynomials of degree at most n with real (resp. complex) coefficients. We define the truncation operators Sₙ for polynomials $Pₙ\in {ₙ}^c$ of the form $Pₙ\left(z\right):={\sum }_{j=0}^n{a}_j{z}_j$, $a_j\in C$, by $Sₙ\left(Pₙ\right)\left(z\right):={\sum }_{j=0}^{n}a{̃}_j{z}_j$, $a{̃}_j:=a_j\left|a_j\right|min|a_j|,1$ (here 0/0 is interpreted as 1). We define the norms of the truncation operators by $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{real}:=su{p}_{Pₙ\in ₙ}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|)$, $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{comp}:=su{p}_{Pₙ\in {ₙ}^c}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|$. Our main theorem establishes the right order of magnitude of the above norms: there is an absolute constant c₁...

Given an algebraic number field $k$ and a finite group $\Gamma$, we write $ℛ\left(O_k\left[\Gamma \right]\right)$ for the subset of the locally free classgroup $\mathrm{Cl}\left(O_k\left[\Gamma \right]\right)$ consisting of the classes of rings of integers $O_N$ in tame Galois extensions $N/k$ with $\mathrm{Gal}(N/k)\cong \Gamma$. We determine $ℛ\left(O_k\left[\Gamma \right]\right)$, and show it is a subgroup of $\mathrm{Cl}\left(O_k\left[\Gamma \right]\right)$ by means of a description using a Stickelberger ideal and properties of some cyclic codes, when $k$ contains a root of unity of prime order $p$ and $\Gamma =V⋊C$, where $V$ is an elementary abelian group of order $p^r$ and $C$ is a cyclic group of order $m\>1$ acting faithfully...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

The paper deals with the approximation by polynomials with integer coefficients in $L_p(0,1)$, 1 ≤ p ≤ ∞. Let $P_{n,r}$ be the space of polynomials of degree ≤ n which are divisible by the polynomial $x^r{(1-x)}^r$, r ≥ 0, and let $P_{n,r}^{\mathbb{Z}}\subset P_{n,r}$ be the set of polynomials with integer coefficients. Let $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ be the maximal distance of elements of $P_{n,r}$ from $P_{n,r}^{\mathbb{Z}}$ in $L_p(0,1)$. We give rather precise quantitative estimates of $\mu (P_{n,r}^{\mathbb{Z}};L₂)$ for n ≳ 6r. Then we obtain similar, somewhat less precise, estimates of $\mu (P_{n,r}^{\mathbb{Z}};L_p)$ for p ≠ 2. It follows that $\mu (P_{n,r}^{\mathbb{Z}};L_p)\asymp n^{-2r-2/p}$ as n → ∞. The results...