Related papers: Groups generated by a finite Engel set

A finite group $G$ is said to have the nilpotent decomposition property (ND) if for every nilpotent element $\alpha$ of the integral group ring $\mathbb{Z}[G]$ one has that $\alpha e$ also belong to $\mathbb{Z}[G]$, for every primitive…

In this paper we consider two functions related to the arithmetic and geometric means of element orders of a finite group, showing that certain lower bounds on such functions strongly affect the group structure. In particular, for every…

The number of subgroups and the number of cyclic subgroups are natural combinatorial invariants of a finite group. We investigate how restrictions on these quantities, together with the number of distinct prime divisors of $|G|$, enforce…

Let $G$ be a random torsion-free nilpotent group generated by two random words of length $\ell$ in $U_n(\mathbb{Z})$. Letting $\ell$ grow as a function of $n$, we analyze the step of $G$, which is bounded by the step of $U_n(\mathbb{Z})$.…

Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an…

It is known that any locally graded group with finitely many derived subgroups of non-normal subgroups is finite-by-abelian. This result is generalized here, by proving that in a locally graded group $G$ the subgroup $\gamma_{k}(G)$ is…

A group is called $(m,n)$-bicyclic if it can be expressed as a product of two cyclic subgroups of orders $m$ and $n$, respectively. The classification and characterization of finite bicyclic groups have long been important problems in group…

A semigroup is \emph{nilpotent} of degree 3 if it has a zero, every product of 3 elements equals the zero, and some product of 2 elements is non-zero. It is part of the folklore of semigroup theory that almost all finite semigroups are…

Let $d$ be a positive integer. A finite group is called $d$-maximal if it can be generated by precisely $d$ elements, while its proper subgroups have smaller generating sets. For $d\in\{1,2\}$, the $d$-maximal groups have been classified up…

A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$.…

We show that group C*-algebras of finitely generated, nilpotent groups have finite nuclear dimension. It then follows, from a string of deep results, that the C*-algebra $A$ generated by an irreducible representation of such a group has…

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…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be a partition of the set $\Bbb{P}$ of all primes and $G$ a finite group. A chief factor $H/K$ of $G$ is said to be $\sigma$-central if the semidirect product $(H/K)\rtimes (G/C_{G}(H/K))$ is a…

A subgroup of a finite group is wide if each prime divisor of the group order divides the subgroup order. We obtain the description of finite soluble groups with no wide subgroups. We also prove that a finite soluble group with nilpotent…

For every Turing machine, we construct an automaton group that simulates it. Precisely, starting from an initial configuration of the Turing machine, we explicitly construct an element of the group such that the Turing machine stops if, and…

We give a survey of results on the structure of right and left Engel elements of a group. We also present some new results in this topic.

Two finite groups $L_1$ and $L_2$ are compatible if there exists a finite group $G$ with isomorphic normal subgroups $N_1$ and $N_2$ such that $L_1\cong G/N_1$ and $L_2\cong G/N_2$. We prove a new sufficient condition for two groups to be…

This note records some observations concerning geodesic growth functions. If a nilpotent group is not virtually cyclic then it has exponential geodesic growth with respect to all finite generating sets. On the other hand, if a finitely…

Suppose $G$ is a $\mathcal{T}$-group (finitely generated torsion-free nilpotent) with centralizers outside of the derived subgroup being abelian of rank equal to $\text{rank}(Z_1)+1$. This includes the class of free nilpotent groups…

A subgroup $H$ of a group $G$ is said to be an $IC\Phi$-subgroup of $G$ if $H \cap [H,G] \le \Phi(H)$. We analyze the structure of a finite group $G$ under the assumption that some given subgroups of $G$ are $IC\Phi$-subgroups of $G$. A new…