Related papers: Finite DC-groups

In this paper we survey a new criteria for solvability of finite groups in terms of number of supersolvable (also known as polycyclic) and non-supersolvable subgroups. In particular, we present original examples of supersolvable groups such…

In an earlier work, finite groups whose power graphs are minimally edge connected have been classified. In this article, first we obtain a necessary and sufficient condition for an arbitrary graph to be minimally edge connected.…

Let $G$ be a finite group and $p^k$ be a prime power dividing $|G|$. A subgroup $H$ of $G$ is called to be $\mathcal{M}$-supplemented in $G$ if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H_iK<G$ for every maximal subgroup…

A group $G$ is said to be $n$-centralizer if its number of element centralizers $\mid \Cent(G)\mid=n$, an F-group if every non-central element centralizer contains no other element centralizer and a CA-group if all non-central element…

Let $G$ be a finite group and $p$ a fixed prime divisor of $|G|$. Combining the nilpotence, the normality and the order of groups together, we prove that if every maximal subgroup of $G$ is nilpotent or normal or has $p'$-order, then (1)…

A finite non-abelian group $G$ is called commuting integral if the commuting graph of $G$ is integral. In this paper, we show that a finite group is commuting integral if its central factor is isomorphic to ${\mathbb{Z}}_p \times…

We prove the conjugacy of Sylow $p$-subgroups of linear pseudofinite groups under the assumption of the existence of a finite Sylow $p$-subgroup. We also give an example of a linear pseudofinite group with non-conjugate Sylow $2$-subgroups.

A finite group is called a CLT-group if it contains a subgroup corresponding to every divisor of the order of the group. It is said to be a Cyclic (Abelian) CLT group if it contains a cyclic (abelian) subgroup corresponding to every proper…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We determine all finite subgroups of simple algebraic groups that have irreducible centralizers - that is, centralizers whose connected component does not lie in a parabolic subgroup.

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…

Finite $p$-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups $G,A$, we derive an explicit formula for cocycles representing elements of $H^2(G,A)$, compute $H^2(G,A)$, and…

It is an open question in the study of Chermak-Delgado lattices precisely which finite groups $G$ have the property that $CD(G)$ is a chain of length $0$. In this note, we determine two classes of groups with this property. We prove that if…

A subgroup $H$ of a finite group $G$ is said to be an $\mathscr{H}C$-subgroup of $G$ if there exists a normal subgroup $T$ of $G$ such that $G=HT$ and $H^g \cap N_T(H)\leq H$ for all $g\in G$. In this paper, we investigate the structure of…

Let $G$ be a finite group acting faithfully on a finite set $\Omega$. For a positive integer $k$, $G$ acts naturally on the Catesian product $\Omega^k := \Omega \times ...\times \Omega$. In this paper, we prove that finite nilpotent group…

Assume $G$ is a finite $p$-group, and let $S$ be a Sylow $p$-subgroup of $\operatorname{Aut}(G)$ with $\exp(S)=q$. We prove that if $G$ is of class $c$, then $\exp(G)|p^{\ceil{\log_pc}}q^3$, and if $G$ is a metabelian $p$-group of class at…

By a result of Noritzsch, a finite solvable group whose non-linear character degrees have the same set of prime divisors is meta-abelian. In this note we investigate finite non-solvable groups whose non-linear character degrees have the…

The c-dimension of a group G is the maximal length of a chain of nested centralizers in G. We prove that a locally finite group of finite c-dimension k has less than 5k nonabelian composition factors.

Let $G$ be a finite, non-abelian group of the form $G = A N$, where $A \leq G$ is abelian, and $N \trianglelefteq G$ is cyclic. We prove that the commuting graph $\Gamma(G)$ of $G$ is either a connected graph of diameter at most four, or…