Фактор-група

(Перенаправлено з Факторгрупа)

Фактор-група[1] — в теорії груп, група класів еквівалентності відносно деякого відношення еквівалентності. Тобто, фактор-множина, що має властивості групи.

Визначення ред.

Нехай   — група, і   — її нормальна підгрупа, тобто для довільного   його класи суміжності збігаються:

 

Тоді на класах суміжності   в   можна ввести множення:

 

Легко перевірити, що це множення не залежить від вибору елементів у класах суміжності, тобто якщо   і  , то  . Воно визначає структуру групи на множині класів суміжності, а одержана група називається фактор-групою   по  .

Фактор-група позначається  .

Властивості ред.

  • Теорема про гомоморфізм: Для довільного гомоморфізму  
 ,
тобто фактор-група   за ядром   ізоморфна її образу   в  .
  • Відображення   задає природний гомоморфізм  .
  • Порядок   рівний індексу підгрупи  . У випадку скінченної групи   він рівний  .
  • Якщо   абелева, нільпотентна, циклічна або скінченнопороджена, то і   буде мати такі ж властивості.
  •   ізоморфна тривіальній групі ( ),   ізоморфна  .

Приклади ред.

Див. також ред.

Література ред.

Українською
  • (укр.) Гаврилків В. М. Елементи теорії груп та теорії кілець. — І.-Ф.  : Голіней, 2023. — 153 с.
Іншими мовами


  1. Термін у словниках. Архів оригіналу за 16 квітня 2021. Процитовано 4 квітня 2022.