Definition: An inclusion of finite groups $(A \subset B)$ is relatively cyclic if $\exists b \in B$ such that $\langle A,b \rangle = B$.

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$.

Remark: The equivalence class of $(A \subset B)$ is completely characterized by the conjugacy class of a transitive permutation group $G$ such that $(A \subset B) \sim (G_1 \subset G)$.

Let $p_n$ be the ratio of index $\le n$ relatively cyclic inclusions (up to equivalence).
Let $\alpha_n = \liminf_{r>n} (p_r)$ and $\alpha = \lim_{n \to \infty} (\alpha_n) $.

Question: what's the value of $\alpha$ (or at least good bounds)?
Bonus: what's the asymptotic analysis of the sequence $(\alpha_n-\alpha)$?

GAP computation:
Up to equivalence, there are $15341$ inclusions of finite groups $(A \subset B)$ of index $[B : A] \le 30$ and $\vert B \vert \le 10^4$, and among them, $12671$ are relatively cyclic (more than $80 \%$). Note that at index exactly $16$ (and without order restrictions) less than $70 \%$ are relatively cyclic.


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.