Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-19T10:35:50.878Z Has data issue: false hasContentIssue false

The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group

Published online by Cambridge University Press:  20 November 2018

John Lawrence*
Affiliation:
University of WaterlooWaterloo, Ontario N2L 3G1
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In a variety generated by a finite non-Abelian group, the commutator subgroup is not definable by a first-order formula.

Keywords

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1985

References

1. Lyndon, R.C., Equations in groups, Bol. Soc. Bras. Mat. 11 (1980), pp. 79102.Google Scholar
2. Rogers, P., Smith, H., and Solitar, D., Tarski's problem for solvable groups, (preprint).Google Scholar
3. Scott, W.R., Group Theory, Prentice Hall (1960).Google Scholar