则G可以表示为G1和G2的直积，三个群的乘法规则相同。即G=G1G2，G1和G2称为G的直积因子。
3）群G的直积因子G1和G2都是G的不变子群。
4）群G的商群G/ G1与G2同构。
有一个可用的函数和一个可用的操作，格式如下：
登录