For a group $G$, we define a graph $Δ(G)$ by letting $G^{\#} = G \setminus \{ 1 \}$ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\#}$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. Recall that a $Z$-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate $Δ(G)$ for a $Z$-group $G$.
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 the cyclic graph of $2$-Frobenius groups. The cyclic graph of a $2$-Frobenius group is disconnected. In this paper, we determine the number of connected components of the cyclic graph of any $2$-Frobenius group.
Let $G$ be a finite non-cyclic group. The non-cyclic graph $Γ_G$ of $G$ is the graph whose vertex set is $G\setminus Cyc(G)$, two distinct vertices being adjacent if they do not generate a cyclic subgroup, where $Cyc(G)=\{a\in G: \langle a,b\rangle\ \text{is cyclic for each } b\in G\}$. In this paper, we classify all finite non-cyclic groups $G$ such that $Γ_G$ has (non)orientable genus one.
Let $G$ be a group. \textit{The permutability graph of cyclic subgroups of $G$}, denoted by $Γ_c(G)$, is a graph with all the proper cyclic subgroups of $G$ as its vertices and two distinct vertices in $Γ_c(G)$ are adjacent if and only if the corresponding subgroups permute in $G$. In this paper, we classify the finite groups whose permutability graph of cyclic subgroups belongs to one of the following: bipartite, tree, star graph, triangle-free, complete bipartite, $P_n$, $C_n$, $K_4$, $K_{1,3}$-free, unicyclic. We classify abelian groups whose permutability graph of cyclic subgroups are plan…
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.
We consider groups defined by cyclic presentations where the defining word has length three and the cyclic presentation satisfies the T(6) small cancellation condition. We classify when these groups are hyperbolic. When combined with known results, this completely classifies the hyperbolic T(6) cyclically presented groups.
Garside groups are a natural lattice-theoretic generalisation of the braid groups and spherical type Artin--Tits groups. Here we show that the class of Garside groups is closed under some free products with cyclic amalgamated subgroups. We deduce that every tree product of infinite cyclic groups is a Garside group. Moreover, we study those cyclic HNN extensions of Garside groups that are Garside groups as well. Using a theorem of Pietrowski, we conclude this paper by stating that a non-cyclic one-relator group is Garside if and only if its centre is nontrivial.
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$.
We show that certain graphs of groups with cyclic edge groups are aTmenable. In particular, this holds when each vertex group is either virtually special or acts properly and semisimply on $\mathbb{H}^n$.
In this article we give an order-dividing bijective function between cyclic and non cyclic groups of finite order. In particular, we prove that there exists a bijective function from D_{2n} to Z_{2n} for any natural integer n; and from Z_p x Z_k to Z_{pk} when p is an odd prime and k is not a multiple of p.
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 factorization number of a finite group G. By using the Mobius inversion formula and other methods involving the cyclic subgroup structure, this is explicitly computed for some important classes of finite groups.
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.
Hans Zassenhaus conjectured that every torsion unit of the integral group ring of a finite group $G$ is conjugate within the rational group algebra to an element of the form $\pm g$ with $g\in G$. This conjecture has been disproved recently for metabelian groups, by Eisele and Margolis. However it is known to be true for many classes of solvable groups, as for example nilpotent groups, cyclic-by-abelian groups and groups having a cyclic Sylow subgroup with abelian complement. On the other hand, it is not known whether the conjecture holds for supersolvable groups. This paper is a contribution …
In this article we study the extent to which an $n$-dimensional compact flat manifold with the cyclic holonomy group of square-free order may be distinguished by the finite quotients of its fundamental group. In particular, we display a formula for the cardinality of profinite genus of the fundamental group of an $n$-dimensional compact flat manifold with the cyclic holonomy group of square-free order.
Let $G$ be a group. The intersection graph of cyclic subgroups of $G$, denoted by $\mathscr I_c(G)$, is a graph having all the proper cyclic subgroups of $G$ as its vertices and two distinct vertices in $\mathscr I_c(G)$ are adjacent if and only if their intersection is non-trivial. In this paper, we classify the finite groups whose intersection graph of cyclic subgroups is one of totally disconnected, complete, star, path, cycle. We show that for a given finite group $G$, $girth(\mathscr I_c (G)) \in \{3, \infty\}$. Moreover, we classify all finite non-cyclic abelian groups whose intersection…
A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We characterise the orientable, non-orientable, and redundant cyclic presentations and obtain concise refinements of these presentations. We show that the Tits alternative holds for the class of groups defined by redundant cyclic presentations and that if the number of generators of the cyclic presentation is greater than two then the corresponding group is large. Generalizing and extending earlier results of the authors we describe the star graphs of ori…
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]$.
Let $G$ be a finite group. Define a graph on the set $G^{\#} = G \setminus \{ 1 \}$ by declaring distinct elements $x,y\in G^{\#}$ to be adjacent if and only if $\langle x,y\rangle$ is cyclic. Denote this graph by $Δ(G)$. The graph $Δ(G)$ has appeared in the literature under the names cyclic graph and deleted enhanced power graph. If $G$ and $H$ are nontrivial groups, then $Δ(G\times H)$ is completely characterized. In particular, if $Δ(G\times H)$ is connected, then a diameter bound is obtained, along with an example meeting this bound. Also, necessary and sufficient conditions for the discon…
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$.
We consider groups of the form $G=AB$ with two locally cyclic subgroups $A$ and $B$. The structure of these groups is determined in the cases when $A$ and $B$ are both periodic or when one of them is periodic and the other is not. Together with a previous study of the case when $A$ and $B$ are torsion-free, this gives a complete classification of all groups that are the product of two locally cyclic groups. It is also shown that the product of a finite number of pairwise permutable periodic locally cyclic subgroups is a locally supersoluble group.
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.
We prove an upper bound for the number of cyclic transitive subgroups in a finite permutation group and clarify the structure of the groups for which this bound becomes sharp. We also give an application in the theory of number fields.
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.
A group $G$ is called logically cyclic, if it contains an element $s$ such that every element of $G$ can be defined by a first order formula with parameter $s$. The aim of this paper is to investigate the structure of such groups.
Every semidirect product of groups $K\rtimes H$ has size $\left | K \right | \cdot \left | H\right |$, yet the size of such a group's automorphism group varies with the chosen action of $H$ on $K$. This paper will explore groups of the form $\text{Aut}(K\rtimes H)$, considering especially the case where $H$ and $K$ are cyclic. Only finite groups will be considered.
The cyclic graph $Γ(S)$ of a semigroup $S$ is the simple graph whose vertex set is $S$ and two vertices $x, y$ are adjacent if the subsemigroup generated by $x$ and $y$ is monogenic. In this paper, we classify the semigroup $S$ such that whose cyclic graph $Γ(S)$ is complete, bipartite, tree, regular and a null graph, respectively. Further, we determine the clique number of $Γ(S)$ for an arbitrary semigroup $S$. We obtain the independence number of $Γ(S)$ if $S$ is a finite monogenic semigroup. At the final part of this paper, we give bounds for independence number of $Γ(S)$ if $S$ is a semigr…
设$H$是群$G$的子群。我们说$H$满足关于$G$的幂条件，或者$H$是$G$的幂子群，如果存在一个非负整数$m$使得$H=G^{m}=<g^{m} | g \in G >$ .本文证明了如下定理：设$G$是一个群，$k$是$G$的非幂子群的个数.则（1）$k=0$当且仅当$G$是循环群（F. Sz $\acute{a}$ sz）;（2）$0 < k <\infty$当且仅当$G$是有限非循环群，（3）$k=\infty$当且仅当$G$是无限非循环群.从而得到了有限非循环群的一个新的判别准则。
We give a necessary and sufficient condition for the fundamental group of a finite graph of groups with infinite cyclic edge groups to be acylindrically hyperbolic, from which it follows that a finitely generated group splitting over Z cannot be simple. We also give a necessary and sufficient condition (when the vertex groups are torsion free) for the fundamental group to be balanced, where a group is said to be balanced if $x^m$ conjugate to $x^n$ implies that $|m|=|n|$ for all infinite order elements $x$.
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…
