John S. Wilson
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$.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados