Model theory of finite and pseudofinite groups

DOI10.1007/S00153-017-0584-1MaRDI QIDQ684232zbMATH OpenOpenAlexWikidataFDO

Authors Dugald Macpherson

Publication date 9 February 2018

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1607.06714

zbMATH Keywords

NIP theorypseudofinite fieldpseudofinite groupstable theory

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Ultraproducts and related constructions (03C20) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15)

Abstract: This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory and generalisations in the context of pseudofinite groups, and on the information this might provide for finite group theory.

Review text

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}}

Recommendations

• First-order recognizability in finite and pseudofinite groups
• scientific article; zbMATH DE number 19158
• scientific article; zbMATH DE number 980387
• Pseudofinite groups with NIP theory and definability in finite simple groups
• Stable pseudofinite groups

Cites work

• A course in model theory
• A Finitely Generated Infinite Simple Group
• A Guide to NIP Theories
• A Reduction of the Open Sentence Problem for Finite Groups
• Almost orthogonal regular types
• Alternatives for pseudofinite groups.
• Asymptotic classes of finite Moufang polygons
• Asymptotic classes of finite structures
• Characterization of \(p\)-adic analytic groups in terms of wreath products
• Definable envelopes in groups having a simple theory
• Describing finite groups by short first-order sentences
• Diameters of finite simple groups: sharp bounds and applications
• Elementary properties of linear groups and related problems.
• FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS
• Finite simple groups as expanders
• Finite simple groups of Lie type as expanders.
• First-order characterization of the radical of a finite group
• Generalised stability of ultraproducts of finite residue rings
• Groups and fields with \(\mathrm{NTP}_{2}\)
• Groups in supersimple and pseudofinite theories
• scientific article; zbMATH DE number 2186912 (Why is no real title available?)
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 5507559 (Why is no real title available?)
• scientific article; zbMATH DE number 3769606 (Why is no real title available?)
• scientific article; zbMATH DE number 7590 (Why is no real title available?)
• scientific article; zbMATH DE number 32406 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3532941 (Why is no real title available?)
• scientific article; zbMATH DE number 663798 (Why is no real title available?)
• scientific article; zbMATH DE number 1063290 (Why is no real title available?)
• scientific article; zbMATH DE number 754210 (Why is no real title available?)
• scientific article; zbMATH DE number 1821672 (Why is no real title available?)
• scientific article; zbMATH DE number 1912564 (Why is no real title available?)
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• scientific article; zbMATH DE number 3316931 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• Intersection matrices for finite permutation groups
• Lectures on the model theory of valued fields
• Measurability in modules
• Measurable groups of low dimension
• Mekler's construction preserves \(CM\)-triviality
• Model theory of difference fields
• MODEL THEORY OF DIFFERENCE FIELDS, II: PERIODIC IDEALS AND THE TRICHOTOMY IN ALL CHARACTERISTICS
• Model theory of finite fields and pseudo-finite fields
• Nonsolvable finite groups all of whose local subgroups are solvable
• On Simple Pseudofinite Groups
• ON SOLUBILITY OF GROUPS WITH BOUNDED CENTRALIZER CHAINS
• On the definability of radicals in supersimple groups
• One-dimensional asymptotic classes of finite structures
• Perfect infinities and finite approximation
• Permutation Groups in o-Minimal Structures
• Primitive permutation groups of bounded orbital diameter.
• Primitive Permutation Groups of Finite Morley Rank
• Product decompositions of quasirandom groups and a Jordan type theorem.
• Profinite groups with NIP theory andp-adic analytic groups
• Pseudofinite groups as fixed points in simple groups of finite Morley rank
• Pseudofinite groups with NIP theory and definability in finite simple groups
• Pseudofinite structures and simplicity
• Quasirandom Groups
• Reconstruction of classical geometries from their automorphism group
• Remarks on compactifications of pseudofinite groups
• Sets Definable Over Finite Fields: Their Zeta-Functions
• Simple theories and hyperimaginaries
• Simplicity theory
• Stability of nilpotent groups of class 2 and prime exponent
• Stable pseudofinite groups
• Supersimple fields and division rings
• Suzuki groups as expanders.
• The elementary theory of finite fields
• The Ore conjecture.
• The Waring problem for finite simple groups.
• Theories without the tree property of the second kind
• Types in valued fields with coefficient maps
• Ultraproducts and Chevalley groups
• Waring problem for finite quasisimple groups.
• Word maps have large image.

Cited in

(24)

• Model theory of finite fields and pseudo-finite fields
• A note on pseudofinite groups of finite centraliser dimension
• Centralizers in pseudo-finite groups
• Ranks for families of theories of abelian groups
• Profinite groups with NIP theory andp-adic analytic groups
• Pseudofinite groups with NIP theory and definability in finite simple groups
• scientific article; zbMATH DE number 4173216 (Why is no real title available?)
• The model theory of finitely generated finite-by-abelian groups
• scientific article; zbMATH DE number 554979 (Why is no real title available?)
• scientific article; zbMATH DE number 1065051 (Why is no real title available?)
• scientific article; zbMATH DE number 7046718 (Why is no real title available?)
• On Simple Pseudofinite Groups
• 1 Model theory and groups
• First-order recognizability in finite and pseudofinite groups
• Pseudofinite groups and VC-dimension
• scientific article; zbMATH DE number 6302944 (Why is no real title available?)
• scientific article; zbMATH DE number 2208072 (Why is no real title available?)
• Groups and model theory. GAGTA book 2
• Small groups of finite Morley rank with a supertight automorphism
• On T-pseudofinite models of universal theories T
• Finite-dimensional pseudofinite groups of small dimension, without CFSG
• On Sylow theory for linear pseudofinite groups
• Fixed point subgroups of a supertight automorphism
• Primitive pseudo-finite permutation groups of finite SU-rank

This page was built for publication: Model theory of finite and pseudofinite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684232)