Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
26 Июн '16 20:48
показан
843 раза
обновлен
26 Июн '16 22:35
Это очевидно, потому что $%h=a^{-1}b^{-1}ab\in H=[G,G]$%, откуда $%aHbH=abH=bahH=baH=bHaH$%, то есть факторгруппа по коммутанту абелева.