Related papers: On profinite groups with the Magnus Property

Just infinite groups play a significant role in profinite group theory. For each $c \geq 0$, we consider more generally JNN$_c$F profinite (or, in places, discrete) groups that are Fitting-free; these are the groups $G$ such that every…

We show that, there exists a constant $a$ such that, for every subgroup $H$ of a finite group $G$, the number of maximal subgroups of $G$ containing $H$ is bounded above by $a|G:H|^{3/2}$. In particular, a transitive permutation group of…

Given two subgroups $H,K$ of a compact group $G$, the probability that a random element of $H$ commutes with a random element of $K$ is denoted by $Pr(H,K)$. We show that if $G$ is a profinite group containing a Sylow $2$-subgroup $P$, a…

We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $\Delta$ and $\Gamma$ with $\Delta$ having Property FA, $\Gamma$ having a non-trivial action on a tree and $\Delta$ and $\Gamma$ having…

We say that a finite group $G$ acting on a set $\Omega$ has Property $(*)_p$ for a prime $p$ if $P_\omega$ is a Sylow $p$-subgroup of $G_\omega$ for all $\omega\in\Omega$ and Sylow $p$-subgroups $P$ of $G$. Property $(*)_p$ arose in the…

An element $g$ in a group $G$ is called reversible if $g$ is conjugate to $g^{-1}$ in $ G $. An element $g$ in $G$ is strongly reversible if $ g $ is conjugate to $g^{-1}$ by an involution in $G$. The group of affine transformations of…

We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary…

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…

Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. For any fixed prime divisor $p$ of $|G|$, we provide a complete characterization of the structure of a group $G$ in which every maximal $A$-invariant…

A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…

The Pr\"ufer rank $\mathrm{rk}(G)$ of a profinite group $G$ is the supremum, across all open subgroups $H$ of $G$, of the minimal number of generators $\mathrm{d}(H)$. It is known that, for any given prime $p$, a profinite group $G$ admits…

Among compact Hausdorff groups G whose maximal profinite quotient is finitely generated, we characterize those that possess a proper dense normal subgroup. We also prove that the abstract commutator subgroup [H,G] is closed for every closed…

For a finite group $G$, let $N(G)$ denote the set of conjugacy class sizes of $G$. We show that if every finite group $G$ with trivial center such that $N(G)$ equals to $N(Alt_n)$, where $n>1361$ and at least one of numbers $n$ or $n-1$ are…

We describe the pronilpotent quotients of a class of projective profinite groups, that we call $\omega$-presented groups, defined using a special type of presentations. The pronilpotent quotients of an $\omega$-presented group are…

The generalized order $e_G(g)$ of an element $g$ of a group $G$ is the smallest positive integer $k$ such that there exist $x_1,\ldots,x_k \in G$ such that $g^{x_1} \ldots g^{x_k}=1$, where $g^x=x^{-1}gx$. Let $e(G) = \max \{e_G(g)\ |\ g…

We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their…

Let $G$ be a finite group and $n$ be any prime-power divisor of ${\rm exp}(G)$, the exponent of $G$. Frobenius' theorem indicates that $|\{g\in G\mid g^n=1\}|=f_n\cdot n$ for some positive integer $f_n$. We call $f_n$ a Frobenius quotient…

For a prime number $p$ and a free pro-$p$ group $G$ on a totally ordered basis $X$, we consider closed normal subgroups $G^\Phi$ of $G$ which are generated by $p$-powers of iterated commutators associated with Lyndon words in the alphabet…

We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups…