Related papers: Free by cyclic groups are large
Let $\psi(G) = \sum_{g \in G} o(g)$ denote the sum of element orders of a finite group $G$. It is known that among groups of order $n$, the cyclic group $C_n$ maximizes $\psi$. T\u{a}rn\u{a}uceanu proved that two finite abelian $p$-groups…
Let $G$ be a finite group, let $H$ be a core-free subgroup and let $b(G,H)$ denote the base size for the action of $G$ on $G/H$. Let $\alpha(G)$ be the number of conjugacy classes of core-free subgroups $H$ of $G$ with $b(G,H) \geqslant 3$.…
We prove that amongst the class of free-by-cyclic groups, Gromov hyperbolicity is an invariant of the profinite completion. We show that whenever $G$ is a free-by-cyclic group with first Betti number equal to one, and $H$ is a…
We consider the structure of a finite groups having a normal series whose factors have bicyclic Sylow subgroups. In particular, we investigated groups of odd order and $A_4$-free groups with this property. Exact estimations of the derived…
We adapt Safin's result on powers of sets in free groups to obtain Helfgott type growth in free products: if A is any finite subset of a free product of two arbitrary groups then either A is conjugate into one of the factors, or the size of…
We classify groups generated by powers of 2 Dehn twists which are 1) free or 2) have no ``unexpected'' reducible elements. We give some sufficient conditions in the case of groups generated by powers of more than two twists.
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur…
The cyclic graph of a group $G$ is the graph whose vertices are the nonidentity elements of $G$ and whose edges connect distinct elements $x$ and $y$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. We obtain information about…
Let $H, K$ be two finitely generated subgroups of a free group, let $\langle H, K \rangle$ denote the subgroup generated by $H, K$, called the join of $H, K$, and let neither of $H$, $K$ have finite index in $\langle H, K \rangle$. We prove…
We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…
A subgroup of a group is contranormal if its normal closure coincides with the group. We call such groups without proper contranormal subgroups contranormal-free. In this paper we prove various results concerning contranormal-free groups…
A subset $A$ of a finite abelian group $G$ is called $(k,l)$-sum-free if the sum of $k$ (not-necessarily-distinct) elements of $A$ never equals the sum of $l$ (not-necessarily-distinct) elements of $A$. We find an explicit formula for the…
We show that every finitely generated free-by-cyclic group $G$ admits a largest acylindrical action on a hyperbolic space $X$ obtained by coning off maximal product subgroups of $G$. We characterise Morse geodesics of $G$ as those that…
In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are quite a lot of finitely generated rich groups, they are…
We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…
The Schur Theorem says that if $G$ is a group whose center $Z(G)$ has finite index $n$, then the order of the derived group $G'$ is finite and bounded by a number depending only on $n$. In the present paper we show that if $G$ is a finite…
It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show…
Consider a family of graphs having a fixed girth and a large size. We give an optimal lower asymptotic bound on the number of even cycles of any constant length, as the order of the graphs tends to infinity.
Let $F$ be a free group of finite rank. We say that the monomorphism problem in $F$ is decidable if for any two elements $u$ and $v$ in $F$, there is an algorithm that determines whether there exists a monomorphism of $F$ that sends $u$ to…
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…