Related papers: Compact groups with many elements of bounded order

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

The solubilizer of an element $x$ of a profinite group $G$ is the set of the elements $y$ of $G$ such that the subgroup of $G$ generated by $x$ and $y$ is prosoluble. We propose the following conjecture: the solubilizer of $x$ in $G$ has…

Given a profinite group $G$ and a family $\mathcal{F}$ of finite groups closed under taking subgroups, direct products and quotients, denote by $\mathcal{F}(G)$ the set of elements $g \in G$ such that $\{x \in G\ |\ \langle g,x \rangle \…

We investigate some properties of the $p$-elements of a profinite group $G$. We prove that if $p$ is odd and the probability that a randomly chosen element of $G$ is a $p$-element is positive, then $G$ contains an open prosolvable subgroup.…

The following question is proposed in [4, Question 1.20]: Let $G$ be a compact group, and suppose that $$\mathcal{N}_k(G) = \{(x1,\dots,x_{k+1}) \in G^{k+1} \;\|; [x_1,\dots, x_{k+1}] = 1\}$$ has positive Haar measure in $G^{k+1}$. Does $G$…

We say that an element $g$ of a group $G$ is almost right Engel if there is a finite set ${\mathscr R}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$, that is, for…

We show that a compact group $G$ has finite conjugacy classes, i.e., is an FC-group if and only if its center $Z(G)$ is open if and only if its commutator subgroup $G'$ is finite. Let $d(G)$ denote the Haar measure of the set of all pairs…

A (left) Engel sink of an element g of a group G is a subset containing all sufficiently long commutators [...[[x,g],g],...,g], where x ranges over G. We prove that if p is a prime and G a finite group in which, for some positive integer m,…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

Let $k$ be any positive integer and $G$ a compact (Hausdorff) group. Let $\mf{np}_k(G)$ denote the probability that $k+1$ randomly chosen elements $x_1,\dots,x_{k+1}$ satisfy $[x_1,x_2,\dots,x_{k+1}]=1$. We study the following problem: If…

Recent investigations on the set of commutators between the elements of a finite group having relatively prime orders have prompt us to propose a variant of the Ore conjecture: For every finite non-abelian simple group and for every $g\in…

In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $\pi$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_\pi(G)$ holds. The…

A group $G$ is said to have restricted centralizers if for every $x\in G$ the centralizer $C_G(x)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. Here we…

An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable,…

A group $G$ is said to have restricted centralizers if for each $g \in G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. We take…

A group $G$ is said to have restricted centralizers if for each $g$ in $G$ the centralizer $C_G(g)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. Given a…

In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where…

Let x be an element of a group G. For a positive integer n let E_n(x) be the subgroup generated by all commutators [...[[y,x],x],...,x] over y in G, where x is repeated n times. There are several recent results showing that certain…

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is an Engel element precisely when we…

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is an Engel element precisely when we…