Small profinite groups
A profinite structure is a profinite topological space (the inverse limit of a system of finite discrete spaces) together with a suitably defined group of automorphisms acting on it. A model-theoretic approach to profinite structures (including appropriate notions of definability, interpretability, smallness, stability -- the so called \(m\)-stability -- and a related notion of rank -- the \({\mathcal M}\)-rank) were developed by the author (and others) in some previous papers. Here this program is pursued to study small profinite groups. These can be introduced as profinite groups \(G\), hence inverse limits of some inverse system \(\overline G = (G_i, f_{i,j})_{i,j \in I}\) (with \(I\) countable), such that the (also profinite) group of the automorphisms of \(G\) induced by automorphisms of \(\overline G\) has at most countably many orbits on \(G^n\) for every positive integer \(n\). But they can also be viewed as small profinite structures with a definable group law. Any profinite group interpetable in a small theory \(T\) is small. NEWLINENEWLINENEWLINEIn a previous paper the author singled out some model-theoretic assumptions on a theory \(T\) sufficient to ensure that any small profinite group interpretable in \(T\) contains an open abelian subgroup. So a natural question arises: Does every small profinite group contain an open abelian subgroup? The author investigates this problem within the model-theoretic framework sketched before and, although he conjectures a negative general solution, he answers positively some partial settings, in particular the easiest case when the profinite group is just a product of finite groups. The related question whether every profinite group interpretable in a small \(T\) contains an open abelian subgroup is also discussed. Indeed, it is observed that the latter question is equivalent to the former one.
- On small profinite groups
- Small profinite groups and rings
- Small profinite m-stable groups
- scientific article; zbMATH DE number 1478717
- scientific article; zbMATH DE number 7568178
- scientific article; zbMATH DE number 1219630
- scientific article; zbMATH DE number 4208435
- Groups of small Cantor rank
- Small maximal pro-\(p\) Galois groups
- scientific article; zbMATH DE number 1358293
- Small maximal pro-\(p\) Galois groups
- An essay on model theory
- Small, \(nm\)-stable compact \(G\)-groups
- On small profinite groups
- Products of finite abelian groups as profinite groups
- Profinite structures interpretable in fields
- Small profinite structures
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- On \(\omega\)-categorical groups and their completions.
- Some model theory of Polish structures
- Locally finite profinite rings.
- Small profinite m-stable groups
- Abelian profinite groups
- Isometry types of profinite groups.
- Counterexamples to a conjecture on relative categoricity
- Smallness of fundamental groups for arithmetic schemes
- Small profinite groups and rings
This page was built for publication: Small profinite groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747725)
