释
光滑概形
guāng huá gài xíng · ㄍㄨㄤ ㄏㄨㄚˊ ㄍㄞˋ ㄒㄧㄥˊ
修撰于 2026-06-30 02:37:40
音义
| 拼音 | guāng huá gài xíng |
|---|---|
| 字母 | guang hua gai xing |
| 首字母 | ghgx |
| 注音 | ㄍㄨㄤ ㄏㄨㄚˊ ㄍㄞˋ ㄒㄧㄥˊ |
| 注音符号 | ㄍㄨㄤ ㄏㄨㄚ ㄍㄞ ㄒㄧㄥ |
广训
光滑概形(smooth scheme)是光滑代数簇概念的推广。设X是域k上的有限型概形，若k'是k的代数闭包，X的基扩张Xk'是正则概形，则称X是光滑概形。一个域的最大代数扩域。若域F的代数扩域Ω为代数闭域，则称Ω为域F的一个代数闭包。一个域F的代数闭包总是存在的，并且在F同构意义下惟一。这个基本定理来自施泰尼茨(Steinitz，E.)。设K是域F的扩域，在K中F上代数元的全体组成的子域A称为F在K内的代数闭包，它是F在K内的最大代数扩域。特别地，若F=A，则称F在K内是代数闭的。