The radical of the automorphism group of a transcendental field extension (Q1895592)

The author develops a notion of the radical for a group of automorphisms of a field that is algebraically closed and has nonzero transcendence degree over its prime subfield. Let \(\Omega\) be an algebraically closed field over its prime subfield \(P\). Let \(\overline {P}\) be the set of elements of \(\Omega\) that are algebraic over \(P\). Let \(\Gamma= \Aut_ P \overline {P}\) and \(G= \Aut_ P \Omega\). Let \(\varphi\) denote the continuous homomorphism from \(G\) onto \(\Gamma\) given by restriction. Construct a \(\Gamma\)-system \((G, \varphi, {\mathcal S})\) with \(G\) and homomorphism \(\varphi\) and with the set \({\mathcal S}\) consisting of subgroups of the form \(\Aut_{P (x)} \Omega\) where \(x\in \Omega \setminus \overline {P}\). The tight closure of a subgroup \(H\) of \(G\) is denoted by \(H^ T\) and is given by \(H^ T= \Aut_{\Omega^ H} \Omega\). The tight radical of \(G\) is the intersection of all subgroups which are the tight closure of a normal closed subgroup of \(G\) which has compact factor group. The author shows that the kernel of \(\varphi\) equals the tight radical of \(G\). The radical of \(G\), \(\text{rad }G\), is the intersection of all subgroups of \(G\) which are closed, normal, and have a compact factor group. The author shows that the tight closure of \(\text{rad } G\) is \(\text{rad}^ T G\).