|
|||||
|
|
Finite Axiomatization of Finite Soluble Groups |
|
| Authors: | Wilson John S. |
| Affiliation: | University College Oxford OX1 4BH, United Kingdom wilsonjs{at}maths.ox.ac.uk |
| Abstract: | It is proved that the finite soluble groups can be characterizedamong finite groups by a first-order sentence, namely, the sentencethat asserts that no non-trivial element g is a product of 56commutators [x, y] with entries x, y conjugate to g. |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |