Definability from Factorised Symmetry in Ultrapowers

Abstract

A recent theorem of Madarasz characterises the parameter-free concepts of a finitely field-definable coordinate geometry by invariance under its affine automorphisms. This paper isolates the affine-geometric ingredient in that proof and extends the argument to include additional finite-relational coordinate geometries. The new hypothesis is "semilinear faithfulness": in every ultrapower, each automorphism of the induced geometry factors as an affine automorphism of the geometry followed by the componentwise action of an automorphism of the expanded base structure. Under this hypothesis, every parameter-free ambient-definable relation is a concept of the geometry exactly when it is preserved by the affine automorphism group. A corresponding dual inclusion theorem is obtained for concept sets. The framework recovers the original finitely field-definable theorem and applies beyond pure-field definability, including a named-scalar geometry and a frame-expanded geometry over an exponential field. A final section records the analogous factorisation principle for uniformly coded symmetry groups in arbitrary, including non-geometric, one-sorted structures.