|
Сибирский математический журнал, 1982, том 23, номер 1, страницы 160–171
(Mi smj6547)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Конечно-определенные полугруппы с нетривиальными тождествами
Л. М. Шнеерсон Ивановский государственный университет
Аннотация:
Доказано существование алгоритма, распознающего выполнимость по крайней мере одного нетривиального тождества в полугруппе с числом образующих, большим числа определяющих соотношений. Невозможность подобного алгоритма для произвольной конечноопределенной полугруппы вытекает из известных результатов А. А. Маркова. Показано, что наличие нетривиального тождества в подгруппе с числом образующих, большим числа определяющих соотношений, равносильно отсутствию в данной полугруппе свободных подполугрупп ранга $2$. (До сих пор неизвестно, справедливо ли аналогичное утверждение для всякой конечно-определенной полугруппы).
Библ. 11.
Статья поступила: 27.12.1979
Образец цитирования:
Л. М. Шнеерсон, “Конечно-определенные полугруппы с нетривиальными тождествами”, Сиб. матем. журн., 23:1 (1982), 160–171; Siberian Math. J., 23:1 (1982), 124–133
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6547 https://www.mathnet.ru/rus/smj/v23/i1/p160
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 24 |
|