Two decidable Markov properties over a class of solvable groups

Доказывается, что проблема эффективного распознавания, является ли конечной или нильпотентной разрешимая группа, конечно определенная в ее (разрешимом) многообразии, имеет положительное решение.