On the finite axiomatizability of some metabelian profinite groups

2023/03/26 by Segal, Dan
#20E18 #20F10 #FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.2303.14776

Abstract

Finitely generated (non-abelian) free metabelian pro-p groups, and wreath products of f.g. free abelian pro-p groups, are all finitely axiomatizable in the class of all profinite groups.

Related

• On some relatively free pro-p groups
• Finite axiomatizability for profinite groups
• A profinite analogue of Lasserre's theorem
• Metabelian Wreath Products Are LERF
• The Profinite Rigidity of Free Metabelian Groups