On small profinite groups

DOI10.1515/JGTH-2017-0014MaRDI QIDQ2406667zbMATH OpenOpenAlexFDO

Authors Patrick Helbig

Publication date 5 October 2017

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.08760

zbMATH Keywords

Frattini coverprofinite groupsstrongly complete

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Limits, profinite groups (20E18)

Abstract: A profinite group is called small if it has only finitely many open subgroups of index n for each positive integer n. We show that every Frattini cover of a small profinite group is small. A profinite group is called strongly complete if every subgroup of finite index is open. We show that two profinite groups that are elementarily equivalent, in the first-order language of groups, are isomorphic if one of them is strongly complete, extending a result of Moshe Jarden and Alexander Lubotzky which treats the case of finitely generated profinite groups.

Review text

A profinite group is called small if it has only finitely many open subgroups of index \(n\) for each positive integer \(n\). A Frattini cover of a profinite group \(G\) is a continuous epimorphism \(\varphi: K \to G\) such that \(\ker(\varphi)\) is contained in the Frattini subgroup \(\Phi(K)\). The first result proved in the paper states that the Frattini cover of a small group is small. A profinite group is called strongly complete if every of its subgroup of finite index is open. The second result of the paper is the following {Theorem.} Suppose \(G\) and \(H\) are elementarily equivalent, i.e. satisfy the same sentences in the language of groups. If one of them is strongly complete, then \(G\) and \(H\) are isomorphic.

Recommendations

• Small profinite groups
• Model theory of profinite groups having the Iwasawa property
• Elementary equivalence of profinite groups
• An axiomatizable profinite group with infinitely many open subgroups of index 2
• Small profinite groups and rings

Cites work

• An axiomatizable profinite group with infinitely many open subgroups of index 2
• Elementary equivalence of profinite groups
• Field Arithmetic
• Fields with almost small absolute Galois group
• scientific article; zbMATH DE number 6690748 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• Model theory of absolute Galois groups.
• On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
• On subgroups of finite index in compact Hausdorff groups.
• Product decompositions of quasirandom groups and a Jordan type theorem.
• Remarks on profinite groups having few open subgroups
• Varieties of groups

Cited in

(13)

• Elementary equivalence of a polycyclic-by-finite group and its profinite completion
• On prosolvable subgroups of profinite free products and some applications
• Small maximal pro-\(p\) Galois groups
• Model theory of profinite groups having the Iwasawa property
• Small, \(nm\)-stable compact \(G\)-groups
• The weight of nonstrongly complete profinite groups
• An axiomatizable profinite group with infinitely many open subgroups of index 2
• Small profinite groups
• Elementary equivalence of profinite groups
• Small profinite m-stable groups
• On properties of (weakly) small groups
• Krull-Schmidt theorem for small profinite groups
• Frattini covers of profinite groups

This page was built for publication: On small profinite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2406667)