Endomorphisms of profinite groups. (Q399429)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Endomorphisms of profinite groups. |
scientific article; zbMATH DE number 6331652
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Endomorphisms of profinite groups. |
scientific article; zbMATH DE number 6331652 |
Statements
Endomorphisms of profinite groups. (English)
0 references
19 August 2014
0 references
profinite groups
0 references
endomorphisms of groups
0 references
continuous endomorphisms
0 references
subgroups of finite index
0 references
uniform pro-\(p\)-groups
0 references
Abelian pro-\(p\) normal subgroups
0 references
Let \(G\) be a profinite group with the property that \(G\) has finitely many open subgroups of index \(n\) for every integer \(n\) and let \(\varphi\) be a continuous endomorphism of \(G\). The author shows that \(G\) has a semidirect decomposition into a contracting normal subgroup and a complement on which \(\varphi\) induces an automorphism. More precisely \(\text{Con}(\varphi)=\{x\in G\mid\lim_{n\to\infty}\varphi^n(x)=1\}\) and \(\Phi_+(G)=\bigcap_{n\geq 0}\varphi^n(G)\) are closed subgroups of \(G\), \(G=\text{Con}(\varphi)\rtimes\Phi_+(G)\), the restriction of \(\varphi\) to \(\Phi_+(G)\) is an automorphism and \(\varphi^k(\text{Con}(\varphi))=\text{Con}(\varphi)\cap\varphi^k(G)\) for all \(k\geq 0\). In the particular case when \(\varphi\) is an injective endomorphism whose image is open in \(G\), \(\text{Con}(\varphi)\) is an open subgroup of a direct product of finitely many uniform pro-\(p\)-groups that are nilpotent and a residually nilpotent soluble group of finite exponent.NEWLINENEWLINE This has the following significative corollary: if there is a proper open subgroup of \(G\) that is isomorphic to \(G\) itself, then there exists a prime number \(p\) such that \(G\) contains an infinite Abelian pro-\(p\) normal subgroup.
0 references