On the collection formulas for positive words

Vladimir M. Leontiev

Siberian Federal University, Krasnoyarsk, Russian Federation

Abstract: For any formal commutator $R$ of a free group $F$, we constructively prove the existence of a logical formula $\mathcal{E}_R$ with the following properties. First, if we apply the collection process to a positive word $W$ of the group $F$, then the structure of $\mathcal{E}_R$ is determined by $R$, and the logical values of $\mathcal{E}_R$ are determined by $W$ and the arrangement of the collected commutators. Second, if the commutator $R$ was collected during the collection process, then its exponent is equal to the number of elements of the set $D(R)$ that satisfy $\mathcal{E}_R$, where $D(R)$ is determined by $R$. We provide examples of $\mathcal{E}_R$ for some commutators $R$ and, as a consequence, calculate their exponents for different positive words of $F$. In particular, an explicit collection formula is obtained for the word $(a_1 \ldots a_n)^m$, $n,m \geqslant 1$, in a group with the Abelian commutator subgroup. Also, we consider the dependence of the exponent of a commutator on the arrangement of the commutators collected during the collection process.

Keywords: commutator, collection process, free group.

UDC: 512.54

Received: 08.11.2023
Received in revised form: 21.12.2023
Accepted: 04.03.2024

Language: English