Примитивная нормальность и примитивная связность класса инъективных полигонов

Изучаются моноиды, над которыми класс всех инъективных полигонов примитивно нормален и примитивно связен. Доказывается, что класс всех инъективных полигонов над любым моноидом примитивно нормален; класс всех инъективных полигонов над реверсивным справа моноидом $S$ примитивно связан тогда и только тогда, когда $S$ — группа; если моноид $S$ не является группой и класс всех инъективных полигонов примитивно связан, то максимальный относительно включения собственный подполигон полигона ${}_SS$ не будет конечно порождён.