хм, ну хотя да, я уже как-то успел подзабыть, что G' - нормальная подгруппа... ) надо будет учесть это обстоятельство...
-- Чт окт 28, 2010 16:09:30 --Тогда имеем: G/G' - абелева, если

но переход от этого к этому

для меня не вполне очевиден - надо будет доказать отдельно.
Ну а в остальном вроде все сходится - осталось показать, что
![$\forall g,h \in G: \exists a,b \in G: gh = hg[a,b] $ $\forall g,h \in G: \exists a,b \in G: gh = hg[a,b] $](https://dxdy-04.korotkov.co.uk/f/3/9/2/39246da4930a7609cc2a886bf3df4e5082.png)
,
что действительно решабельно.