* If the quotient group formula_13 is cyclic, G is abelian (and so G = Z(G), and formula_13 is trivial).
* Если факторгруппа formula_4 является циклической, G явяется абелевой (так что G = Z(G), и formula_4 тривиальна).