全正元

设F是域K的子集，对于K的加法和乘法运算，F也做成一个域，则称F是K的一个子域，K是F的一个扩域，记作K/F，称K/F为一个域扩张。设 ，E/F和K/E都是域扩张，则称E是K/F的一个中间域。