On Galois groups and PAC substructures

DOI10.4064/FM788-10-2019MaRDI QIDQ3298786zbMATH OpenOpenAlexFDO

Authors Daniel Max Hoffmann

Publication date 15 July 2020

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.11141

zbMATH Keywords

Frattini coversGalois groupsgroup actionspseudo-algebraically closed structures

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Limits, profinite groups (20E18)

Abstract: We show that for an arbitrary stable theory T, a group G is profinite if and only if G occurs as a Galois group of some Galois extension inside a monster model of T. We prove that any PAC substructure of the monster model of T has projective absolute Galois group. Moreover, any projective profinite group G is isomorphic to the absolute Galois group of some substructure P of the monster model. If T is omega-stable, then P can be chosen to be PAC. Finally, we provide a description of some Galois groups of existentially closed substructures with G-action in the terms of the universal Frattini cover. Such structures might be understood as a new examples of PAC structures.

Recommendations

• Projective pairs of profinite groups.
• Model theoretic dynamics in Galois fashion
• Model theory of absolute Galois groups.
• On PAC and bounded substructures of a stable structure
• Projective group structures as absolute Galois structures with block approximation

Cites work

• An invitation to model-theoretic Galois theory
• Decidability and undecidability theorems for PAC-fields
• Existentially closed fields with finite group actions
• Field Arithmetic
• Generic structures and simple theories
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3732018 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• scientific article; zbMATH DE number 2220970 (Why is no real title available?)
• Model theoretic dynamics in Galois fashion
• On finite imaginaries
• On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
• On PAC and bounded substructures of a stable structure
• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• Properties of forking in ω-free pseudo-algebraically closed fields
• Une théorie de Galois imaginaire

Cited in

(9)

• Model theoretic dynamics in Galois fashion
• Model theory of differential fields with finite group actions
• On PAC and bounded substructures of a stable structure
• Elementary equivalence theorem for PAC structures
• MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS
• THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS
• Co-theory of sorted profinite groups for PAC structures
• Projective pairs of profinite groups.
• PAC structures as invariants of finite group actions

This page was built for publication: On Galois groups and PAC substructures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3298786)