设交换群G由a1.a2.a3.a4生成,它们之间有联系--求G的不变量