主題
Search

阿貝爾擴張


如果 F代數 伽羅瓦擴張域 K 使得擴張的 伽羅瓦群阿貝爾群,那麼 F 被稱為 K 的阿貝爾擴張。

例如,

 Q(sqrt(2))={a+bsqrt(2)}

是新增平方根 2 的有理數域,是 Q 的二次擴張。它的 伽羅瓦群 有兩個元素,非平凡元素將 sqrt(2) 傳送到 -sqrt(2),並且是阿貝爾群。相比之下,六次擴張

 F=Q(2^(1/3),sqrt(3)i)={a_1+a_22^(1/3)+a_32^(2/3) 
 +a_4sqrt(3)i+a_52^(1/3)sqrt(3)i+a_62^(2/3)sqrt(3)i}

x^3-2分裂域,並且不是 Q 的阿貝爾擴張。實際上,F 的六個自同構,固定 Q,由 x^3-2 的三個根的排列定義。因此,在這種情況下,伽羅瓦群 是三個字母的 對稱群,它是 非阿貝爾群

在作為多項式 p(x)分裂域 的阿貝爾擴張中,p 的根是相關的。例如,考慮一個 分圓域Q(zeta),其中 zeta 是一個 本原單位根 zeta^p=1 並且 p 是一個 素數。那麼伽羅瓦群是 迴圈群 Z_p 的乘法群。

數論中的一個經典定理指出,有理數的阿貝爾擴張必須是 分圓域 的一個 子域。阿貝爾擴張在某種意義上是最簡單的擴張型別,因為阿貝爾群比更一般的群更容易理解。阿貝爾擴張 K 的一個好的性質是,對於 F 的任何中間子域 E,其中 F subset E subset K,必須是 F伽羅瓦擴張域,並且根據 伽羅瓦理論基本定理,也是阿貝爾擴張,


另請參閱

代數擴張, 分圓域, 擴張域, 伽羅瓦理論基本定理, 伽羅瓦擴張域, 伽羅瓦群, 數域

此條目的部分內容由 託德·羅蘭 貢獻

此條目的部分內容由 尼古拉斯·佈雷 貢獻

使用 探索

請引用為

佈雷,尼古拉斯; 羅蘭,託德; 和 韋斯坦因,埃裡克·W. “阿貝爾擴張。” 來自 Web 資源。 https://mathworld.tw/AbelianExtension.html

主題分類