Related papers: Groups equal to a product of three conjugate subgr…
We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either…
We continue the investigation, that began in [3] and [4], into finite groups whose set of nontrivial conjugacy class sizes form an arithmetic progression. Let $G$ be a finite group and denote the set of conjugacy class sizes of $G$ by ${\rm…
Let $B$ be a finite CW complex and $G$ a compact connected Lie group. We show that the number of gauge groups of principal $G$-bundles over $B$ is finite up to $A_n$-equivalence for $n<\infty$. As an example, we give a lower bound of the…
We prove that every finite simple group of Lie type $G$ can be generated by three regular unipotent elements. In certain cases we show that two regular unipotents are sufficient to generate $G$.
In this paper, we consider Problem 14.44 in the Kourovka notebook, which is a conjecture about the number of conjugacy classes of a finite group. While elementary, this conjecture is still open and appears to elude any straightforward…
We prove the Arad-Herzog conjecture for various families of finite simple groups- if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are…
In this paper, we study the structures of finite groups using some arithmetic conditions on the sizes of real conjugacy classes. We prove that a finite group is solvable if the prime graph on the real class sizes of the group is…
Three non-empty subsets $S,T,U$ of a group $G$ are said to satisfy the triple product property (TPP) if, for elements $s,s' \in S$, and $t,t' \in T$, and $u,u' \in U$, the equation $s's^{-1}t't^{-1}u'u^{-1}=1$ holds if and only if $s = s'$,…
For a finite group $G$ and an element $x\in G$, the subset $$ nil_G(x)=\{y\in G \mid <x,y>~~ is ~~ nilpotent\}$$ is called nilpotentizer of $x$ in $G$. In this paper, we give two solvabilty criteria for a finite group by the structure and…
The following theorem is proved: Let $G$ be a finite group and $\pi_e(G)$ be the set of element orders in $G$. If $\pi_e(G) \cap \{2\}=\emptyset$; or $\pi_e(G) \cap \{3, 4\}=\emptyset$; or $\pi_e(G) \cap \{3,5\}=\emptyset$, then $G$ is…
It is proven that if $G$ is a finite group, then $G^\omega$ has $2^{\mathfrak c}$ dense nonmeasurable subgroups. Also, other examples of compact groups with dense nonmeasurable subgroups are presented.
Let $A \subset {\mathbb Z}$ be a finite subset. We denote by $\mathcal{B}(A)$ the set of all integers $n \ge 2$ such that $|nA| > (2n-1)(|A|-1)$, where $nA=A+\cdots+A$ denotes the $n$-fold sumset of $A$. The motivation to consider…
A number of upper bounds are proved relating to the triple product property (TPP) for subgroups of finite nilpotent groups of class $2$. The TPP is the property defined for three non-empty subsets $S, T, U$ of a group $G$ that the group…
We determine the structure of the finite non-solvable groups of order divisible by $3$ all whose maximal subgroups of order divisible by $3$ are supersolvable. Precisely, we demonstrate that if $G$ is a finite non-solvable group satisfying…
Let $G$ be a non-elementary hyperbolic group. Let $w$ be a group word such that the set $w[G]$ of all its values in $G$ does not coincide with $G$ or 1. We show that the width of verbal subgroup $w(G)=<w[G]>$ is infinite. That is, there is…
A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…
We say that the weak width of an infinite subgroup $H$ of $G$ in $G$ is $n$ if there exists a collection of $n$ strongly essentially distinct conjugates $\{ H, g_1^{-1} H g_1,\cdots, g_{n-1}^{-1} H g_{n-1} \}$ of $H$ in $G$ such that the…
We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…
A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…
For a group $G$ and a finite set $A$, denote by $\text{CA}(G;A)$ the monoid of all cellular automata over $A^G$ and by $\text{ICA}(G;A)$ its group of units. We study the minimal cardinality of a generating set, known as the rank, of…