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

6 . 对于定义域在上的函数，定义．设区间，对于区间上的任意给定的两个自变量的值、，当时，总有，则称是的“函数”．
(1)判断函数是否存在“函数”，请说明理由；
(2)若非常值函数是奇函数，求证：存在“函数”的充要条件是存在常数，使得；
(3)若函数与函数的定义域都为，且均存在“函数”，求实数的值．

7 . 如果函数满足：对于任意，均有（m为正整数）成立，则称函数在D上具有“m级”性质．
(1)分别判断函数，，是否在R上具有“1级”性质，并说明理由；
(2)设函数在R具有“m级”性质，对任意的实数a，证明函数具有“m级”性质；
(3)若函数在区间以及区间（）上都具有“1级”性质，求证：该函数在区间上具有“1级”性质．