Related papers: Exponent Preserving Subgroups of the Finite Simple…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

Given a finite group $G$, the solubilizer of an element $x$, denoted by $\Sol_G(x)$, is the set of all elements $y$ such that $\langle x, y\rangle$ is a soluble subgroup of $G$. In this paper, we provide a classification for all…

We associate with every etale groupoid G two normal subgroups S(G) and A(G) of the topological full group of G, which are analogs of the symmetric and alternating groups. We prove that if G is a minimal groupoid of germs (e.g., of a group…

For a family of group words $w$ we show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely many subgroups with a prescribed property, then $w(G)$ has the same property as well. In particular, we…

The power graph of a group $G$ is a simple and undirected graph with vertex set $G$ and two distinct vertices are adjacent if one is a power of the other. In this article, we characterize (non-cyclic) finite groups of prime exponent and…

Every finite solvable group $G$ has a normal series with nilpotent factors. The smallest possible number of factors in such a series is called the Fitting height $h(G)$. In the present paper, we derive an upper bound for $h(G)$ in terms of…

We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an…

For an element $g$ of a group $G$, a right Engel sink of $g$ is a subset of $G$ containing all sufficiently long commutators $[...[[g ,x],x],\dots ,x]$ for all $x\in G$. A left Engel sink of $g$ is a subset of $G$ containing all…

Let $G$ be a finite group and $n$ be any prime-power divisor of ${\rm exp}(G)$, the exponent of $G$. Frobenius' theorem indicates that $|\{g\in G\mid g^n=1\}|=f_n\cdot n$ for some positive integer $f_n$. We call $f_n$ a Frobenius quotient…

For a finite group $G$, let $d(G)$ denote the minimal number of elements required to generate $G$. In this paper, given a finite almost simple group $G$ and any maximal subgroup $H$ of $G$, we determine a precise upper bound for $d(H)$. In…

A 2-covering for a finite group $G$ is a set of proper subgroups of $G$ such that every pair of elements of $G$ is contained in at least one subgroup in the set. The minimal number of subgroups needed to 2-cover a group $G$ is called the…

According to T. Foguel a subgroup $H$ of a group $G$ is called conjugate-permutable if $ HH^x=H^xH$ for every $x\in G$. Mingyao Xu and Qinhai Zhang studied finite groups with every subgroup conjugate-permutable (ECP-groups) and asked three…

Let $\mathcal{S}$ be a finite commutative semigroup written additively, and let $\exp(\mathcal{S})$ be its exponent which is defined as the least common multiple of all periods of the elements in $\mathcal{S}$. For every sequence $T$ of…

Recall (math.QA/9812151) that the exponent of a finite-dimensional complex Hopf algebra H is the order of the Drinfeld element u of the Drinfeld double D(H) of H. Recall also that while this order may be infinite, the eigenvalues of u are…

Examples are given of profinite groups that are not strongly complete, and have other `bad' properties, yet have only finitely many open subgroups of each finite index. It is shown that a profinite group with the latter property must be…

Let $G$ be a residually finite group. To any decreasing sequence $\mathcal S = (H_n)_n $ of finite index subgroups of $G$ is associated a unitary representation $\rho_{\mathcal S}$ of $G$ in the Hilbert space $\bigoplus_{n=0}^{+\infty}…

Brauer and Fowler noted restrictions on the structure of a finite group G in terms of the order of the centralizer of an involution t in G. We consider variants of these themes. We first note that for an arbitrary finite group G of even…

For a finite group $G$, let $\omega(G)$ be the set of element orders of $G$ and let $h(G)$ be the number of pairwise nonisomorphic finite groups $H$ with $\omega(H)=\omega(G)$. We say that the recognition problem is solved for $G$ if the…

We describe the exponent of a group-theoretical fusion category $\mathcal C = \mathcal C(G, \omega, F, \alpha)$ associated to a finite group $G$ in terms of group cohomology. We show that the exponent of $\C$ divides both $e(\omega) \exp G$…

In 1962, V.A. Belonogov proved that if a finite group $G$ contains two maximal subgroups of coprime orders, then either $G$ is one of known solvable groups or $G$ is simple. In this short note based on results by M. Liebeck and J. Saxl on…