亨澤爾化

亨澤爾化(Henselization)賦值域的最小亨澤爾擴張.設(K,φ)是賦值域(F,φ)的一個賦值擴張,若滿足下列條件,則稱(K,φ)是(F,φ)的一個亨澤爾化:1. (K,φ)是個亨澤爾域.2. K是F的一個代數擴張.3.若(K',φ)是(F,φ)的一個亨澤爾擴張,則存在一個惟一的F單一同.任何賦值域(F ,φ)都存在亨澤爾化,而且除滿足上述條件3的F同構外是惟一的.亨澤爾化可以通過分解域而獲得,它是域F上的可分代數擴張.亨澤爾化是原賦值域的緊接擴張.

相關詞條

熱門詞條

聯絡我們