无限的可解SD_3-群

设Ｇ是个无限的多重循环群，若Ｇ的任意指数有限的真子群都是３元生成的，则Ｇ（６）＝１。