1 . 对于非空集合，定义其在某一运算（统称乘法）“×”下的代数结构称为“群”，简记为．而判断是否为一个群，需验证以下三点：
1.（封闭性）对于规定的“×”运算，对任意，都须满足；
2.（结合律）对于规定的“×”运算，对任意，都须满足；
3.（恒等元）存在，使得对任意，；
4.（逆的存在性）对任意，都存在，使得．
记群所含的元素个数为，则群也称作“阶群”．若群的“×”运算满足交换律，即对任意，，我们称为一个阿贝尔群（或交换群）．
(1)证明：所有实数在普通加法运算下构成群；
(2)记为所有模长为1的复数构成的集合，请找出一个合适的“×”运算使得在该运算下构成一个群，并说明理由；
(3)所有阶数小于等于四的群是否都是阿贝尔群？请说明理由．

2 . 设M是由复数组成的集合，对M的一个子集A，若存在复平面上的一个圆，使得A的所有数在复平面上对应的点都在圆内或圆周上，且中的数对应的点都在圆外，则称A是一个M的“可分离子集”．
(1)判断是否是的“可分离子集”，并说明理由；
(2)设复数z满足，其中分别表示z的实部和虚部．证明：是的“可分离子集”当且仅当．