Рассматривается полугруппа FP+fin(Sfin(N)) — финитарная фактор-степень финитарной симметрической группы счетного порядка. Доказано, что все автоморфизмы FP+fin(Sfin(N)) индуцируются подстановками из Sfin(N).
We consider a semigroup FP+fin(Sfin(N)) defined as a finitary factor power of a finitary symmetric group of countable order. It is proved that all automorphisms of FP+fin(Sfin(N)) are induced by permutations from S(N).