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