Аннотация:
В работе построены бесконечные неприводимые системы групповых
тождеств, содержащих две переменные. Доказано существование труппы, заданной
двумя образующими и перечислимым множеством тождественных
соотношений, в которой неразрешима проблема тождества.