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

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

9 . 设非空数集M，对于M中的任意两个元素，如果满足：①两个元素之和属于M   ②两个元素之差属于M.③两个元素之积属于M   ④两个元素之商（分母不为零）也属于M.定义：满足条件①②③的数集M为数环（即数环对于加、减、乘运算封闭）；满足④的数环M为数域（即数域对于加、减、乘、除运算封闭）.
(1)判断自然数集N、整数集Z、有理数集Q、实数集R、复数集C是不是数环，假如该集合是数环，那么它是不是数域（无需说明理由）；
(2)若M是一个数环，证明：；若S是一个数域，证明：；
(3)设，证明A是数域.