Обергруппа - это группа, в которой существует подгруппа, являющаяся нормальной подгруппой для любой другой подгруппы в группе. Другими словами, в обергруппе любая подгруппа является нормальной. Обергруппа также называется нормальной вложенной группой.