证明子域的方法

证明子域用假设法。设F是域P的非空子集，如果P的加法和乘法可看作F的加法和乖法，且对于这两个代数运算，F也构成一个域，则称F为P的一个子域或子体。例如，有理数域是实数域的一个子域，而实数域又是复数域的一个子域。