scientific article; zbMATH DE number 1065053
It is shown that if \(L\) is an algebraically closed field of characteristic 0, either countable of infinite transcendence degree, or of cardinality \(2^\lambda=\lambda^+\) (where \(\lambda\) is an infinite cardinal), then \(\Aut(L)\) is complete, that is, has no non-trivial outer automorphism. The proof uses results of Lascar and Shelah (the small index property for \(\Aut(L)\)), and a theorem of Evans and Hrushovski which describes the automorphism group of the pregeometry of algebraically closed subfields of \(L\). These are used to construct homomorphisms from \(\Aut(L)\) and from \(\Aut(\Aut(L))\) to the automorphism group of the geometry. Some generalisations are given, including to the prime characteristic case, and to the group of automorphisms fixing setwise an algebraically closed subfield. For the entire collection see [Zbl 0867.00021].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4356359)