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 the normal view instead:

scientific article; zbMATH DE number 6331652
Language Label Description Also known as
default for all languages
No label defined
    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