Выпуклая подгруппа
Вы́пуклая подгру́ппа, подгруппа (частично) упорядоченной группы , являющаяся выпуклым подмножеством относительно заданного отношения порядка. Инвариантные выпуклые подгруппы и только они являются ядрами гомоморфизмов частично упорядоченных групп, сохраняющих порядок. Подгруппа упорядочиваемой группы, выпуклая при всяком линейном упорядочении, называется абсолютно выпуклой подгруппой, а выпуклая при некотором её линейном порядке – относительно выпуклой подгруппой. Пересечение всех неединичных относительно выпуклых подгрупп упорядочиваемой группы есть абсолютно выпуклая подгруппа, объединение всех собственных относительно выпуклых подгрупп также есть абсолютно выпуклая подгруппа. Абелевы группы без кручения не имеют нетривиальных абсолютно выпуклых подгрупп. Подгруппа доупорядочиваемой группы абсолютно выпукла тогда и только тогда, когда для любых элементов , пересечение не пусто, где – минимальная инвариантная подполугруппа , содержащая . Выпуклая –подгруппа структурно упорядоченной группы изолирована, т. е. для любого натурального из следует .