Source author record

Tim Clausen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
1close collaborators

Published work

2 publications

preprint2020arXiv

Dp-minimal profinite groups and valuations on the integers

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup AA such that either AA is a direct product of countably many copies of Fp\mathbb{F}_p for some prime pp, or AA is of the form A≅∏pZpαp×ApA \cong \prod_p \mathbb{Z}_p^{α_p} \times A_p where αp<ωα_p < ω and ApA_p is a finite abelian pp-group for each prime pp. Moreover, we show that if AA is of this form, then there is a fundamental system of open subgroups such that the expansion of AA by this family of subgroups is dp-minimal. Our main ingredient is a quantifier elimination result for a class of valued abelian groups. We also apply it to (Z,+)(\mathbb{Z},+) and we show that if we expand (Z,+)(\mathbb{Z},+) by any chain of subgroups (Bi)i<ω(B_i)_{i<ω}, we obtain a dp-minimal structure. This structure is distal if and only if the size of the quotients Bi/Bi+1B_i/B_{i+1} is bounded.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.