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

DOI10.4153/CMB-1985-064-0zbMath0576.20002MaRDI QIDQ3697215

No author found.

Publication date: 1985

Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)

zbMATH Keywords

commutator subgroupnon-abelian varietiesnot first-order definable

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Classical first-order logic (03B10) Quasivarieties and varieties of groups (20E10)

This page was built for publication: The Definability of the Commutator Subgroup in a Variety Generated by a Finite Group