二、数域的性质定理任意数域P都包括有理数域Q：即，有理数域为最小数域证明：设P为任意一个数域．由定义可知，OeP, 1eP.于是有VmEZ+, m=1+1+...+1EP81.1数域区下§1.1 数域 二、数域的性质定理 任意数域P都包括有理数域Q． 即，有理数域为最小数域． 证明： 设P为任意一个数域．由定义可知， 于是有 0 1 .   P P ， m Z m P , 1 1 1 +   = + + + 