Endomorphisms of profinite groups. (Q399429)

From MaRDI portal





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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references