Wiki. 代数闭包 [代数闭包]

域 $F$ 的代数闭包是满足如下条件的域扩张 $F\hookrightarrow\overline{F}$:

• $F \hookrightarrow \overline{F}$ 为代数扩张;
• $\overline{F}$ 为代数闭域.

代数闭包在同构意义下唯一, 但可能有非平凡自同构.