Groups which are "attached" to theories of fields, appearing in models of the theory
as the automorphism groups of intermediate fields fixing an elementary submodel are called geometrically represented.
We will discuss the concept ``geometric representation" in the case of pseudo finite fields. Then will show that any group which is geometrically represented in a complete theory of a pseudo-finite field must be abelian.
This result also generalizes to bounded PAC fields. This is joint work with Zoe Chatzidakis.
- Logic Seminar