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

7 . 阅读以下材料，判断下列命题的真假
在复数域内，大小成为了没有意义的量，那么我们能否赋予它一个定义呢.在实数域内，我们通常用绝对值来描述大小，而复数域中也相应的有复数的模长来代替绝对值，于是，我们只需定义复数的正负即可.我们规定复数的“长度”即为模长，规定在复平面x轴上方的复数为正，在x轴下方的复数为负，在x轴上的复数即为实数大小.“大小”用符号+“长度”表示，我们用[z]来表示这个复数的“大小”
例如，，，.
①在复平面上的复数的大小一定大于在它正下方的复数大小；
②在复平面内做一条直线，对应的点在该直线上，则的最小值为；
③复数；
④在复平面上表现为一个半圆；
⑤无法在复平面上找到满足方程的点.
其中，正确的序号为__________