数域的性质:
任何数域都包含有理数域Q。即Q是最小的数域。
证明:F必有一个非零元素a。
![](https://video.ask-data.xyz/img.php?b=https://iknow-pic.cdn.bcebos.com/9c16fdfaaf51f3dea1c1e6f186eef01f3a297937?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_600%2Ch_800%2Climit_1%2Fquality%2Cq_85%2Fformat%2Cf_auto)
由于F为数环,所以0 = a - a属于F;1 = a/a 属于F;0和1都属于F,那么2 = 1+1;3 = 2+1自然数N都属于F;-n = 0 - n 也属于F;故整数集合Z都属于F;那么a/b 也属于F(其中a,b为整数)。这样,任何一个数域都包含Q。
![](https://video.ask-data.xyz/img.php?b=https://iknow-pic.cdn.bcebos.com/08f790529822720ecdb2bb6f69cb0a46f21fab23?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_600%2Ch_800%2Climit_1%2Fquality%2Cq_85%2Fformat%2Cf_auto)
数域定义:设F是一个数环,如果对任意的a,b∈F而且a≠0, 则b/a∈F;则称F是一个数域。例如有理数集Q、实数集R、复数集C等都是数域。
著名的域还有:Klein四元域。