Некоммутативная алгебраическая геометрия и проблема Шпехта

Проблема Шпехта состоит в том, что верно ли, что любая система тождеств в некоммутативном ассоциативном кольце следует из конечной подсистемы? Решение этой проблемы приводит к задачам комбинаторики слов (в том числе элементарным), к новой точки зрения на некоммутативную алгебраическую геометрию.