Ви є тут

Дополняемость в решетке подгрупп и групповая дополняемость