则G可以表示为G1和G2的直积，三个群的乘法规则相同。即G=G1G2，G1和G2称为G的直积因子。

3）群G的直积因子G1和G2都是G的不变子群f891855d856381e6c119b66adbe9ff21。

4）群G的商群G/ G1与G2同构。

有一个可用的函数（试读）...