以下性质证明可见Rotman的《抽象代数基础教程》第三版的3.2节下载地址请见:下载电子版pdf子域的定义以下是它的一些性质主子域的定义