Related papers: Commuting Probability of Compact Groups

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is…

Consider a group word w in n letters. For a compact group G, w induces a map G^n \rightarrow G$ and thus a pushforward measure {\mu}_w on G from the Haar measure on G^n. We associate to each word w a 2-dimensional cell complex X(w) and…

We study orbits and reachable sets of generic couples of Hamiltonians $H_1, H_2$ on a symplectic manifold $N$. We prove that, $C^k$-generically for $k$ large enough, orbits coincide with the whole of $N$, and that the same is true for…

Let $G$ be a connected semi-simple algebraic group of adjoint type over an algebraically closed field, and let $\overline{G}$ be the wonderful compactification of $G$. For a fixed pair $(B, B^-)$ of opposite Borel subgroups of $G$, we look…

It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without…

Let $G$ be a compact Lie group. Suppose $g_1, \dots, g_k$ are chosen independently from the Haar measure on $G$. Let $\mathcal{A} = \cup_{i \in [k]} \mathcal{A}_i$, where, $\mathcal{A}_i := \{g_i\} \cup \{g_i^{-1}\}$. Let…

We formulate and prove a new variant of the Segal Conjecture describing the group of homotopy classes of stable maps from the p-completed classifying space of a finite group G to the classifying space of a compact Lie group K as the p-adic…

A Hausdorff topological group G is minimal if every continuous isomorphism f: G --> H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every…

If $G$ is a group, then we say that the functor $H^n(G,-)$ is finitary if it commutes with all filtered colimit systems of coefficient modules. We investigate groups with cohomology almost everywhere finitary; that is, groups with $n$th…

The conjugacy problem for a finitely generated group $G$ is the two-variable problem of deciding for an arbitrary pair $(u,v)$ of elements of $G$, whether or not $u$ is conjugate to $v$ in $G$. We construct examples of finitely generated,…

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open…

The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$, where the $F^*_i(G)$ is the generalized Fitting series: $F^*_1(G)=F^*(G)$ and $F^*_{i+1}(G)$ is the inverse image of…

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 study the right and left commutation semigroups of finite metacyclic groups with trivial centre. These are presented \[G(m,n,k) = \left\langle {a,b;{a^m} = 1,{b^n} = 1,{a^b} = {a^k}} \right\rangle \quad (m,n,k\in\mathbb{Z}^+)\] with…

We show that, given a continuous action $\alpha$ of a locally compact group $G$ on a factor $M$, the relative commutant $M'\cap(M\rtimes_{\alpha} G)$ is contained in $M\rtimes_{\alpha} H$ where $H$ is the subgroup of elements acting without…

Given a finite group $G$, we denote by $\nu(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $\nu(G)>1/12,$ then $G$ is solvable.

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 an almost simple sporadic group and let $H$ be a soluble subgroup of $G$. In this paper we prove that there exists $x,y \in G$ such that $H \cap H^x \cap H^y=1$, which is equivalent to the bound $b(G,H) \leqslant 3$ with respect…

We introduce the notion of commability between locally compact groups, namely the equivalence relation generated by cocompact inclusions and quotients by compact normal subgroups. We give a classification of focal hyperbolic locally compact…