We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS.
- Authors
CORNULIER, YVES; WILSON, JOHN S.
- 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.
- Subjects
SOLVABLE groups; FRATTINI subgroups
- Publication
Journal of Symbolic Logic, 2020, Vol 85, Issue 2, p852
- ISSN
0022-4812
- Publication type
Article
- DOI
10.1017/jsl.2020.14