扩域，是最小数域扩张，比如有理数域Q上添加一个无理数\( \sqrt{2} \)，形成一个新的域\(\mathcal{Q}(\sqrt{2})\)，原来有理数的运算域扩张的域\(\mathcal{Q}(\sqrt{2})\)是一样的，域内任何数都 可以表示为\(a+b\cdot \sqrt{2} (a,b \in \mathcal{Q}) \)