Model theory of fields with finite group scheme actions

2020/06/04 by Hoffmann, Daniel Max, Kowalski, Piotr
#14L15 Secondary 11S20 #FOS: Mathematics #Logic (math.LO) #Primary 03C60

paper · doi:10.48550/arxiv.2006.03147

Abstract

We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative Hasse-Schmidt derivations and about Galois actions. As an application of our methods, we obtain a new model complete theory of actions of a finite group on fields of finite imperfection degree.

Related

• A note on valued fields with finite group actions
• Galois actions of finitely generated groups rarely have model companions
• Groups interpretable in theories of fields
• Model theory of differential fields with finite group actions
• PAC structures as invariants of finite group actions