Article contents
First-order characterization of the radical of a finite group
Published online by Cambridge University Press: 12 March 2014
Abstract
It is shown that there is a formula σ(g) in the first-order language of group theory with the following property: for every finite group G, the largest soluble normal subgroup of G consists precisely of the elements g of G such that σ(g) holds.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009
References
REFERENCES
- 6
- Cited by