A NILPOTENCY CRITERION FOR SOME VERBAL SUBGROUPS

The word $w=[x_{i_{1}},x_{i_{2}},\ldots ,x_{i_{k}}]$ is a simple commutator word if $k\geq 2,i_{1}\neq i_{2}$ and $i_{j}\in \{1,\ldots ,m\}$ for some $m>1$. For a finite group $G$, we prove that if $i_{1}\neq i_{j}$ for every $j\neq 1$, then the verbal subgroup corresponding to $w$ is nilpotent if and only if $|ab|=|a||b|$ for any $w$-values $a,b\in G$ of coprime orders. We also extend the result to a residually finite group $G$, provided that the set of all $w$-values in $G$ is finite.

On the width of verbal subgroups of the groups of triangular matrices over a field of arbitrary characteristic

The width [Formula: see text] of the verbal subgroup [Formula: see text] of a group [Formula: see text] defined by a collection of group words [Formula: see text] is the smallest number [Formula: see text] in [Formula: see text] such that every element of [Formula: see text] is the product of at most [Formula: see text] words in [Formula: see text] evaluated on [Formula: see text] and their inverses. Well known that every verbal subgroup of the group [Formula: see text] of triangular matrices over an arbitrary field [Formula: see text] can be defined by just one word: an outer commutator word or a power word. We prove that [Formula: see text] for every outer commutator word [Formula: see text] and that [Formula: see text] except for two cases, when it is equal to 2. For finitary triangular groups, the situation is similar.

THE WIDTH OF VERBAL SUBGROUPS IN THE GROUP OF UNITRIANGULAR MATRICES OVER A FIELD

Let K be a field and let UTn(K) and Tn(K) denote the groups of all unitriangular and triangular matrices over field K, respectively. In the paper, the lattices of verbal subgroups of the above groups are characterized. Consequently, the equalities between certain verbal subgroups and their verbal width are determined. The considerations bring a series of verbal subgroups with exactly known finite width equal to 2. An analogous characterization and results for the groups of infinitely dimensional triangular and unitriangular matrices are established in the last part of the paper.

ON VERBAL SUBGROUPS IN RESIDUALLY FINITE GROUPS

The following theorem is proved. Let m, k and n be positive integers. There exists a number η=η(m,k,n) depending only on m, k and n such that if G is any residually finite group satisfying the condition that the product of any η commutators of the form [xm,y1,…,yk ] is of order dividing n, then the verbal subgroup of G corresponding to the word w=[xm,y1,…,yk ] is locally finite.