Consider a one-ended word-hyperbolic group. If it is the fundamental group of a graph of free groups with cyclic edge groups then either it is the fundamental group of a surface or it contains a finitely generated one-ended subgroup of infinite index. As a corollary, the same holds for limit groups. We also obtain a characterisation of surfaces with boundary among free groups equipped with peripheral structures.
We prove that the automorphism group of every infinitely-ended finitely generated group is acylindrically hyperbolic. In particular $\mathrm{Aut}(\mathbb{F}_n)$ is acylindrically hyperbolic for every $n\ge 2$. More generally, if $G$ is a group which is not virtually cyclic, and hyperbolic relative to a finite collection $\mathcal{P}$ of finitely generated proper subgroups, then $\mathrm{Aut}(G,\mathcal{P})$ is acylindrically hyperbolic. As a consequence, a free-by-cyclic group $\mathbb{F}_n\rtimes_φ\mathbb{Z}$ is acylindrically hyperbolic if and only if $φ$ has infinite order in $\mathrm{Out}(…
In this paper we provide a classification theorem for 1-dimensional boundaries of groups with isolated flats. Given a group $Γ$ acting geometrically on a $CAT(0)$ space $X$ with isolated flats and 1-dimensional boundary, we show that if $Γ$ does not split over a virtually cyclic subgroup, then $\partial X$ is homeomorphic to a circle, a Sierpinski carpet, or a Menger curve. This theorem generalizes a theorem of Kapovich-Kleiner, and resolves a question due to Kim Ruane. We also study the relationship between local cut points in $\partial X$ and splittings of $Γ$ over $2$-ended subgroups. In pa…
We associate cube complexes called completions to each subgroup of a right-angled Coxeter group (RACG). A completion characterizes many properties of the subgroup such as whether it is quasiconvex, normal, finite-index or torsion-free. We use completions to show that reflection subgroups are quasiconvex, as are one-ended Coxeter subgroups of a 2-dimensional RACG. We provide an algorithm that determines whether a given one-ended, 2-dimensional RACG is isomorphic to some finite-index subgroup of another given RACG. In addition, we answer several algorithmic questions regarding quasiconvex subgro…
We study the quasi-isometric rigidity of a large family of finitely generated groups that split as graphs of groups with virtually free vertex groups and two-ended edge groups. Let $G$ be a group that is one-ended, hyperbolic relative to virtually abelian subgroups, and has JSJ decomposition over two-ended subgroups containing only virtually free vertex groups that aren't quadratically hanging. Our main result is that any group quasi-isometric to $G$ is abstractly commensurable to $G$. In particular, our result applies to certain "generic" HNN extensions of a free group over cyclic subgroups.
We let $φ$ be an ageometric fully irreducible outer automorphism so that its Handel-Mosher axis bundle consists of a single unique axis. We show that the centralizer $Cen(\langleφ\rangle)$ of the cyclic subgroup generated by $φ$ equals the stabilizer $\text{Stab}(Λ^+_φ)$ of the attracting lamination $Λ^+_φ$ and is isomorphic to $\mathbb Z$. We further show, via an analogous result about the commensurator, that the normalizer $N(\langleφ\rangle)$ of $\langle φ\rangle$ is isomorphic to either $\mathbb Z$ or $\mathbb Z_2 * \mathbb Z_2$.
Let $n\geq 3$. In this paper we deal with the conjugacy problem in the Artin braid group quotient $B_n/[P_n,P_n]$. To solve it we use systems of equations over the integers arising from the action of $B_n/[P_n,P_n]$ over the abelianization of the pure Artin braid group $P_n/[P_n,P_n]$. Using this technique we also realize explicitly infinite virtually cyclic subgroups in $B_n/[P_n,P_n]$.
Marius Tărnăuceanu described the finite groups $G$ having $|G|-1$ cyclic subgroups. We describe the finite groups $G$ having $|G|-Δ$ cyclic subgroups for $Δ=2, 3, 4$ and $5$.
Tărnăuceanu described the finite groups $G$ having exactly $|G|-1$ cyclic subgroups. In "Finite Groups with a Prescribed Number of Cyclic Subgroups,", we used elementary methods to completely characterize those finite groups $G$ having exactly $|G|-Δ$ cyclic subgroups for $Δ=2, 3, 4$ and $5$. In this paper, we prove that for any $Δ>0$ if $G$ has exactly $|G|-Δ$ cyclic subgroups, then $|G|\le 8Δ$ and therefore the number of such $G$ is finite. We then use the computer program GAP to find all $G$ with exactly $|G|-Δ$ cyclic subgroups for $Δ=1,\ldots,32$.
Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ was known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cut points. Our main theorem states that if $G$ is finitely presented and each $P\in {\bf P}$ is finitely generated and has semistable fundamental group at $\infty$, then $G$ has semistable fundamental …
We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous question in the pro-$p$ case. For a wide class of groups we show that the relevant cyclic subgroups - which are called $p$-isolated - are closed in the pro-$p$ topology of the graph product. In particular, we show that every $p$-isolated cyclic subgroup of a right-angled Artin group is closed in the pro-$p$ topology, and we fully characterise such subgroups.
In this paper we introduce and study the concept of cyclic subgroup commutativity degree of a finite group $G$. This quantity measures the probability of two random cyclic subgroups of $G$ commuting. Explicit formulas are obtained for some particular classes of groups. A criterion for a finite group to be an Iwasawa group is also presented.
In this paper we introduce and study the relative cyclic subgroup commutativity degrees of a finite group. We show that there is a finite group with $n$ such degrees for all $n \in \mathbb{N}^*\setminus \lbrace 2\rbrace$ and we indicate some classes of finite groups with few relative cyclic subgroup commutativity degrees. Using this new concept, we are able to show that the set containing all cyclic subgroup commutativity degrees of finite groups is not dense in $[0, 1]$.
设$G$是一个群。\textit{The permutability graph of cyclic subgroups of $G$}（记作$Γ_c(G)$）是以$G$的所有真循环子群为顶点的图，且$Γ_c(G)$中的两个不同顶点相邻当且仅当相应的子群在$G$中置换.本文对循环子群的置换图属于以下任一种的有限群进行了分类：二部群、树群、星图群、无三角形群、完全二部群、$P_n$群、$C_n$群、$K_4$群、无$K_{1,3}$群、单循环群。对循环子群置换图为平面的阿贝尔群进行了分类。同时，我们还研究了这些图的连通性、直径、围长、完全不连通性、完备性和正则性。
Slattery (2007) described computational methods to enumerate, construct, and identify finite groups of squarefree order. We generalise Slattery's result to the class of finite groups that have cyclic Sylow subgroups and provide an implementation for the computer algebra system GAP.
In this note, we show that among finite nilpotent groups of a given order or finite groups of a given odd order, the cyclic group of that order has the minimum number of edges in its cyclic subgroup graph. We also conjecture that this holds for arbitrary finite groups.
In this note, we give a new formula for the number of cyclic subgroups of a finite abelian group. This is based on applying the Burnside's lemma to a certain group action. Also, it generalizes the well-known Menon's identity.
We prove that cyclic subgroup separability is preserved under exponential completion for groups that belong to a class that includes all coherent RAAGs and toral relatively hyperbolic groups; we do so by exploiting the structure of these completions as iterated free products with commuting subgroups. From this we deduce that the cyclic subgroups of limit groups over coherent RAAGs are separable, answering a question of Casals-Ruiz, Duncan and Kazachov. We also discuss relations between free products with commuting subgroups and the word problem, and recover the fact that limit groups over cohe…
Recent results of Qu and Tuarnauceanu describe explicitly the finite p-groups which are not elementary abelian and have the property that the number of their subgroups is maximal among p-groups of a given order. We complement these results from the bottom level up by determining completely the non-cyclic finite p-groups whose number of subgroups among p-groups of a given order is minimal.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
We study 3-dimensional Poincaré duality pro-$p$ groups in the spirit of the work by Robert Bieri and Jonathan Hillmann, and show that if such a pro-$p$ group $G$ has a nontrivial finitely presented subnormal subgroup of infinite index, then either the subgroup is cyclic and normal, or the subgroup is cyclic and the group is polycyclic, or the subgroup is Demushkin and normal in an open subgroup of $G$. Also, we describe the centralizers of finitely generated subgroups of 3-dimensional Poincaré duality pro-$p$ groups.
In this note, we classify all finite groups having exactly 6, 7 or 8 cyclic subgroups. This gives a partial answer to the open problem posed by Tarnauceanu (Amer. Math. Monthly, 122 (2015), 275-276). As a consequence of our results, we also obtain an important result concerning with the converse of Lagrange's theorem.
Let $G$ be a finite group and $α(G)=\frac{|C(G)|}{|G|}$\,, where $C(G)$ denotes the set of cyclic subgroups of $G$. In this short note, we prove that $α(G)\leqα(Z(G))$ and we describe the groups $G$ for which the equality occurs. This gives some sufficient conditions for a finite group to be $4$-abelian or abelian.
Let $G$ be a finite group with a Sylow $p$-subgroup $P$. We prove that the principal $p$-blocks of $G$ and $N_G(P)$ are perfectly isometric under the assumption $G$ has a cyclic $p$-hyperfocal subgroup.
