18 research outputs found
Dimensional groups and fields
We shall define a general notion of dimension, and study groups and rings
whose interpretable sets carry such a dimensio. In particular, we deduce chain
conditions for groups, definability results for fields and domains, and show
that pseudofinite groups contain big finite-by-abelian subgroups, and
pseudofinite groups of dimension 2 contain big soluble subgroups
Pseudofinite structures and simplicity
We explore a notion of pseudofinite dimension, introduced by Hrushovski and
Wagner, on an infinite ultraproduct of finite structures. Certain conditions on
pseudofinite dimension are identified that guarantee simplicity or
supersimplicity of the underlying theory, and that a drop in pseudofinite
dimension is equivalent to forking. Under a suitable assumption, a
measure-theoretic condition is shown to be equivalent to local stability. Many
examples are explored, including vector spaces over finite fields viewed as
2-sorted finite structures, and homocyclic groups. Connections are made to
products of sets in finite groups, in particular to word maps, and a
generalization of Tao's algebraic regularity lemma is noted
Incidence bounds in positive characteristic via valuations and distality
We prove distality of quantifier-free relations on valued fields with finite
residue field. By a result of Chernikov-Galvin-Starchenko, this yields
Szemer\'edi-Trotter-like incidence bounds for function fields over finite
fields. We deduce a version of the Elekes-Szab\'o theorem for such fields