arXiv++ Combinatorics

A cyclic subgroup graph of a group is a graph whose vertices are cyclic subgroups of the group, and two distinct vertices are adjacent if one is a maximal subgroup of the other. In this paper, we examine several graph-theoretic properties of cyclic subgroup graphs, including bipartiteness, regularity, girth, diameter, and vertex degrees. We also classify all groups whose cyclic subgroup graphs are connected, complete, star graphs, trees, or paths. Further, we examine the cyclic subgroup graph for specific families of groups such as cyclic, dihedral, dicyclic, generalized quaternion, minimal non-cyclic and nilpotent groups. We also discuss the relationship of cyclic subgroup graph with the power graph and the enhanced power graph. Additionally, we give a relationship between a cyclic subgroup graph and a poset.

For a finite group \(G\), let \(\sub(G)\) be the number of subgroups of \(G\), let \(\cyc(G)\) be the number of cyclic subgroups, and let \(π(G)\) be the number of distinct prime divisors of \(|G|\). We study the normalized counts \(λ(G)=\sub(G)/2^{π(G)}\) and \(η(G)=\cyc(G)/2^{π(G)}\). We prove that \(η(G)<5/4\) or \(λ(G)<3/2\) implies that \(G\) is cyclic of squarefree order. The inequalities \(η(G)<2\) and \(λ(G)<5/2\) each force all Sylow subgroups to be cyclic, and hence imply metacyclicity. For the subgroup count, we give an exact arithmetic criterion in the parameters of the corresponding \(ZM\)-presentation. We determine all values with \(1<η(G)<2\) and \(1<λ(G)<5/2\), and prove that \(λ(G)<59/8\) or \(η(G)<4\) implies solvability. Both solvability bounds are sharp. We also describe how cyclic direct factors of coprime order affect the two normalized counts.

A finite group is said to be $n$-cyclic if it contains $n$ cyclic subgroups. For a finite group $G$, the ratio of the number of cyclic subgroups to the number of subgroups is known as the cyclicity degree of the group $G$ and is denoted by $cdeg (G)$. In this paper, we classify all $12$-cyclic groups. We also prove that the set of cyclicity degrees for all the finite groups is dense in $[0,1]$, which gives a solution to the problem asked by Tărnăuceanu and Tóth in [20] "For every $a\in [0, 1]$, does there exist a sequence $(G_n)$ of finite groups such that $\lim_{n\to\infty} cdeg(G_n)=a$ "?