АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1981 г.

Чтобы отображение было гомоморфизмом, не обх о д у о эддрд&ецр равенства n ^ s - /г, с . Тогда s - m rs r , р= /Ь р?7 • Следовательно, я , /п.г а - { . Но для того, чтобы и л * £ * образовали базис полугруппы & , необходимо чтобы число было делителем и числа ■£ , и числа ±- . Но так как оба числа в ларах ( / , <£ ) и ( 5 , t ) не могут быть одновременно сколь угодно большими (иначе длину слов а / && и a.s £ 1 можно уменьшить о помощью соотношений), то и в этом случае группа автоморфизмов полугруппы S будет конечна, что и завершает доказательство теорем# 2 . список испадьзошв$о$ Щ Е ?Д ТШ [1Л Клиффорд А ., Престон Г. Алгебраическая теория полугрупп,- М.: Мир, 1972. - 133 -