比如mod 3的群，1*1 = 1 mod 3，2*2 = 1 mod 3
所以，根号2无解，根号1两个解？选1还是选2？
是不是离散群都不好讲能不能开根号？只有连续群如SO2之类可以开根号？
--
FROM 223.72.193.*