It is proved that the finite soluble groups can be characterized among finite groups by a first-order sentence, namely, the sentence that asserts that no non-trivial element g is a product of 56 commutators [x, y] with entries x, y conjugate to g.
No takes yet. Share an insight, caveat, or question.
John S. Wilson (2006) studied this question.