First-order recognizability in finite and pseudofinite groups

DOI10.1017/JSL.2020.14MaRDI QIDQ5148113zbMATH OpenOpenAlexFDO

Authors John S. Wilson, Yves Cornulier

Publication date 29 January 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

first-order theoryFrattini subgrouppseudo-nilpotent groupspseudo-soluble groupspseudofinite groups

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Ultraproducts and related constructions (03C20) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Finite nilpotent groups, (p)-groups (20D15) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20)

Abstract: It is known that there exists a first-order sentence that holds in a finite group if and only if the group is soluble. Here it is shown that the corresponding statements with 'solubility' replaced by 'nilpotence' and 'perfectness', among others, are false. These facts present difficulties for the study of pseudofinite groups. However, a very weak form of Frattini's theorem on the nilpotence of the Frattini subgroup of a finite group is proved for pseudofinite groups.

Recommendations

• scientific article; zbMATH DE number 980387
• Finite rank and pseudofinite groups
• scientific article; zbMATH DE number 19158
• First-order characterization of the radical of a finite group
• Model theory of finite and pseudofinite groups

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Alternatives for pseudofinite groups.
• Components and minimal normal subgroups of finite and pseudofinite groups
• Composition Factors from the Group Ring and Artin's Theorem on Orders of Simple Groups
• Elementary properties of Abelian groups
• FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS
• First-order characterization of the radical of a finite group
• scientific article; zbMATH DE number 7590 (Why is no real title available?)
• scientific article; zbMATH DE number 194815 (Why is no real title available?)
• Model theory of finite and pseudofinite groups
• Nilpotent groups
• The elementary theory of finite fields

Cited in

(7)

• Describing finite groups by short first-order sentences
• Separating Classes of Groups by First-Order Sentences
• scientific article; zbMATH DE number 980387 (Why is no real title available?)
• Components and minimal normal subgroups of finite and pseudofinite groups
• On Simple Pseudofinite Groups
• Powers of commutators in linear algebraic groups
• Model theory of finite and pseudofinite groups

This page was built for publication: First-order recognizability in finite and pseudofinite groups

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