到当前书本上出现过三种对域的不同定义,第一种定义:设F是一个有
单位元e1(≠0)的交换环(即对于
乘法运算可交换)。如果F中每个非
零元都可逆,称F是一个域。比如有理数域,剩余类域,
典型域,
有理函数域,
半纯函数域等等。
第二种定义,设<R,+,* >;是环,如果<R,+>和<R-{0},*>都是
交换群(“0”为<R,+>的
幺元)且满足分配律,则称<R,+,*>是域。比如:有限整数环<R,+,*>必是域。
第三种定义:设F是一个含有0和1的数集。如果F对于数的
四则运算都封闭,那么称系统(F;+,-,×,÷)为一个
数域。
有理数域(Q,+,*),
实数域(R,+,*),
复数域(C,+,*),连续函数域(R^R,+,·)etc
但
整数集Z不是域,因为1/x不是整数。(
整数集Z是一个环,更准确的说是
整环)
f是F的子环,且对于任意非零元素都有
逆元,则f为F的一个
子域,子域也是一个域。一般情况下,我们均是研究典型域下的子域。子域的判定条件:子环+任意非零元素都有逆元。