Related papers: On the product decomposition conjecture for finite…

Let $G$ be a finite cyclic group. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot...\cdot(n_lg)$ where $g\in G$ and $n_1,\cdots,n_l\in[1,{\hbox{\rm ord}}(g)]$, and the index $\ind(S)$ of $S$ is defined to be the…

Let $G$ be a permutation group on a set $\Omega$. A subset of $\Omega$ is a base for $G$ if its pointwise stabilizer in $G$ is trivial. By $b(G)$ we denote the size of the smallest base of $G$. Every permutation group with $b(G)=2$ contains…

Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup…

A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…

Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.

We prove that any Lie subgroup $G$ (with finitely many connected components) of an infinite-dimensional topological group $\mathcal G$ which is an amalgamated product of two closed subgroups, can be conjugated to one factor. We apply this…

A conjecture due to Zassenhaus asserts that if $\ G$ is a finite group then any torsion unit in $\mathbb{Z}G$ is conjugate in $\mathbb{Q}G$ to an element of $\ G$. We present a weaker form of this conjecture for some infinite groups.

Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal…

Let $G$ be a finite group and let $H_p$ be a Sylow $p$-subgroup of $G$. A recent conjecture of Lisi and Sabatini asserts the existence of an element $x \in G$ such that $H_p \cap H_p^x$ is inclusion-minimal in the set $\{H_p \cap H_p^g…

We extend Gow's theorem on products of semisimple regular conjugacy classes to finite groups whose generalized Fitting subgroup is Z(G)S where S is a quasisimple group of Lie type in characteristic p and Z(G) has order prime to p.

K. Harada conjectured for any finite group $G$, the product of sizes of all conjugacy classes is divisible by the product of degrees of all irreducible characters. We study this conjecture when $G$ is the general linear group over a finite…

We prove that if $G$ is a finite simple group and $x, y \in G$ are involutions, then $|x^G \cap C_G(y)| \rightarrow \infty$ as $|G| \rightarrow \infty$. This extends results of Guralnick-Robinson and Skresanov. We also prove a related…

Let $\g$ be any simple Lie algebra over $\mathbb{C}$. Recall that there exists an embedding of $\mathfrak{sl}_2$ into $\g$, called a principal TDS, passing through a principal nilpotent element of $\g$ and uniquely determined up to…

We prove that every quasisimple group of classical type is a product of boundedly many conjugates of a quasisimple subgroup of type A_n.

A recent conjecture of the author and Teng Fang states that there are only finitely many finite simple groups with no cubic graphical regular representation. In this paper, we make a crucial progress towards this conjecture by giving an…

Eldredge, Gordina and Saloff-Coste recently conjectured that, for a given compact connected Lie group $G$, there is a positive real number $C$ such that $\lambda_1(G,g)\operatorname{diam}(G,g)^2\leq C$ for all left-invariant metrics $g$ on…

A subset S of a finite group G invariably generates G if G = <hsg(s) j s 2 Si > for each choice of g(s) 2 G; s 2 S. We give a tight upper bound on the minimal size of an invariable generating set for an arbitrary finite group G. In response…

For a subgroup $S$ of a group $G$, let $I_G(S)$ denote the set of commutators $[g,s]=g^{-1}g^s$, where $g\in G$ and $s\in S$, so that $[G,S]$ is the subgroup generated by $I_G(S)$. We prove that if $G$ is a $p$-soluble finite group with a…

Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is…

We generalize a result of Sury and prove that uniform discreteness of cocompact lattices in higher rank semisimple Lie groups (first conjectured by Margulis) is equivalent to a weak form of Lehmer's conjecture. We include a short survey of…