RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал Сибирского федерального университета. Серия «Математика и физика» // Архив

Журн. СФУ. Сер. Матем. и физ., 2024, том 17, выпуск 3, страницы 365–377 (Mi jsfu1166)

On the collection formulas for positive words

[О собирательных формулах для положительных слов]

Vladimir M. Leontiev

Siberian Federal University, Krasnoyarsk, Russian Federation

Аннотация: Для любого формального коммутатора $R$ свободной группы $F$ мы конструктивно доказываем существование логической формулы $\mathcal{E}_R$ со следующими свойствами. Во-первых, ее строение определяется структурой $R$, а логические значения определяются положительным словом группы $F$, к которому применяется собирательный процесс, и порядком сбора коммутаторов. Во-вторых, если в ходе собирательного процесса был собран коммутатор $R$, то его показатель степени равен количеству элементов множества $D(R)$, удовлетворяющих $\mathcal{E}_R$, где $D(R)$ определяется структурой $R$. В работе приведены примеры такой формулы для разных коммутаторов, как следствие, вычислены их показатели степеней для разных положительных слов $F$. В частности, получена в явном виде собирательная формула для слова $(a_1 \ldots a_n)^m$, $n,m \geqslant 1$ в группе с абелевым коммутантом. Рассмотрен вопрос о зависимости показателя степени коммутатора от порядка сбора коммутаторов в ходе собирательного процесса.

Ключевые слова: коммутатор, собирательный процесс, свободная группа.

УДК: 512.54

Получена: 08.11.2023
Исправленный вариант: 21.12.2023
Принята: 04.03.2024

Язык публикации: английский



© МИАН, 2024