Q-теории конечно порожденных групп

Q-теория класса групп (или квазиэквациональная теория) --- это множество всех квазитождеств, истинных в каждой группе из данного класса. Монография посвящена систематическому исследованию квазимногообразий групп и их Q-теорий. Существенное внимание уделено вопросам независимой акиоматизируемости квазимногообразий, строению решеток и полугруппы квазимногообразий. Вычислены аксиоматические ранги Q-теорий свободной группы, группы с одним определяющим соотношением, свободной разрешимой группы, конечно порожденной нильпотентной группы без кручения, класса всех правоупорядочиваемых групп и некоторых других. Изложены методы вложения счетных групп в конечно порожденные группы из данного квазимногообразия. Излагаются и используются методы комбинаторной теории групп, техника сплетений групп, элементы математической логики. Монография предназначена для специалистов в области алгебры и математической логики, аспирантов, студентов старших курсов университетов.