Galois group over \(\mathbb{Q}\) of some iterated polynomials
type: Item
instance of: scholarly article
title: Galois group over \(\mathbb{Q}\) of some iterated polynomials
zbMATH Open document ID: 0758.11045
DOI: 10.1007/BF01197321
author: Michael Stoll
published in: Archiv der Mathematik
publication date: 1993-02-10T00:00:00Z
review text: Let \(a\) be an integer such that \(-a\) is not a square in \(\mathbb{Q}\), \(f:=X^ 2+a\in\mathbb{Z}[X]\), and denote the iterates of \(f\) by \(f_ 0:=X\) and \(f_{n+1}:=f(f_ n)=f_ n^ 2+a\) for all \(n\geq 0\). Let \(c_ 1:=-a\) and \(c_{n+1}:=f(c_ n)=c_ n^ 2+a\) for \(n\geq 1\). There is an integer sequence \((b_ n)_{n\geq 1}\) with the \(b_ n\) coprime in pairs such that for all \(n\geq 1\), \(c_ n=\prod_{d\mid n} b_ d\). Let \(K_ n\) be the splitting field of \(f_ n\) over \(\mathbb{Q}\) and denote by \(\Omega_ n:=\text{Gal}(K_ n/\mathbb{Q})=\text{Gal}(f_ n/\mathbb{Q})\) its Galois group over the rational numbers. Let \([C_ 2]^ n\) denote the \(n\)-fold wreath product of the 2-element group. Then it is known that \(\Omega_ n\) always injects into \([C_ 2]^ n\). The following equivalence is shown in the paper: \(\Omega_ n\cong [C_ 2]\) if and only if \(c_ 1,c_ 2,\dots,c_ n\) are 2-independent in \(\mathbb{Q}\). Here, ``2-independent'' means that no nonempty product of some of the \(c_ n\) is a square. This gives the following sufficient condition for \(\Omega_ n\cong[C_ 2]^ n\) to hold: \(| b_ m|\) is not a square for \(2\leq m\leq n\). This condition is then verified for all \(n\) in the following cases: (\(a>0\) and \(a\equiv 1\) or \(2\bmod 4\)) or (\(a<0\) and \(a\equiv 0\bmod 4\) and \(-a\) not a square). So, for these \(a\), one always has \(\text{Gal}(f_ n/\mathbb{Q})\cong[C_ 2]^ n\) for all \(n\).
Mathematics Subject Classification ID: 11R32
Mathematics Subject Classification ID: 11R09
Mathematics Subject Classification ID: 11B37
zbMATH DE Number: 119856
zbMATH Keywords: iterated polynomials
zbMATH Keywords: recursion
zbMATH Keywords: Galois group
zbMATH Keywords: wreath product of the 2- element group
reviewed by: Manfred Stoll
MaRDI profile type: Publication
cites work: On the Galois groups of the iterates of x 2 +1
cites work: Realising wreath products of cyclic groups as Galois groups
Recommended article: On the Galois groups of the iterates of x 2 +1
Recommended article: Q3181704
Recommended article: Galois groups of some iterated polynomials over cyclotomic extensions
Recommended article: Q3656141
Recommended article: Arithmetic properties of periodic points of quadratic maps
Recommended article: Quadratic fields with cyclic 2-class groups
Recommended article: Q5476115
Recommended article: A note.
Recommended article: Realisation de produits en couronne comme groupe de Galois de polynomes reciproques et construction de polynomes generiques
Recommended article: On Commutator Length and Square Length of the Wreath Product of a Group by a Finitely Generated Abelian Group
description: scientific article; zbMATH DE number 119856