作()，是多项式环[]的分式域。它是域的扩域，次数为无限大。
基本性质.设有域扩张，则扩域与有相同的加法和乘法单位元。加法群 (, +) 是 (,+) 的一个子群，乘法群 (, ·) 是 (, ·) 的一个子群。因此，与有相同的特征。设有域扩张及某个中间域，则域扩张和的次数乘积等于的次数：
代数元与超越元.给定域扩张，如果中一个元素是某个以中元素为系数的（非零）多项式（以下简称为多项式）的根，则称是上的一个代数元，否则称其为超越元。如果中每个元素都是上