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...

Let $\epsilon$ be an algebraic unit of the degree $n\ge 3$. Assume that the extension $\mathbb{Q}\left(\epsilon \right)/\mathbb{Q}$ is Galois. We would like to determine when the order $\mathbb{Z}\left[\epsilon \right]$ of $\mathbb{Q}\left(\epsilon \right)$ is $\mathrm{Gal}\left(\mathbb{Q}\right(\epsilon )/\mathbb{Q})$-invariant, i.e. when the $n$ complex conjugates ${\epsilon }_1,\cdots ,{\epsilon }_n$ of $\epsilon$ are in $\mathbb{Z}\left[\epsilon \right]$, which amounts to asking that $\mathbb{Z}[{\epsilon }_1,\cdots ,{\epsilon }_n]=\mathbb{Z}\left[\epsilon \right]$, i.e., that these two orders of $\mathbb{Q}\left(\epsilon \right)$ have the same discriminant. This problem has been solved only for $n=3$ by using an explicit formula for the discriminant of the order $\mathbb{Z}[{\epsilon }_1,{\epsilon }_2,{\epsilon }_3]$. However, there is no known similar formula for $n>3$. In the present paper, we put forward and...

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...

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...

Let $p$ be a prime integer and $F$ a field of characteristic $0$. Let $X$ be theof a symbol in the Galois cohomology group $H^{n+1}(F,{\mu }_p^{\otimes n})$ (for some $n\ge 1$), constructed in the proof of the Bloch-Kato conjecture. The main result of the paper affirms that the function field $F\left(X\right)$ has the following property: for any equidimensional variety $Y$, the change of field homomorphism $\mathrm{CH}\left(Y\right)\to \mathrm{CH}\left(Y_{F\left(X\right)}\right)$ of Chow groups with coefficients in integers localized at $p$ is surjective in codimensions $\<(dimX)/(p-1)$. One of the main ingredients of the proof is a computation...

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...

Let $\varphi$ be a substitution of Pisot type on the alphabet $𝒜=\{1,2,...,d\}$; $\varphi$ satisfies theif for every $i,j\in 𝒜$, there are integers $k,n$ such that ${\varphi }^n\left(i\right)$ and ${\varphi }^n\left(j\right)$ have the same $k$-th letter, and the prefixes of length $k-1$ of ${\varphi }^n\left(i\right)$ and ${\varphi }^n\left(j\right)$ have the same image under the abelianization map. We prove that the strong coincidence condition is satisfied if $d=2$ and provide a partial result for $d\ge 2$.