1 . 已知为实数集的一个非空子集，称是一个加法群，如果连同其上的加法运算满足如下四条性质：
①，；
②，；
③，，使得；
④，，使得．
例如是一个无限元加法群，是一个单元素加法群．
(1)令，，分别判断，是否为加法群，并说明理由；
(2)已知非空集合，并且，有，求证：是一个加法群；
(3)已知非空集合，并且，有，求证：存在，使得．

2 . 定义1:对于一个数集，定义一种运算，对任意都有，则称集合关于运算是封闭的（例如:自然数集对于加法运算是封闭的）.
定义2:对于一个数集，若存在一个元素，使得任意，满足，则称为集合中的零元，若存在一个元素，使得任意，满足，则称为集合中的单位元（例如:0和1分别为自然数集中的零元和单位元）.
定义3:对于一个数集，如果满足下列关系:
①有零元和单位元；
②关于加、减、乘、除（除数不为0）四种运算都是封闭的；
③对于乘法和加法都满足交换律和结合律，且满足乘法对加法的分配律，则称这个数集是一个数域.
(1)指出常用数集中，那些数集可以构成数域（不需要证明）；
(2)已知集合，证明:集合关于乘法运算是封闭的；
(3)已知集合，证明:集合是一个数域.

3 . 给出以下两个数学运算（符号）定义：
①若函数，则，其中称为函数的次迭代.如：.
②对于正整数，若被除得的余数为，则称同余于，记为.如：.
(1)若函数，求；
(2)设是一个给定的正整数，函数记集合.
①证明：当时，；
②求并猜想.

7 . 函数、的定义域均为，若对任意两个不同的实数，，均有或成立，则称与为相关函数对.
(1)判断函数与是否为相关函数对，并说明理由；
(2)已知与为相关函数对，求实数的取值范围；
(3)已知函数与为相关函数对，且存在正实数，对任意实数，均有.求证：存在实数，使得对任意，均有.

8 . 已知S是全体复数集的一个非空子集，如果，总有，则称S是数环．设是数环，如果①内含有一个非零复数；②且，有，则称是数域．由定义知有理数集是数域．
(1)求元素个数最小的数环；
(2)证明：记，证明：是数域；
(3)若是数域，判断是否是数域，请说明理由．

10 . 已知整数，集合，，，满足，对任意的，都有且.记.
(1)若，写出两组满足条件的集合，并写出相应的；
(2)证明：；
(3)求的所有可能取值.