Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1014

Preprint Number 1014

Previous Next Preprint server

1014. Dugald Macpherson and Katrin Tent
Profinite groups with NIP theory and p-adic analytic groups

Submission date: 7 March 2016


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 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 p-adic analytic groups, for distinct primes p. In fact, the condition NIP can here be weakened to NTP_2. We also show that any NIP profinite group, presented as a 2-sorted structure, has an open prosoluble normal subgroup.

Mathematics Subject Classification: 03C60

Keywords and phrases:

Full text arXiv 1603.02179: pdf, ps.

Last updated: March 16 2016 17:27 Please send your corrections to: