域扩张
域扩张(field extensions)是数学分支抽象代数之域论中的主要研究对象,基本想法是从一个基域开始以某种方式构造包含它的“更大”的域。域扩张可以推广为环扩张。
设K和L是两个域。如果存在从K到L的域同态ι,则称(L,ι)是K的一个域扩张,记作L/K或K⊆L、K⊂L。K称为域扩张的基域,L称为K的扩域。如果某个域F既是K的扩域,又是L的子域,则称域扩张F/K是域扩张L/K的子扩张,称F(域扩张L/K的)中间域。
域扩张的记法L/K只是形式上的标记,不表示存在任何商环或商群等代数结构。有些文献中也会将域扩张记为L:K。