定義
到當前書本上出現過三種對域的不同定義,第一種定義:設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的一個
子域,子域也是一個域。一般情況下,我們均是研究典型域下的子域。子域的判定條件:子環+任意非零元素都有逆元。