Назовём произведением левых смежных классов $aH$ и $bH$ класс $(ab)H$. 1) Докажите, что это определение корректно тогда и только тогда, когда подгруппа $H$ нормальна. 2) Докажите, что в этом случае множество левых смежных классов образует группу относительно введённой операции.
Чтобы послать решение задачи на проверку, или задать вопрос по условию, войдите на сайт под своим аккаунтом.