Geodesic
The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group
Canadian mathematical bulletin, Tome 28 (1985) no. 4, pp. 505-507

Voir la notice de l'article provenant de la source Cambridge University Press

In a variety generated by a finite non-Abelian group, the commutator subgroup is not definable by a first-order formula.
DOI : 10.4153/CMB-1985-064-0
Mots-clés : 20A15, 20E10, 03B10 
Lawrence, John. The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group. Canadian mathematical bulletin, Tome 28 (1985) no. 4, pp. 505-507. doi: 10.4153/CMB-1985-064-0
@article{10_4153_CMB_1985_064_0,
     author = {Lawrence, John},
     title = {The {Definability} of the {Commutator} {Subgroup} in a {Variety} {Generated} by a {Finite} {Group}},
     journal = {Canadian mathematical bulletin},
     pages = {505--507},
     year = {1985},
     volume = {28},
     number = {4},
     doi = {10.4153/CMB-1985-064-0},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1985-064-0/}
}
TY  - JOUR
AU  - Lawrence, John
TI  - The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group
JO  - Canadian mathematical bulletin
PY  - 1985
SP  - 505
EP  - 507
VL  - 28
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1985-064-0/
DO  - 10.4153/CMB-1985-064-0
ID  - 10_4153_CMB_1985_064_0
ER  - 
%0 Journal Article
%A Lawrence, John
%T The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group
%J Canadian mathematical bulletin
%D 1985
%P 505-507
%V 28
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1985-064-0/
%R 10.4153/CMB-1985-064-0
%F 10_4153_CMB_1985_064_0

[1] 1. Lyndon, R.C., Equations in groups, Bol. Soc. Bras. Mat. 11 (1980), pp. 79–102. Google Scholar

[2] 2. Rogers, P., Smith, H., and Solitar, D., Tarski's problem for solvable groups, (preprint). Google Scholar

[3] 3. Scott, W.R., Group Theory, Prentice Hall (1960). Google Scholar

Cité par Sources :