Model theory of finite and pseudofinite groups (Q684232): Difference between revisions

This is an excellent review article on the model theory of finite and pseudofinite groups. The article is written for both model theorists and group theorists, and it introduces carefully all the group theoretic and model theoretic notions used in the article. The article is structured as follows: {\parindent=0.7cm \begin{itemize}\item[1.] background on ultraproducts, pseudofinite fields, and basic concepts from generalized stability theory; \item[2.] discussion of three major theorems of John Williams on (pseudo)finite groups: the description of simple pseudofinite groups; the finite axiomatisability, among finite groups, of soluble groups; and the uniform definability of the soluble radical of a finite group; \item[3.] consideration of which pseudofinite groups have a first-order theory which is stable, or simple or NIP, or NTP2; \item[4.] discussion of the notion of asymptotic class of finite structures, and analysis of this notion in the context of finite groups; \item[5.] results on pseudofinite permutation groups. \end{itemize}}