On the Galois groups of iterated generic additive polynomials (Q4357732)

Let \(K\) be any field of characteristic \(p>0\). Let \(X,Y,T_0,\dots, T_{k-1}\) be algebraically independent over \(K\). Set \(q=p^h\) and define \[ \Phi(X)= X^{q^k}+ \sum_{j<k} T_j X^{q^j}, \quad \psi(X)= \Phi(X)-Y. \] Let \(\Phi_n(X)\) respectively \(\Psi_n(X)\) be the \(n\)-th iterate of the polynomial \(\Phi\), respectively \(\Psi\) with respect to \(X\). Let \[ G_n^0(K)= \text{Gal} (\Phi_n(X)/ K(T_0,\dots, T_{k-1})), \quad G_n(K)= \text{Gal} (\Psi_n(X)/ K(T_0,\dots, T_{k-1},Y)) \] be the Galois groups of \(\Phi_n\), respectively \(\Psi_n\) over the indicated fields. The aim of the paper under review is the determination of these Galois groups. The result is as follows. Let \(R_n\) be the finite \(\mathbb{F}_q\)-algebra \(\mathbb{F}_q[Z]/ (Z^n)\), \(Z\) an indeterminate. Then \(GL(k,R_n)\) denotes the group of all \(R_n\)-automorphisms of the free module \(R_n^k= R_n\oplus\cdots \oplus R_n\) (\(k\) summands). \(AL(k,R_n)\) is the group of all permutations of \(R_n^k\) of the type \(x\mapsto \alpha x+r\) with \(\alpha\in GL(k,R_n)\) and \(r\in R_n^k\). Theorem 1 states \[ G_n^0(K)\simeq GL(k,R_n), \quad G_n(K)\simeq AL(k,R_n), \] if \(\mathbb{F}_q\subset K\).