zoukankan html css js c++ java

有限域伽罗瓦域

小结

1、根的置换：这些根所满足的任何代数方程，在置换之后也依然成立。

2、

x^3-2=0
在Q上无解，
域扩张field extension至R？
===》
求x在fieldA上f(x)=0的解，(注意，讨论解一定要指明讨论的域field)

===>放到扩张域fieldB上讨论
因为是更大的域，所以，在小域上解与解满足的关系，而非单个解满足的关系，在大域上仍然成立

https://zh.wikipedia.org/wiki/伽羅瓦理論

在经典问题上的应用

伽罗瓦理论的诞生最初是由于如下的现在称之为阿贝尔-鲁菲尼定理的问题：

“

为什么五次及更高次的代数方程没有一般的代数解法，即这样的方程不能由方程的系数经有限次四则运算和开方运算求根？

”

伽罗瓦理论不仅对于这个问题提供了一个漂亮的解答，而且详细的解释了为什么四次及更低次方程有代数解，以及它们的代数解为什么是那样的形式。

伽罗瓦理论还给出了一些有关尺规作图的问题的清晰洞察。它给出了所有可以尺规作图的长度比的一个优雅的描述。这样，一些经典几何问题的解答变得相对容易：

“

哪些正多边形是可以尺规做出的？

”

“

为何不能三等分任意角？

”

伽罗瓦理论的置换群描述

如果我们给定一个多项式，它的一些根可能是被不同的代数方程联系起来的。例如，有两个根A和B，它们满足方程A² + 5B³ = 7。伽罗瓦理论的核心思想是考虑具有以下性质的根的置换：这些根所满足的任何代数方程，在置换之后也依然成立。一个重要的限制条件是我们要把代数方程的系数限定为有理数。（其实也可以把系数限定在其他的一个给定的域，但是为了简单起见，我们限制在有理数域。）

这些置换形成了一个置换群，也称为这个多项式（在实数域上）的伽罗瓦群。这可以很清晰的举例说明。

第一个例子：二次方程

考虑如下的一元二次方程：

x^2 - 4x + 1 = 0

应用一元二次方程的求根公式，我们可以求出它的两个根为

A = 2 + sqrt{3}

B = 2 - sqrt{3}

A和B满足的代数方程例如：

egin{cases} A + B = 4\ AB = 1 end{cases}

显然在这些方程中，如果我们交换A和B，我们同样能得到真命题。例如，方程A + B = 4简单的变成了B + A = 4。进一步的，这对于A和B满足的所有可能的代数方程都成立。证明这个结论需要对称多项式的理论。

我们可以总结出，多项式x² − 4x + 1的伽罗瓦群由两个置换构成：保持A和B不变的恒同变换，以及交换A与B位置的对换。它是一个二阶循环群，因此同构于Z/2Z。

这里会有人产生疑问：A和B同样满足另一个代数方程 $A - B - 2sqrt{3} = 0$

类似地可以讨论任意二次多项式ax² + bx + c,其中a, b和c都是有理数。

如果多项式只有一个根，例如x² − 4x + 4 =(x−2)²,那么伽罗瓦群是平凡的；也就是说，它只包括恒同变换。
如果多项式有两个不同的有理根，例如x² − 3x + 2 =(x−2)(x−1)，伽罗瓦群同样是平凡的。
如果多项式有两个无理根（包括根是复数的情况），那么伽罗瓦群包括上面例子中所描述的两个置换。

第二个例

考虑多项式

x^4-10x^2+1

也可以写成

(x^2-5)^2-24

我们同样希望在有理数域上描述这个多项式的伽罗瓦群。这个多项式有四个根：

A = sqrt{2} + sqrt{3}

B = sqrt{2} - sqrt{3}

C = -sqrt{2} + sqrt{3}

D = -sqrt{2} - sqrt{3}

{

x^4-10x^2+1
(x^2-5)^2-24
x^2=5+_2/6
x=+_/2+_/3

}

这四个根有24种可能的排列，但这些排列并不都是伽罗瓦群的元素。伽罗瓦群的元素必须保持所有A, B, C和D满足的有理系数代数方程。这样的方程例如：

A + D = 0.

因此置换

(A, B, C, D)→(A, B, D, C)

是不允许的，因为它把真等式A + D = 0变成了假等式A + C = 0，因为A + C = 2√3 ≠ 0.

这些根满足的另一个等式为：

(A + B)² = 8.

这也会去掉一些置换，例如：

(A, B, C, D)→(A, C, B, D)。

如此继续下去，我们可以求出满足所有等式的置换只有：

(A, B, C, D)→(A, B, C, D)

(A, B, C, D)→(C, D, A, B)

(A, B, C, D)→(B, A, D, C)

(A, B, C, D)→(D, C, B, A),

因此伽罗瓦群同构于克莱因四元群。

https://en.wikipedia.org/wiki/Galois_theory

Second example

Consider the polynomial

{displaystyle x^{4}-10x^{2}+1,}

which can also be written as

{displaystyle left(x^{2}-5 ight)^{2}-24.}

We wish to describe the Galois group of this polynomial, again over the field of rational numbers. The polynomial has four roots:

{displaystyle {egin{aligned}A&={sqrt {2}}+{sqrt {3}},\B&={sqrt {2}}-{sqrt {3}},\C&=-{sqrt {2}}+{sqrt {3}},\D&=-{sqrt {2}}-{sqrt {3}}.end{aligned}}}

There are 24 possible ways to permute these four roots, but not all of these permutations are members of the Galois group. The members of the Galois group must preserve any algebraic equation with rational coefficients involving $A, B, C and D .$

Among these equations, we have:

{displaystyle {egin{aligned}AB&=-1\AC&=1\A+D&=0end{aligned}}}

It follows that, if $φ is a permutation that belongs to the Galois group, we must have:$

{displaystyle {egin{aligned}varphi (B)&={frac {-1}{varphi (A)}},\varphi (C)&={frac {1}{varphi (A)}},\varphi (D)&=-varphi (A).end{aligned}}}

This implies that the permutation is well defined by the image of $A, and that the Galois group has 4 elements, which are:$

(A, B, C, D) \to (A, B, C, D)

(A, B, C, D) \to (B, A, D, C)

(A, B, C, D) \to (C, D, A, B)

(A, B, C, D) \to (D, C, B, A)

This implies that the Galois group is isomorphic to the Klein four-group.

{

a=/2+/3
b=/2-/3
c=-/2+/3
d=-/2-/3

a=/2+/3
b=/2-/3
c=-b
d=-a

a+d=0 1个表达式，1种替换
b+c=0 1

a^2+b^2=10 4 4个表达式，4种替换
(a+b)^2=8 2
(a-b)^2=12 2 注意(a+b)^2 /= (a-b)^2

过滤排列，遍历首个元素
abcd bc不可以换位、交换 1
badc ad不可以换位、交换 1
cdab 1
dcba 1

}

Galois Theory Home Page https://www.math.upenn.edu/~galois/

Miscellany - Galois Theory https://crypto.stanford.edu/pbc/notes/misc/galois.html

Galois Theory https://math.berkeley.edu/~ribet/114/

【必看】 http://math.ntnu.edu.tw/~li/galois-html/

伽罗瓦短暂的一生，为数学增添了全新的思想，如群、域概念发展成为了许多新的数学分支。特别是还发现了每个代数方程必有反映其特性的置换群存在，从而解决了多年不能解决的用根式解代数方程的可能性的判断问题，创立了“伽罗瓦理论”，并为群论的建立、发展和应用奠定了基础。也使他成为了19世纪伟大的数学家之一。

1830年与1831年，伽罗瓦写出了两篇关于方程论的重要论文，提交给了法国科学院，但因受权威压制，未能发表。直到他死后14年，即1846年，法国数学家刘维尔(Liouville，J.)才发现他的遗作的巨大意义，将他的遗稿汇集出版。1870年，法国数学家若尔当(Jordan，M.E.C.)还根据伽罗瓦的思想写出了《置换与代数方程》一书。[4]

有關 Field Extension 的觀念

在這一節中我們希望說明一些觀念, 這些觀念說實話不容易講清楚, 如果同學無法完全了解也沒有關係, 可以依你所知的概念繼續研讀以下其他的章節. 等到對這些理論有更深一層的體認後或許就能慢慢體會這些觀念了.

在談論 field extension 時有一個很重要的定理, 這個定理是說: 如果 K 是一個 field, p(x) $in$ K[x] 是一個 irreducible polynomial, 則必存在一個 K 的 extension field L使得 p(x) = 0 在 L 中有解 (參見大學基礎代數講義 Theorem 10.3.4). 這個定理的證明大致上就是取 L = K[x]/(p(x)) 這個 field, 而 a = $overline{x}$ $in$ L 就是 p(x) 的一個根. 第一次看到這個證明大部分的同學會對這個簡單的證明充滿了疑惑, 大致上會有兩個疑問:

怎麼找一個多項式的根那麼簡單? 為什麼高中時還要學那麼多解多項式方程式的方法?
這裡的 K 真的包含於 L = K[x]/(p(x)) 嗎? $overline{x}$ 真的是 p(x) = 0 的一個解嗎?

第一個問題比較好回答. 這個定理主要是存在性問題: 只要求找到一個 field 使的 p(x) = 0 在那個 field 中有解. 而從前高中找解是要求在特定的 field 中找解 (如實數 $mathbb {R}$ 或複數 $mathbb {C}$ ) 當然有其困難度. 別忘了這個世界不只有 $mathbb {Q}$ , $mathbb {R}$ , $mathbb {C}$ 這三個 fields.

至於第二個問題較難回答, 我們用一個例子說明一下. 我們都知道 x³ - 2 是 $mathbb {Q}$ [x] 中的一個 irreducible polynomial. 如何找到一個 field 使得 x³ - 2 = 0 在其中有解呢? 假設你不知道這世上有 $mathbb {R}$ 和 $mathbb {C}$ 這個 field, 你會怎麼辦?

代數的方法就是先憑空找一個符號 a 假設是 x³ - 2 的根 (即 a 滿足 a³ = 2). 因為要找到一個 field L 使得 a 和 $mathbb {Q}$ 都在裡面, 所以我們要求 a 和 $mathbb {Q}$ 的元素都相互運算後仍在 L 中. 當然 $mathbb {Q}$ 本身的運算還要保持, 所以我們只要注意 a 本身的自己的運算以及 a 和 $mathbb {Q}$ 的運算即可. 首先對任意的 r $in$ $mathbb {Q}$ , r + a 和 r^.a 到底是什麼呢? 當 r = 0 時 r + a 和 r^.a 當然須分別等於 a 和 0 這樣才能滿足結合率和分配率. 同樣的在結合率和分配率的要求之下當 r $e$ 0 時 r + a 和 r^.a 都不能屬於 $mathbb {Q}$ , 所以我們的 L 中還必須包含 r + a 和 r^.a 這兩種符號 (注意這仍只是符號而不是任何的數). 這裡要注意的是我們為了保持 1 仍為乘法單位元素所以必須把 1^.a 和 a 視為相同. 接下來我們看 a 本身的運算: a + a 和 a^.a 應該是多少呢? 在要求分配率仍成立的前提下由於 a + a = 1^.a + 1^.a = (1 + 1)^.a = 2^.a, 我們不需要新的符號來代表 a + a, 它就是 2^.a (簡記為 2a). 同樣的任意 n 個 a 相加就是 n^.a. 至於 a^.a 我們就需要新的符號, 按慣例就沿用指數的符號將 a^.a 記為 a², 同樣的任意 n 個 a 相乘就記為 aⁿ. L 中若僅有這些符號還不夠成為一個 field (甚至連 ring 都不行), 我們還需要這些符號間的相加相乘. 很快的在分配率, 結合率以及交換率皆須符合的要求下我們發現 L 中必須有

r₀ + r₁^.a + r₂^.a² + ^...+ r_n^.aⁿ

這些符號, 其中 n 是任意非負整數, 而 r₀,..., r_n $in$ $mathbb {Q}$ . 同樣的因為前述規律的要求這些符號之間的相加相乘就和多項式之間的相加相乘一樣 (現在應該可以看出前面那個定理的證明為何會和 K[x] 這個 polynomial ring 有關了吧). 事實上, 我們不需要這麼多符號: 這是因為我們要求 a³ = 2, 所以 a⁴ = 2a, a⁵ = 2a²,... 這樣一直下去我們發現前面那些符號都可以用

r₀ + r₁^.a + r₂^.a²

表示即可. 只用這些次數小於 3 的符號不止所用的符號少, 最重要的是它們的表法唯一. 換言之, 任兩個次數小於 3 的符號只要不相同它們就代表不同的數. 這方面前面任意次數的符號就沒有這優點 (比方說 a⁴ = 2a). 令一方面它們又足夠代表所有的符號: 這是因為 $mathbb {Q}$ 是一個 field 我們可以用長除法 (Euclid's Algorithm 參見大學基礎代數講義 Theorem 7.2.4) 對任意 f (x) $in$ $mathbb {Q}$ [x] 都可找到 h(x), r(x) $in$ $mathbb {Q}$ [x] 使得 f (x) = (x³ - 2)h(x) + r(x) 其中 r(x) = 0 或其次數小於 3. 所以對任意的 f (a) 我們都可以用 r(a) 來表示 (現在大家應該可以看出當初為何會考慮 L = K[x]/(p(x)) 了). 只用到次數小於 3 的符號, 當定義加法時仍延用多項式的加法不會出問題 (因為兩次數小於 3 的多項式相加仍次數小於 3); 但是定義乘法若相乘後次數大於等於 3 怎麼辦? 當然我們就用上述長除法將次數大於等於 3 的符號用次數小於 3 的符號來表示了 (大家可以看出這裡的運算完全和 $mathbb {Q}$ [x]/(x³ - 2) 的運算相同). 所以集合

R = {r₀ + r₁^.a + r₂^.a² | r₀, r₁, r₂ $displaystyle in$ $displaystyle mathbb {Q}$ }

在前述的運算之下就是包含 a 和 $mathbb {Q}$ 且滿足 a³ = 2 最小的 ring. 事實上 R 會是一個 field, 這是由於若 f (x) $e$ 0, f (x) $in$ $mathbb {Q}$ [x] 且 deg(f (x)) < 3, 則因 x³ - 2 是 $mathbb {Q}$ [x] 的 irreducible polynomial, f (x) 和 x³ - 2 必互質. 故由輾轉相除法 (或由 $mathbb {Q}$ [x] 是一個 principle ideal domain 參見大學基礎代數講義 Theorem 7.2.6) 知存在 g(x), h(x) $in$ $mathbb {Q}$ [x] 其中 deg(g(x)) < 3, 使得 f (x)g(x) + (x³ - 2)h(x) = 1; 亦即 f (a)^.g(a) = 1. 也就是說對任意 f (a) $e$ 0 且 f (a) $in$ R 皆存在 g(a) $in$ R 使得 f (a)^.g(a) = 1. 所以 L = R 就是我們要找的 field. 現在可以相信 $mathbb {Q}$ $subseteq$ L 且 a $in$ L 是 x³ - 2 的一個根了吧! 大家應該也可以看出這個 L 和 $mathbb {Q}$ [x]/(x³ - 2) 是 isomorphic. 但是要描述這個 L裡元素間的運算多複雜啊! 還不如直接用 $mathbb {Q}$ [x]/(x³ - 2) 表示更簡明扼要.

了解了找到 extension 使的 x³ - 2 有根的建構方法後, 大家或許會有新的疑問: 我們都知道 x³ - 2 有 3 個根分別是

$displaystyle sqrt[3]{2}$ , $displaystyle sqrt[3]{2}$ ( $displaystyle {frac{-1+sqrt{3} i}{2}}$ ) 和 $displaystyle sqrt[3]{2}$ ( $displaystyle {frac{-1-sqrt{3} i}{2}}$ ),

前面創造出的 a 到底是哪一個呢? 事實上都可以, 就看你怎樣把 a 送到 $mathbb {C}$ 了. 你可以任取上述三個複數之ㄧ和 $mathbb {Q}$ 中元素進行運算, 你會發現和 a 與 $mathbb {Q}$ 中元素運算相同. 所以若有另一個人用 b 來表示 x³ - 2 的一個根, 然後用前述方法造出一個 field, 你不能說 a = b 但是可以肯定的是這兩個 field 是 isomorphic (都 isomorphic to $mathbb {Q}$ [x]/(x³ - 2)).

或許你會有另一個疑問: 從上述觀點 x³ - 2 會有無窮多個根啊! 這不是和我們所認知的一個 n 次多項式至多有 n 個根 (大學基礎代數講義 Theorem 10.3.3) 相衝突嗎? 其實不然, 仔細看看大學基礎代數講義 Theorem 10.3.3 它其實是說在一個固定的 field 中至多有 n 個根. 這是一個很重要的概念: 在 Galois 理論中我們是要在一個固定的 field 中談問題. 雖然 field 是固定的但我們較不在意根長什麼樣子, 而重視的是在這 field 有幾個根. 例如 x³ - 2 在 $mathbb {C}$ 中有三個相異根, 我們就得知有三種方法將 a 送到 $mathbb {C}$ 中. 又例如 x³ - 2 在 $mathbb {Q}$ ( $sqrt[3]{2}$ ) 中僅有一個根 (因為 $mathbb {Q}$ ( $sqrt[3]{2}$ ) 中的元素都是實數, 但 x³ - 2 在 $mathbb {C}$ 中其他兩個根是虛數) 所以我們知道將 a 送到 $mathbb {C}$ 後所得的三個 fields 是相異的.

從上述的情況得知, 有些代數的性質和它的元素在於哪個 field 其實是無關的, 不過有時將之擺在一個固定的 field 中討論確有其方便性. 就例如對於 irreducible polynomial p(x) $in$ K[x] 我們考慮 L = K[x]/(p(x)) 使得 p(x) 在 L 中有根. 在這裡 K 其實並不是真正包含於 L 中, 我們只是找到ㄧ個一對一的 ring homomorphism 將 K 送到 L 中. 因為這時候這個 ring homomorphism 的像 (image) 和 K 的代數結構是一樣的而且是 L 的 subfield 所以我們就視同 K 包含於 L. 事實上我們有以下一個比較正式的定義:

Definition 1.1.1 假設 K 和 L 都是 fields 且 K 和 L 間存在ㄧ對一的 ring homomorphism i : K $o$ L, 則稱 L 是 K 的 extension. 通常我們會記作 L/K (唸成 L over K).

簡單來說就是當 K 並不包含於 L 時, 我們當然不能直接對 K 的元素和 L 的元素做運算. 不過如果存在一對一的 ring homomorphism i : K $o$ L, 那麼對任意的 k $in$ K 和 l $in$ L, 我們可以定

k + l : = i(k) + l and k^.l : = i(k)^.l,

因為 i(k) $in$ L 所以自然可以和 L 中的元素做運算了. 又因為 i 是一對一的, i 的像 i(K) = {i(k) | k $in$ K} 中的元素和 K 中的元素有一個一對一的對應關係. 因此我們可以將 K 中的元素 (k $in$ K) 看成是是 L 的元素 (i(k) $in$ L). 也就是說我們將 K ``identify'' 成 L 的ㄧ個 subfield. 因此從今以後我們若提到 L 是 K 的 extension 為了方便我們還是省略提及存在一個 i : K $o$ L, 而直接假設 K $subseteq$ L.

Galois 理論簡單的說就是探討 field extensions 間的關係. 給定一個 field K, 事實上存在無窮多個 K 的 extensions, 我們自然會問兩個 extensions L₁/K 和 L₂/K 在什麼條件之下可以看成是一樣的 extension 呢？這不是單純的兩個 fields L₁ 和 L₂ 間的關係, 還牽涉到 K 在 L₁ 和 L₂ 中的“角色” . 簡單來說, 我們不只希望 L₁ 和 L₂ 是 isomorphic 而且希望能保持 K 的運算. 因此我們有以下的定義:

Definition 1.1.2 令 i : K $o$ L₁, j : K $o$ L₂ 是 K 的兩個 extensions. 如果存在 $phi$ : L₁ $o$ L₂ 是一個 isomorphism 滿足對任意的 k $in$ K 皆有 $phi$ (i(k)) = j(k), 則稱 L₁/K 和 L₂/K 是 isomorphic extensions over K.

這裡因為 k $in$ K 所以 i(k) $in$ L₁. 因此 $phi$ 可將 i(k) 送到 L₂ 中. 而 $phi$ (i(k)) = j(k) 就是要求 $phi$ 必須把在 L₁ 中代表 k 的元素送到 L₂ 中那個代表 k 的元素. 特別的是當我們將 K 分別看成是 L₁ 和 L₂ 的 subfield (即 K $subseteq$ L₁ 且 K $subseteq$ L₂), 此時 i(k) = k 且 j(k) = k 因此 $phi$ 必須符合對於所有的 k $in$ K, 皆滿足 $phi$ (k) = k. 在這情況之下有這樣性質的 $phi$ 就稱為 L₁ 和 L₂ 之間的一個 ``K-isomorphism''. 特別是當 L₁ = L₂ 時我們稱 $phi$ 為一個 ``K-automorphism''. 一般為了方便起見, 兩個 extensions L₁/K 和 L₂/K我們都直接看成 K $subseteq$ L₁ 和 K $subseteq$ L₂. 所以若 L₁/K 和 L₂/K 是 isomorphic extensions over K 我們就直接假設 L₁ 和 L₂ 之間存在一個 K-isomorphism.

查看全文

相关阅读:
记一次文件上传报错解决过程The temporary upload location is not vali
Redis反序列化LocalDateTime时报错
 Redis连接池Lettuce Jedis 区别
 Java获取时间打印到控制台
 Java多线程之volatile关键字
 Java多线程之Future，有返回值的线程
 ccf集合竞价
 增广路径求解最大流
 2016年9月ccf
hash表的建立和查找

原文地址：https://www.cnblogs.com/rsapaper/p/10582102.html

有限域 伽罗瓦域