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