Группы G- подмножество Нгруппы G, содержащее вместе с каждым своим элементом hвсе сопряженные с hв Gэлементы, т. е. все элементы вида g-1 hg. Инвариантная подполугруппа — подполугруппа, являющаяся одновременно инвариантным подмножеством. О. А. Иванова.