Related papers: A nilpotency criterion for some verbal subgroups

Let $G$ be a profinite group. The coprime commutators $\gamma_j^*$ and $\delta_j^*$ are defined as follows. Every element of $G$ is both a $\gamma_1^*$-value and a $\delta_0^*$-value. For $j\geq 2$, let $X$ be the set of all elements of $G$…

Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group \~G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1…

Let $G=< x,t\mid w>$ be a one-relator group, where $w$ is a word in $x,t$. If $w$ is a product of conjugates of $x$ then, associated with $w$, there is a polynomial $A_w(X)$ over the integers, which in the case when $G$ is a knot group, is…

Let $G$ be a finite group. In this short note, we give a criterion of nilpotency of $G$ based on the existence of elements of certain order in each section of $G$.

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.

Given a group G and positive integers k,n, we let B_n=B_n(G) denote the set of all elements x in G such that |x^G|\leq n, and we say that G satisfies the (k,n)-covering condition for commutators if there is a subset S in G such that |S|\leq…

We obtain a characterization of the binary commutator on completely simple semigroups, using their Rees matrix representation. Consequently, we prove that a regular semigroup is nilpotent (solvable) if and only if it is simple, and all its…

We show that for any finite group $G$ and for any $d$ there exists a word $w\in F_{d}$ such that a $d$-tuple in $G$ satisfies $w$ if and only if it generates a solvable subgroup. In particular, if $G$ itself is not solvable, then it cannot…

Let $m,n$ be positive integers. Suppose that $G$ is a residually finite group in which for every element $x \in G$ there exists a positive integer $q=q(x) \leqslant m$ such that $x^q$ is $n$-Engel. We show that $G$ is locally virtually…

Let $w = w(x_1,..., x_n)$ be a word, i.e. an element of the free group $F =<x_1,...,x_n>$ on $n$ generators $x_1,..., x_n$. The verbal subgroup $w(G)$ of a group $G$ is the subgroup generated by the set $\{w (g_1,...,g_n)^{\pm 1} | g_i \in…

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

Every word $w$ in a free group naturally induces a probability measure on every compact group $G$. For example, if $w=\left[x,y\right]$ is the commutator word, a random element sampled by the $w$-measure is given by the commutator…

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…

Let m, n be positive integers, v a multilinear commutator word and w = v^m. Denote by v(G) and w(G) the verbal subgroups of a group G corresponding to v and w, respectively. We prove that the class of all groups G in which the w-values are…

In this Note we study the groups $G$ satisfying condition $(\mathcal{N},n)$, that is, every subset of $G$ with $n+1$ elements contains a pair $\{x,y\}$ such that the subgroup $<x,y>$ is nilpotent.

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…

A classical result of Baer states that a finite group $ G $ which is the product of two normal supersoluble subgroups is supersoluble if and only if $ G' $ is nilpotent. In this article we show that if $ G=AB $ is the product of…

The coprime commutators $\gamma_j^*$ and $\delta_j^*$ were recently introduced as a tool to study properties of finite groups that can be expressed in terms of commutators of elements of coprime orders. They are defined as follows. Let $G$…

A group word $w$ is said to be strongly concise in a class $\mathscr C$ of profinite groups if, for any group $G$ in $\mathscr C$, either $w$ takes at least continuum values in $G$ or the verbal subgroup $w(G)$ is finite. It is conjectured…

Bouc proposed the following conjecture: a finite group $G$ is nilpotent if and only if its largest quotient $B$-group $\beta(G)$ is nilpotent. And he has prove that this conjecture holds when $G$ is solvable. In this paper, we consider the…