Related papers: A stronger form of Neumann's BFC-theorem

For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable…

The Baer--Suzuki theorem says that if $p$ is a prime, $x$ is a $p$-element in a finite group $G$ and $\langle x, x^g \rangle$ is a $p$-group for all $g \in G$, then the normal closure of $x$ in $G$ is a $p$-group. We consider the case where…

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 \…

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…

We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function…

Suppose that $G$ is a finite group and $K$ a non-trivial conjugacy class of $G$ such that $KK^{-1}=1\cup D\cup D^{-1}$ with $D$ a conjugacy class of $G$. We prove that $G$ is not a non-abelian simple group. We also give arithmetical…

We study the von Neumann algebra, generated by the regular representations of the infinite-dimensional nilpotent group $B_0^{\mathbb Z}$. In [14] a condition have been found on the measure for the right von Neumann algebra to be the…

We prove that if a finite group $G$ contains a conjugacy class $K$ whose square is of the form $1 \cup D$, where $D$ is a conjugacy class of $G$, then $\langle K \rangle$ is a solvable proper normal subgroup of $G$ and we completely…

William W. Boone and Graham Higman proved that a finitely generated group has soluble word problem if and only if it can be embedded in a simple group that can be embedded in a finitely presented group. We prove the exact analogue for…

We first give a short group theoretic proof of the following result of Lackenby. If $G$ is a large group, $H$ is a finite index subgroup of $G$ admitting an epimorphism onto a non--cyclic free group, and $g$ is an element of $H$, then the…

We prove that a finite group is rational if and only if it has a set of permutation characters which separate conjugacy classes. It follows from this that a finite group is rational if and only if it has a representation as a permutation…

For an element $g$ of a group $G$, an Engel sink is a subset ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. A~finite group is nilpotent if and only if…

A natural question for groups $H$ is which data can be detected in its finite quotients. A subset $X \subset H$ is called separable if for all $h\in H \setminus X$, there exists an epimorphism $\varphi$ to a finite group $Q$ such that…

Let $G$ be a finite group and let $p$ be a prime. In this paper, we study the structure of finite groups with a large number of $p$-regular conjugacy classes or, equivalently, a large number of irreducible $p$-modular representations. We…

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

It is proved that every finitely generated profinite group with fewer than $2^{\aleph_0}$ conjugacy classes of elements of infinite order is finite

The following refinement of the Higman embedding theorem is proved: A finitely generated group $R$ is recursively presented if and only if there exists a quasi-isometric malnormal embedding of $R$ into a finitely presented group $H$ such…

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

We prove a conjecture of Peter Neumann from 1966, predicting that every finite non-regular primitive permutation group of degree $n$ contains an element fixing at least one point and at most $n^{1/2}$ points. In fact, we prove a stronger…

The order sequence of a finite group $G$ is a non-decreasing finite sequence formed of the element orders of $G$. Several properties of order sequences were studied by P. J. Cameron and H. K. Dey in a recent paper that concludes with a list…