О метабелевости канонических факторгрупп гомеоморфизмов прямой, сохраняющих ориентацию

Для групп $G \subseteq \operatorname{Homeo}_+(\mathbb R )$ гомеоморфизмов прямой, сохраняющих ориентацию, с непустым минимальным множеством получен новый критерий существования проективно инвариантной борелевской меры, конечной на компактах. Установлена эквивалентность факта существования проективно инвариантной борелевской меры, конечной на компактах, метабелевости канонической факторгруппы $G/H_G$, где элементами нормальной подгруппы $H_G$ являются гомеоморфизмы из группы $G$, для которых все точки минимального множества являются неподвижными. Показано, что для групп гомеоморфизмов $G \subseteq \operatorname{Homeo}_+(\mathbb R )$, сохраняющих ориентацию, с непустым минимальным множеством в пространстве факторгрупп $G/H_G$ класс метабелевых групп совпадает с классом групп с конечным нормальным рядом, факторы которых не содержат свободных подполугрупп с двумя образующими, а класс коммутативных групп совпадает с классом групп, не содержащих свободных подполугрупп с двумя образующими. Это позволяет для класса исходных разрешимых групп гомеоморфизмов $G \subseteq \operatorname{Homeo}_+(\mathbb R )$, сохраняющих ориентацию, с непустым минимальным множеством установить метабелевость факторгруппы $G/H_G$. Для исходной группы гомеоморфизмов $G \subseteq \operatorname{Homeo}_+(\mathbb R )$, сохраняющих ориентацию, с непустым минимальным множеством, с нетривиальной факторгруппой $G/H_G\ne\langle e\rangle$ и без свободно действующего гомеоморфизма устанавливается ее комбинаторная сложность – такая группа не является группой с конечным нормальным рядом, факторы которых не содержат свободных подполугрупп с двумя образующими.
Библиография: 16 названий.

группы гомеоморфизмов прямой, канонические факторгруппы, метабелевость