logo
ответы на экзамен алгебра

Смежные классы по подгруппе. Теорема Лагранжа.

Пусть g1,g2 G, HcG.

Предположим g1 ~ g2,если:

  1. g2-1g1 H, или

  2. g2 g1H, или

  3. существует h H, g1=g2H

Таким образом, множество всех элементов группы G разбивается на классы. Множество элементов, ~ элементу g имеет вид: [g]=gh={gh;h H}

Это множество называется левым смежным классом элемента g по подгруппе H.

Аналогично для правого смежного класса.

Теорема Лагранжа: Пусть G конечное множество, H его подмножество. Тогда порядок G равен порядку H, умноженному на количество правых и левых смежных классов.