Zn*定义及判断

Zn*是Zn中所有可逆元素的模n同余类所构成的群，例如Z*12中的元素就是{[1],[5],[7],[11]}，就是与12互质的元素。
如果(Zn*,x)的n是质数并且大于8，那么(Zn*,x)是循环群。

模n同余群，比如Z14，就是所有除以14余数为1的整数的集合、所有除以14余数为2的整数的集合、所有除以14余数为3的整数的集合……和所有除以14余数为13的整数的集合，这些集合凑在一起形成的一个集合，并且在这个外层集合上定义一个+法运算，这就是(Z14,+)，是一个群，然后如果是(Zn,x)，就是在所有这些集合上定义乘法运算。然后(Z*14,+)就是这些元素（小的集合）里面，可以找到逆元的那些元素，把它们拿出来重新放到一个群里然后定义加法，就是Z*14。