В монографии представлены основные элементы классической теории регулярных подмножеств (языков) свободных моноидов. Главная цель монографии состоит в изложении теории объектов более широкого класса - рациональных подмножеств произвольных моноидов, в частности групп. Даны основные свойства рациональных подмножеств. Рассмотрены рациональные подмножества свободных и свободных абелевых групп. Изучен вопрос о том, в каких группах рациональные подмножества образуют булеву алгебру. Исследованы алгоритмические проблемы, связанные с рациональными подмножествами. Вычислены асимптотические плотности рациональных подмножеств свободных абелевых групп. Доказано, что собственные нетривиальные вербальные подмножества свободных неабелевых групп нерациональны. В заключение приводится краткий обзор ряда других результатов. Монография адресована специалистам по теории групп и теории формальных языков. Может быть полезной для студентов, магистрантов и аспирантов, изучающих эти предметы, а также для преподавателей соответствующих курсов.
Понятие P-стабильности является частным случаем обобщённой стабильности полных теорий. Изучаются инъективные S-полигоны с P-стабильной теорией. Доказывается, что класс инъективных S-полигонов (P,1)-стабилен только в том случае, когда моноид S одноэлементен. Кроме того, описываются коммутативные и линейно упорядоченные моноиды S, класс инъективных S-полигонов над которыми (P,s)-, (P,a)- и (P,e)-стабилен.