Related papers: Bounded Engel elements in residually finite groups

Given elements $x,u,z$ in a finite group $G$ such that $z$ is the commutator of $x$ and $u$, and the orders of $x$ and $z$ divide respectively integers $k,m \geq 2$, and given an integer $r$ that is coprime to $k$ and $m$, there exists $w…

Let D be an irreducible lattice in a connected, semisimple Lie group G with finite center. Assume that the real rank of G is at least two, that G/D is not compact, and that G has more than one noncompact simple factor. We show that D has no…

We are interested in semigroups of the form $\langle G,a\rangle\setminus G$, where $G$ is a permutation group of degree $n$ and $a$ a non-permutation on the domain of $G$. A theorem of the first author, Mitchell and Schneider shows that, if…

For a finite group $G$, let $LC(G)$ be the subgroup generated by elements $x$ such that, for all $y \in G$ and all integers $n$, the order of $x^n y$ divides the least common multiple of the orders of $x$ and $y$. This subgroup is a…

Let v and w be nontrivial words in two free groups. We prove that, for all sufficiently large finite non-abelian simple groups G, there exist subsets C of v(G) and D of w(G) of size such that every element of G can be realized in at least…

With a nilpotent element in a semisimple Lie algebra g one associates a finitely generated associative algebra W called a W-algebra of finite type. This algebra is obtained from the universal enveloping algebra U(g) by a certain Hamiltonian…

We prove that outer commutator words are uniformly concise, i.e. if an outer commutator word w takes m different values in a group G, then the order of the verbal subgroup w(G) is bounded by a function depending only on m and not on w or G.…

A finite group $G$ is coprimely-invariably generated if there exists a set of generators $\{g_1, \ldots, g_d\}$ of $G$ with the property that the orders $|g_1|, \ldots, |g_d|$ are pairwise coprime and that for all $x_1, \ldots, x_d \in G$…

We consider decidability problems in self-similar semigroups, and in particular in semigroups of automatic transformations of $X^*$. We describe algorithms answering the word problem, and bound its complexity under some additional…

Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for…

We prove a version of the Wilson conjecture for $\omega$-categorical $3$-Engel Lie algebras over a field of characteristic $5$: every $\omega$-categorical Lie algebra over $\mathbb{F}_5$ which satisfies the identity $[x,y^3] = 0$ is…

Let $d(G)$ be the smallest cardinality of a generating set of a finite group $G.$ We give a complete classification of the finite groups with the property that, whenever $ \langle x_1, \dots, x_{d(G)} \rangle = \langle y_1, \dots, y_{d(G)}…

The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor…

We provide the first example of virtually nilpotent group, with a specific generating set, for which the Green series (sometimes called cogrowth series) is not $D$-finite. The proof relies on an arithmetical miracle, and the study of the…

Jespers and Sun conjectured that if a finite group $G$ has the property ND, i.e. for every nilpotent element $n$ in the integral group ring $\mathbb{Z}G$ and every primitive central idempotent $e \in \mathbb{Q}G$ one still has $ne \in…

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…

It is shown that over an arbitrary field there exists a nil algebra $R$ whose adjoint group $R^{o}$ is not an Engel group. This answers a question by Amberg and Sysak from 1997 [5] and answers related questions from [3, 44]. The case of an…

We prove that if $(H,G)$ is a small, $nm$-stable compact $G$-group, then $H$ is nilpotent-by-finite, and if additionally $\NM(H) \leq \omega$, then $H$ is abelian-by-finite. Both results are significant steps towards the proof of the…

Let $G$ be a simple algebraic group of exceptional type over an algebraically closed field of characteristic $p \geqslant 0$ which is not algebraic over a finite field. Let $\mathcal{C}_1, \ldots, \mathcal{C}_t$ be non-central conjugacy…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…