Related papers: Ascending chains of finitely generated subgroups

We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone-Higman conjecture. The simple…

Shumyatsky and the second author proved that if G is a finitely generated residually finite p-group satisfying a law, then, for almost all primes, the fact that a normal and commutator-closed set of generators satisfies a positive law…

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…

In this paper, we study the minimal number of elements of maximal order within a zero-sumfree sequence in a finite Abelian p-group. For this purpose, in the general context of finite Abelian groups, we introduce a new number, for which…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a…

This paper proves that if $E$ is a field, such that the Galois group $\mathcal{G}(E(p)/E)$ of the maximal $p$-extension $E(p)/E$ is a Demushkin group of finite rank $r(p)_{E} \ge 3$, for some prime number $p$, then $\mathcal{G}(E(p)/E)$…

A pro-p Cappitt group is a pro-p group G such that the subgroup topologically generated by all non-normal closed subgroups is a proper subgroup of G. In this paper we prove that non-abelian pro-p Cappitt groups whose torsion subgroup is…

There are several results in the literature concerning $p$-groups $G$ with a maximal elementary abelian normal subgroup of rank $k$ due to Thompson, Mann and others. Following an idea of Sambale we obtain bounds for the number of generators…

Answering a question of Dan Haran and generalizing some results of Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any finite group can be generated by a pi-subgroup and a pi'-subgroup. This gives a free product…

We prove the pro-$p$ version of the Karras, Pietrowski, Solitar, Cohen and Scott result stating that a virtually free group acts on a tree with finite vertex stabilizers. If a virtually free pro-$p$ group $G$ has finite centralizes of all…

In this article, we proved the following results. Let $L(F(n_i))$ be the free group factor on $n_i$ generators and $\lambda (g_{i})$ be one of standard generators of $L(F(n_i))$ for $1\le i\le N$. Let $\A_i$ be the abelian von Neumann…

Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect groups…

Given a finitely generated group $G$ that is relatively finitely presented with respect to a collection of peripheral subgroups, we prove that every infinite subgroup $H$ of $G$ that is bounded in the relative Cayley graph of $G$ is…

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being…

A finitely generated group is lacunary hyperbolic if one of its asymptotic cones is an $\mathbb{R}$-tree. In this article we give a necessary and sufficient condition on lacunary hyperbolic groups in order to be stable under free product by…

Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…

One of the aims of this paper is to obtain structural results showing that powerful subgroups are abundant in pro-$p$ groups admitting certain powerful quotients. In particular, we obtain an analogue of Baer's theorem for powerful pro-$p$…

In this note we look at presentations of subgroups of finitely presented groups with infinite cyclic quotients. We prove that if $H$ is a finitely generated normal subgroup of a finitely presented group $G$ with $G/H$ cyclic, then $H$ has…

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…