Related papers: Commuting Involutions in Finite Simple Groups

Let $G,D_{0},D_{1}$ be finite groups such that $D_{0}\trianglelefteq D_{1}$ are groups of automorphisms of $G$ that contain the inner automorphisms of $G$. Assume that $D_{1}/D_{0}$ has a normal $2$-complement and that $D_{1}$ acts…

The commuting graph ${\Gamma(G)}$ of a group $G$ is the simple undirected graph with group elements as a vertex set and two elements $x$ and $y$ are adjacent if and only if $xy=yx$ in $G$. By eliminating the identity element of $G$ and all…

Let G,H be closed permutation groups on an infinite set X, with H a subgroup of G. It is shown that if G and H are orbit-equivalent, that is, have the same orbits on the collection of finite subsets of X, and G is primitive but not…

We prove that if $G$ is a finite simple group of Lie type and $S$ a subset of $G$ of size at least two then $G$ is a product of at most $c\log|G|/\log|S|$ conjugates of $S$, where $c$ depends only on the Lie rank of $G$. This confirms a…

Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which…

In this report we summarize this work, all finite simple groups $G$ can determined uniformly using their orders $|G|$ and the set $\pi_e(G)$ of their element orders.

For subsets $X,Y$ of a finite group $G$, let $Pr(X,Y)$ denote the probability that two random elements $x\in X$ and $y\in Y$ commute. Obviously, a finite group $G$ is nilpotent if and only if $Pr(P,Q)=1$ whenever $P$ and $Q$ are Sylow…

Given two subsets $X,Y$ of a finite group $G$, we write $\Pr(X,Y)$ for the probability that random elements $x \in X$ and $y \in Y$ commute. If $X,Y$ are subgroups, we denote by $\Pr^*(X,Y)$ the maximum real number $\epsilon$ with the…

Let $G$ be a finite group and $\mathcal{C}$ a normal subset of $G$. The Gill-Guillot graph has vertices $\mathcal C$ and $x, y \in \mathcal C$ are adjacent if and only if $x$ and $y$ commute and $\{xy^{-1},x^{-1}y\} \cap \mathcal C$ is…

We show that if G is a finite group and A is a subset of G with no non-trivial solutions to xz=yy then |A| < |G|/(log log |G|)^c.

A group $G$ is said to be $\frac{3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the…

Let $G$ be a finite group, $N(G)$ be the set of conjugacy classes of the group $G$. In the present paper it is proved $G\simeq L$ if $N(G)=N(L)$, where $G$ is a finite group with trivial center and $L$ is a finite simple group.

We show that for a finite group $G$, the commuting probability of $G$ can be explicitly bounded from below in a nontrivial way by a function in the maximum fraction of elements inverted resp. squared by an automorphism of $G$. Using these…

Given a permutation group $G$, the derangement graph of $G$ is the Cayley graph with connection set the derangements of $G$. The group $G$ is said to be innately transitive if $G$ has a transitive minimal normal subgroup. Clearly, every…

Given a finite group $G$ and a conjugacy class of involutions $X$ of $G$, we define the commuting involution graph $\mathcal{C}(G,X)$ to be the graph with vertex set $X$ and $x,y \in X$ adjacent if and only if $x \neq y$ and $xy =yx$. In…

For a finite group $G$, let $d(G)$ denote the probability that a randomly chosen pair of elements of $G$ commute. We prove that if $d(G)>1/s$ for some integer $s>1$ and $G$ splits over an abelian normal nontrivial subgroup $N$, then $G$ has…

Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the…

We show that for some absolute (explicit) constant $C$, the following holds for every finitely generated group $G$, and all $d >0$: If there is some $ R_0 > \exp(\exp(Cd^C))$ for which the number of elements in a ball of radius $R_0$ in a…

The commuting probability of a finite group $G$ is the probability that two randomly chosen elements commute. Let $S\subseteq(0,1]$ denote the set of all possible commuting probabilities of finite groups. We prove that $S\cup\{0\}$ is…

The famous Brauer-Fowler theorem states that the order of a finite simple group can be bounded in terms of the order of the centralizer of an involution. Using the classification of finite simple groups, we generalize this theorem and prove…