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.

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

An entire solution of the Allen-Cahn equation $\Delta u=f\left(u\right)$, where $f$ is an odd function and has exactly three zeros at $\pm 1$ and $0$, e.g. $f\left(u\right)=u(u^2-1)$, is called a $2k$ end solution if its nodal set is asymptotic to $2k$ half lines, and if along each of these half lines the function $u$ looks (up to a multiplication by $-1$) like the one dimensional, odd, heteroclinic solution $H$, of $H^{\text{'}\text{'}}=f\left(H\right)$. In this paper we present some recent advances in the theory of the multiple end solutions. We begin with the description of the moduli space...

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

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 $k$ be an algebraically closed field of characteristic $p\>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

For any number field $K$ with non-elementary $3$-class group ${\mathrm{Cl}}_3\left(K\right)\simeq C_{3^e}\times C_3$, $e\ge 2$, the punctured capitulation type $\varkappa \left(K\right)$ of $K$ in its unramified cyclic cubic extensions $L_i$, $1\le i\le 4$, is an orbit under the action of $S_3\times S_3$. By means of Artin’s reciprocity law, the arithmetical invariant $\varkappa \left(K\right)$ is translated to the punctured transfer kernel type $\varkappa \left(G_2\right)$ of the automorphism group $G_2=\mathrm{Gal}({\mathrm{F}}_3^2\left(K\right)/K)$ of the second Hilbert $3$-class field of $K$. A classification of finite $3$-groups $G$ with low order and bicyclic commutator quotient $G/G^{\text{'}}\simeq C_{3^e}\times C_3$, $2\le e\le 6$, according to the algebraic...

We give the characterization of the unit group of ${𝔽}_{q}SL(2,{\mathbb{Z}}_5)$, where ${𝔽}_q$ is a finite field with $q=p^k$ elements for prime $p>5,$ and $SL(2,{\mathbb{Z}}_5)$ denotes the special linear group of $2\times 2$ matrices having determinant $1$ over the cyclic group ${\mathbb{Z}}_5$.

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