Related papers: Exponent Preserving Subgroups of the Finite Simple…

Let $g$ be an element of a group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$, where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group…

Let $G$ be a finite group admitting a coprime automorphism $\phi$ of order $n$. Denote by $G_{\phi}$ the centralizer of $\phi$ in $G$ and by $G_{-\phi}$ the set $\{ x^{-1}x^{\phi}; \ x\in G\}$. We prove the following results. 1. If every…

We prove that, if $G$ is a finite almost simple group and $H$ is a maximal subgroup of $G$, then the $10$th term of the derived series of $H$ is perfect. The same is true if $G$ is perfect and $H$ is core-free. The constant $10$ is best…

A subgroup $H$ of a group $G$ is said to be pronormal in $G$ if $H$ and $H^g$ are conjugate in $\langle H, H^g \rangle$ for every $g \in G$. In this paper we classify finite simple groups $E_6(q)$ and ${}^2E_6(q)$ in which all the subgroups…

We give a description of a finite group whose maximal subgroups possess only soluble proper subgroups, which implies the answer to the well-known question on composition factors of finite groups, whose second maximal subgroups are soluble.

For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…

Given a multi-EGS-group $K$ acting on the $p$-adic rooted tree, where $p$ is any prime number, we compute the exponent of the congruence quotient $K_n= K/ \St_K(n)$ for all $n\ge 1$. The formula that we obtain for $\exp(K_n)$ only depends…

We deal with the following conjecture. If w is a group word and G is a finite group in which any nilpotent subgroup generated by w-values has exponent dividing e, then the exponent of the verbal subgroup w(G) is bounded in terms of e and w…

Let $G$ be a finite $p$-group. In this paper we obtain bounds for the exponent of the non-abelian tensor square $G \otimes G$ and of $\nu(G)$, which is a certain extension of $G \otimes G$ by $G \times G$. In particular, we bound…

Let $\mathbb F_q$ be a finite field with $q$ elements, $G$ a finite cyclic group of order $p^k$ and $p$ is an odd prime with ${\rm gcd}(q,p)=1$. In this article, we determine an explicit expression for the primitive idempotents of $\mathbb…

Let $G$ be a finite abelian group with exponent $n$. Let $\eta(G)$ denote the smallest integer $\ell$ such that every sequence over $G$ of length at least $\ell$ has a zero-sum subsequence of length at most $n$. We determine the precise…

An element $x$ in a finite group $G$ is said to be \textit{vanishing} if some (complex) irreducible character of $G$ takes value $0$ at $x$. In this article, we prove that every non-abelian finite simple group, except $\mathrm{SL}_2(4)$ and…

A finite group $G$ is \emph{coprimely-invariably generated} if there exists a set of generators $\{g_1, ..., g_u\}$ of $G$ with the property that the orders $|g_1|, ..., |g_u|$ are pairwise coprime and that for all $x_1, ..., x_u \in G$ the…

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 of odd order admitting an involutory automorphism $\phi$. We obtain two results bounding the exponent of $[G,\phi]$. Denote by $G_{-\phi}$ the set $\{[g,\phi]\,\vert\, g\in G\}$ and by $G_{\phi}$ the centralizer of…

By a proper cover of a finite group G we mean an extension of a nontrivial finite group by G. Our purpose is to show that a proper cover of a finite simple group L of Lie type always contains an element whose order differs from the element…

The aim of the article is to show that there are many finite extensions of arithmetic groups which are not residually finite. Suppose $G$ is a simple algebraic group over the rational numbers satisfying both strong approximation, and the…

The average order of a finite group G is denoted by o(G). In this note, we classify groups whose average orders are less than o(S4), where S4 is the symmetric group on four elements. Moreover, we prove that G \cong S4 if and only if o(G) =…

We say that a finite group $G$ satisfies the independence property if, for every pair of distinct elements $x$ and $y$ of $G$, either $\{x,y\}$ is contained in a minimal generating set for $G$ or one of $x$ and $y$ is a power of the other.…

Let $G$ be a finite group. Let $\rho(G) = \prod_{g \in G} o(g)={p_1}^{\alpha_1} {p_2}^{\alpha_2} \cdots {p_k}^{\alpha_k}$, where $p_1, p_2, \cdots, p_k$ are distinct prime numbers and $o(g)$ denotes the order of $g \in G$. The set of…