Гомоморфизмы и алгоритмические проблемы в проективных плоскостях

Доказано, что в невырожденной проективной плоскости проблема равенства слов разрешима, если существует эффективный алгоритм, позволяющий распознавать слова, равные некоторому фиксированному слову.
Гомоморфизм свободной проективной плоскости рекурсивен, если рекурсивен прообраз хотя бы одного элемента относительно этого гомоморфизма.
Библиогр. 9.