«двойной модуль»

мат. double module

- 1) То же, что бимодуль.2) Пара подгрупп Ни Fгруппы G, участвующая в разложении группы Gна двойные смежные классы, т. е. в разбиении G на непересекающиеся подмножеетва вида HxF, где х- элемент из G. Подмножество HxF наз. смежным классом группы Gпо Д. м. ( Н, F), или двойным смежным классом группы G ло модулю ( Н, F). Напр., разложение группы порядка 24 на двойные смежные классы по модулю ( Н, F), где Ни F- ее силовские 2- и 3-подгруппы, состоит из одного смежного класса по Д. м. ( Н, F). Любой двойной смежный класс HxF состоит из смежных классов группы Gпо подгруппе Fи одновременно из смежных классов группы Gпо подгруппе Н, где|U:V| означает индекс подгруппы Vв группе U.