English

Profinite groups with NIP theory and $p$-adic analytic groups

Logic 2017-05-17 v1

Abstract

We consider profinite groups as 2-sorted first order structures, with a group sort, and a second sort which acts as an index set for a uniformly definable basis of neighbourhoods of the identity. It is shown that if the basis consists of {\em all} open subgroups, then the first order theory of such a structure is NIP (that is, does not have the independence property) precisely if the group has a normal subgroup of finite index which is a direct product of finitely many compact pp-adic analytic groups, for distinct primes pp. In fact, the condition NIP can here be weakened to NTP2{}_2. We also show that any NIP profinite group, presented as a 2-sorted structure, has an open prosoluble normal subgroup.

Keywords

Cite

@article{arxiv.1603.02179,
  title  = {Profinite groups with NIP theory and $p$-adic analytic groups},
  author = {Dugald Macpherson and Katrin Tent},
  journal= {arXiv preprint arXiv:1603.02179},
  year   = {2017}
}

Comments

submitted

R2 v1 2026-06-22T13:05:30.103Z