ИНВАРИАНТНОЕ ПОДМНОЖЕСТВО

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

О. А. Иванова.