Фактор-група: відмінності між версіями

Легко провіритиперевірити, що це множення не залежить від вибору елементів в класах сумжностісуміжності, тобто якщо <math>aH=a'H</math> і <math>bH=b'H</math>, то <math>abH=a'b'H</math>.

Воно визначає [[алгебраїчна структура|структуру групи]] на множині класів суміжності, а одержана група називаєтясяназивається факторгрупою <math>G</math> по <math>H</math>.