Finite axiomatizability for profinite groups

A group is finitely axiomatizable (FA) in a class 𝒞 if it can be determined up to isomorphism within 𝒞 by a sentence in the first-order language of group theory. We show that profinite groups of various kinds are FA in the class of profinite groups, or in the class of pro- 𝑝 groups for some prime 𝑝...

Descrición completa

Detalles Bibliográficos
Main Authors: Nies, A, Segal, D, Tent, K
Formato: Journal article
Idioma:English
Publicado: Wiley 2021