Выпуклая подгруппа

подгруппа H (частично) упорядоченной группы, G, являющаяся выпуклым подмножеством G относительно заданного отношения порядка. Инвариантные выпуклые подгруппы и только они являются ядрами гомоморфизмов частично упорядоченных групп, сохраняющих порядок. Подгруппа упорядочиваемой группы, выпуклая при всяком линейном упорядочении, наз. абсолютно выпуклой подгруппой, а выпуклая при нек-ром ее линейном порядке - относительно выпуклой подгруппой. Пересечение всех нееднничных относительно выпуклых подгрупп упорядочиваемой группы есть абсолютно выпуклая подгруппа, объединение всех собственных относительно выпуклых подгрупп также есть абсолютно выпуклая подгруппа. Абелевы группы без кручения не имеют нетривиальных абсолютно выпуклых подгрупп. Подгруппа Ндоупорядочиваемой группы Gабсолютно выпукла тогда и только тогда, когда для любых элементов [img: http://localhost:8080/file/010322-226.jpg], [img: http://localhost:8080/file/010322-227.jpg] пересечение [img: http://localhost:8080/file/010322-228.jpg] не пусто, где [img: http://localhost:8080/file/010322-229.jpg] - минимальная инвариантная подполугруппа G, содержащая х. Выпуклая l-подгруппа Н структурно упорядоченной группы изолирована, т. е. для любого натурального пиз [img: http://localhost:8080/file/010322-230.jpg] следует [img: http://localhost:8080/file/010322-231.jpg].