Let $G$ be a finite group and $σ_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. In this paper, we prove that if $σ_1(G)<2+\frac{11}{|G|}$\,, then $G$ is supersolvable. In particular, some new characterizations of the well-known groups $\mathbb{Z}_2\times\mathbb{Z}_4$ and $A_4$ are obtained. We also show that $σ_1(G)<c$ does not imply the supersolvability of $G$ for no constant $c\in(2,\infty)$.
Let $G$ be a group and $H \le K \le G$. We say that $H$ is $c$-embedded in $G$ with respect to $K$ if there is a subgroup $B$ of $G$ such that $G = HB$ and $H \cap B \le Z(K)$. Given a finite group $G$, a prime number $p$ and a Sylow $p$-subgroup $P$ of $G$, we investigate the structure of $G$ under the assumption that $N_G(P)$ is $p$-supersolvable or $p$-nilpotent and that certain cyclic subgroups of $P$ with order $p$ or $4$ are $c$-embedded in $G$ with respect to $P$. New characterizations of $p$-supersolvability and $p$-nilpotence of finite groups will be obtained.
We say that a subgroup $H$ is isolated in a group $G$ if for every $x\in G$ we have either $x\in H$ or $\langle x\rangle\cap H=1$. In this short note, we describe the set of isolated subgroups of a finite abelian group. The technique used is based on an interesting connection between isolated subgroups and the function sum of element orders of a finite group.
Let $G$ be a group of order $n$ and $H$ be a subgroup of order $m$ of $G$. Denote by $ψ_H(G)$ the sum of element orders relative to $H$ of $G$. It is known that if $G$ is nilpotent, then $ψ_H(G)\leqψ_{H_m}(G)$, where $H_m$ is the unique subgroup of order $m$ of $C_n$. In this note, we show that this inequality does not hold for infinitely many finite solvable groups.
Dade's conjecture predicts that if p is a prime, then the number of irreducible characters of a finite group of a given p-defect is determined by local subgroups. In this paper we replace $p$ by a set of primes pi and prove a pi-version of Dade's conjecture for pi-separable groups. This extends the (known) p-solvable case of the original conjecture and relates to a pi-version of Alperin's weight conjecture previously established by the authors.
A perfect code $C$ in a graph $Γ$ is an independent set of vertices of $Γ$ such that every vertex outside of $C$ is adjacent to a unique vertex in $C$, and a total perfect code $C$ in $Γ$ is a set of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. Let $G$ be a finite group and $X$ a normal subset of $G$. The Cayley sum graph $\mathrm{CS}(G,X)$ of $G$ with the connection set $X$ is the graph with vertex set $G$ and two vertices $g$ and $h$ being adjacent if and only if $gh\in X$ and $g\neq h$. In this paper, we give some necessary conditions of a subgroup of…
We prove that the subgroup zeta function and the normal zeta function of a finitely generated virtually nilpotent group are finite sums of Euler products of cone integrals over $\mathbb{Q}$ and we deduce from this that they have rational abscissa of convergence and some meromorphic continuation. We also define Mal'cev completions of a finitely generated virtually nilpotent group and we prove that the subgroup growth and the normal subgroup growth of the latter are invariants of its $\mathbb{Q}$-Mal'cev completion.
On the basis of an initial interest in symmetric cryptography, in the present work we study a chain of subgroups. Starting from a Sylow $2$-subgroup of AGL(2,n), each term of the chain is defined as the normalizer of the previous one in the symmetric group on $2^n$ letters. Partial results and computational experiments lead us to conjecture that, for large values of $n$, the index of a normalizer in the consecutive one does not depend on $n$. Indeed, there is a strong evidence that the sequence of the logarithms of such indices is the one of the partial sums of the numbers of partitions into a…
In this short note, we give a new Menon-type identity involving the sum of element orders and the sum of cyclic subgroup orders of a finite group. It is based on applying the weighted form of Burnside's lemma to a natural group action.
In this article, we offer group-theoretic, field-theoretic, and topological interpretations of the Gaussian binomial coefficients and their sum. For a finite $p$-group $G$ of rank $n$, we show that the Gaussian binomial coefficient $\binom{n}{k}_p$ is the number of subgroups of $G$ that are minimally expressible as an intersection of $n - k$ maximal subgroups of $G$, and their sum is precisely the number of subgroups that are either $G$ or an intersection of maximal subgroups of $G$. We provide a field-theoretic interpretation of these quantities through the lens of Galois theory and a topolog…
In this paper, we study strongly quasiconvex subgroups in a finitely generated $3$--manifold group $π_1(M)$. We prove that if $M$ is a compact, orientable $3$--manifold that does not have a summand supporting the Sol geometry in its sphere-disc decomposition then a finitely generated subgroup $H \le π_1(M)$ has finite height if and only if $H$ is strongly quasiconvex. On the other hand, if $M$ has a summand supporting the Sol geometry in its sphere-disc decomposition then $π_1(M)$ contains finitely generated, finite height subgroups which are not strongly quasiconvex. We also characterize stro…
