对只有无限群才能作为自己的真子群，集合论里面有跟自己真子集一一对应的的集合是无限集合，
【 在 gtgtjing 的大作中提到: 】
: 共轭变换是一一对应，阶肯定一样
: 不过原题并没要求阶一样还是不一样，只要求共轭变换成一个真子群
--
FROM 106.121.8.*