FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS

DOI10.1112/S0024610706023106zbMath1118.20019OpenAlexW2131860875MaRDI QIDQ3419772

John S. Wilson

Publication date: 7 February 2007

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024610706023106

zbMATH Keywords

finite soluble groupsfirst-order languagesproducts of commutatorsaxiomatics

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Commutator calculus (20F12) Axiomatics and elementary properties of groups (20A05) Basic properties of first-order languages and structures (03C07)

Related Items (13)

On the Clique Numbers of Non-commuting Graphs of Certain Groups ⋮ Efficient finite groups arising in the study of relative asphericity ⋮ Presentations of finite simple groups: a computational approach. ⋮ Remarks on proficient groups. ⋮ Unnamed Item ⋮ FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS ⋮ Length of polynomials over finite groups ⋮ Model theory of finite and pseudofinite groups ⋮ Presentations of finite simple groups: A quantitative approach ⋮ DESCRIPTIVE COMPLEXITY OF FINITE ABELIAN GROUPS ⋮ First-order characterization of the radical of a finite group ⋮ On element-centralizers in finite groups. ⋮ CHARACTERIZATION OF SOLVABLE GROUPS AND SOLVABLE RADICAL

This page was built for publication: FINITE AXIOMATIZATION OF FINITE SOLUBLE GROUPS