Current browse context:
math.GR
Change to browse by:
References & Citations
Mathematics > Group Theory
Title: First-order recognisability in finite and pseudofinite groups
(Submitted on 5 Nov 2019 (v1), last revised 19 Feb 2020 (this version, v2))
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.
Submission history
From: Yves Cornulier [view email][v1] Tue, 5 Nov 2019 18:06:03 GMT (26kb)
[v2] Wed, 19 Feb 2020 17:03:44 GMT (18kb)
Link back to: arXiv, form interface, contact.