Автоморфізми фінітарного фактор-степеня нескінченної симетричної групи

Анотація

Рассматривается полугруппа $FP^{+}_{\text{fin}}(\mathfrak{S}_{\text{fin}}(\mathbb{N}))$ — финитарная фактор-степень финитарной симметрической группы счетного порядка. Доказано, что все автоморфизмы $FP^{+}_{\text{fin}}(\mathfrak{S}_{\text{fin}}(\mathbb{N}))$ индуцируются подстановками из $\mathfrak{S}_{\text{fin}}(\mathbb{N})$.