Trending News: 完美保密如何閱讀文獻PUF 晶片上的物理不可複製功能FrostyGoop/BUSTLEBERM 工控惡意軟體解析讀墨 Readmoo mooInk Pro 2C 13.3吋 彩色電子書閱讀器 閱讀PDF檔案的應許之機對稱加密函式必要的Confusion以及Diffusion特性亂數產生器 硬體篇環論群之可解性威脅情報指標Palo Alto Firewall URL過濾 以及 Application Block Page群NP-Completeness異常檢測的問題分類異常檢測的方法評估異常檢測簡介 Anomaly Detection高斯消去法線性向量時間複雜度其他種圖靈機圖靈機消息理論中的熵資訊測量符號相互消息Palo Alto Firewall 防火牆 Policy 政策 設定Palo Alto 防火牆 NAT (Network Address Translation) 設定《研究生完全求生手冊》讀後心得：研究生必須學會的方法、秘訣與淺規則密碼系統 RSA 攻防中國餘式定理 Chinese Remainder Theorem 與 同構 Isomorphism 特性Square Multiply 演算法尤拉函數 Euler’s totient function整數複雜度量測如何 安裝 Palo Alto VM《長銷》讀後心得：內容、定位、行銷、平台，從個人創作到企業經營都要懂的打造經典之道
週六. 2 月 22nd, 2025
Trending News: 完美保密如何閱讀文獻PUF 晶片上的物理不可複製功能FrostyGoop/BUSTLEBERM 工控惡意軟體解析讀墨 Readmoo mooInk Pro 2C 13.3吋 彩色電子書閱讀器 閱讀PDF檔案的應許之機對稱加密函式必要的Confusion以及Diffusion特性亂數產生器 硬體篇環論群之可解性威脅情報指標Palo Alto Firewall URL過濾 以及 Application Block Page群NP-Completeness異常檢測的問題分類異常檢測的方法評估異常檢測簡介 Anomaly Detection高斯消去法線性向量時間複雜度其他種圖靈機圖靈機消息理論中的熵資訊測量符號相互消息Palo Alto Firewall 防火牆 Policy 政策 設定Palo Alto 防火牆 NAT (Network Address Translation) 設定《研究生完全求生手冊》讀後心得：研究生必須學會的方法、秘訣與淺規則密碼系統 RSA 攻防中國餘式定理 Chinese Remainder Theorem 與 同構 Isomorphism 特性Square Multiply 演算法尤拉函數 Euler’s totient function整數複雜度量測如何 安裝 Palo Alto VM《長銷》讀後心得：內容、定位、行銷、平台，從個人創作到企業經營都要懂的打造經典之道
週六. 2 月 22nd, 2025

群之可解性

目錄

Definition 2.7

首先讓我們定義G為一個群，我們說G是solvable/soluble(可解)的話代表存在filtration G = G_{0} \rhd G_{1} \rhd \cdots \rhd G_{n} = \{e\}使得說G_{i}/G_{i+1}是abelian的

照這個定義來看如果是要解多項式f \in Q[x]的話就需要滿足求根式解

Proposition 2.8

如果G是solvable的話，則G的subgroups以及商數皆為solvable

證明

讓G = G_{0} \rhd G_{1} \rhd \cdots \rhd G_{n} = \{e\}使得G_{i}/G_{i+1}屬於abelian

讓H < G屬於subgroup

    \[\Rightarrow H = H \cap G_{0} \rhd H \cap G_{1} \rhd \cdots H \cap G_{n} = \{e\}\]

    \[(H \cap G_{i})/(H \cap G_{i+1}) \hookrightarrow G_{i}/G_{i+1} &\Rightarrow (H \cap G_{i})/(H \cap G_{i+1}) \>\> is \>\> abelian.\]

    \[\Rightarrow H \>\> is \>\> solvable\]

假設H \lhd G，則G_{i}H < G以及G_{i+1}H \lhd G_{i}H.

    \[G_{i}/G_{i+1} \twoheadrightarrow (G_{i}H)/(G_{i+1}H)\]

    \[\Rightarrow (G_{i}H)/(G_{i+1}H) \cong (G_{i}H/H)/(G_{i+1}H/H) \>\> is \>\> abelian.\]

    \[\Rightarrow G/H \>\> is \>\> solvable.\]

範例

(1)D_{n} = <x, y| x^{n} = y^{2} = e, yxy^{-1} = x^{-1}>屬於solvable.

證明：D_{n} \rhd <x> \rhd \{e\}, D_{n}/<x> \cong \mathbb{Z}/2\mathbb{Z}, <x> \cong \mathbb{Z}/n\mathbb{Z}

(2)S_{3} \cong D_{3}屬於solvable

(3)S_{4}屬於solvable

(4)如果n \geq 5則S_{n}不屬於solvable，(\xRightarrow[\text{Galois}]{} f \in Q[x], deg(f) \geq 5,一般來說無法在求根式解解出)

證明：假設我們有一個filtration S_{n} = G_{0} \rhd G_{1} \rhd \cdots \rhd G_{n} = \{e\}使得G_{i}/G_{i+1}是abelian的，G_{i}本身應該會包含在S_{n}上所有i的所有3-cycles組合，但在n \geq 5的時候會矛盾

(5)B_{n}(F) \subset GL_{n}(F)，意指Borel subgroup是solvable的，B_{n}(F)例如像是\{\begin{pmatrix}* & \cdots & *\\0 & * & *\\0 & 0 & *\end{pmatrix} \in GL_{n}(F)\}：一組upper triangular matrices

證明：n = 3: B_{3} \supset U_{3} \supset \mathcal{Z}(U_{3}) = \{\begin{pmatrix}1 & 0 & x\\ & 1 & 0 \\ & & 1\end{pmatrix} | x \in F\} \supset \{1\}，其中U_{3} := \{\begin{pmatrix}1 & x & y\\ & 1 & z \\ & & 1\end{pmatrix}|x, y, z \in F\}，而\{\begin{pmatrix}1 & 0 & x\\ & 1 & 0 \\ & & 1\end{pmatrix} | x \in F\} \supset \{1\} \cong F

U_{3} \rightarrow F \times F, \begin{pmatrix}1 & x & y\\ & 1 & z \\ & & 1\end{pmatrix} \mapsto (x, z) with kernel \mathcal{Z}(U_{3})

B_{3} \rightarrow \{\begin{pmatrix}a_{1} & & \\ & a_{2} & \\ & & a_{3}\end{pmatrix}|a_{1}, a_{2}, a_{3} \in F^{x}\}, \begin{pmatrix}a_{1} & * & * \\0 & a_{2} & * \\ 0 & 0 & a_{3}\end{pmatrix} \mapsto \begin{pmatrix}a_{1} & & \\ & a_{2} & \\ & & a_{3}\end{pmatrix}，其中a_{1}, a_{2}, a_{3} \cong F^{x} \times F^{x} \times F^{x}與kernel

    \[U_{3} \Rightarrow B_{3}/U_{3} \cong F^{x} \times F^{x} \times F^{x}\]

    \[\Rightarrow B_{3} \>\> is \>\> solvable.\]

Scientia

研究興趣包括密碼理論、密碼工程、安全隱私性、計算複雜度、量子消息與量子計算、硬體安全、網路安全及異常檢測。

Related Posts

完美保密
完美保密

在1978年Ralph C. Merkle提出了一篇”Secure communications over insecure channels”想法之後，人們開始意識到在網路上傳輸資料時其實存在著攻擊者(adversary)在監聽我們的溝通，從而開始發展要混淆傳輸的資料使得在不安全的環境中也可以安心傳輸

Continue reading
對稱加密函式必要的Confusion以及Diffusion特性
對稱加密函式必要的Confusion以及Diffusion特性

在密碼理論研究當中有兩個特性對於安全的密碼系統來說是不可或缺的，分別是混淆(confusion)以及擴散(diffusion)這兩種特性，由Claude Shannon提出利用這兩種特性是想要抵抗密碼分析上被統計出明文的情況，confusion應用在對稱式密碼系統當中想要讓明文以及輸出密文之間的局部關聯性隱藏起來，其實就是用密鑰來對要加密的資料做影響，而diffusion則是要防止攻擊者能夠利用密文的統計性質找出對應的明文。

Continue reading

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *

You Missed

1
完美保密
密碼理論
完美保密
2
如何閱讀文獻
文藝分享
如何閱讀文獻
3
PUF 晶片上的物理不可複製功能
硬體安全
PUF 晶片上的物理不可複製功能
4
FrostyGoop/BUSTLEBERM 工控惡意軟體解析
網路安全
FrostyGoop/BUSTLEBERM 工控惡意軟體解析
5
讀墨 Readmoo mooInk Pro 2C 13.3吋 彩色電子書閱讀器 閱讀PDF檔案的應許之機
文藝分享
讀墨 Readmoo mooInk Pro 2C 13.3吋 彩色電子書閱讀器 閱讀PDF檔案的應許之機
6
對稱加密函式必要的Confusion以及Diffusion特性
密碼理論
對稱加密函式必要的Confusion以及Diffusion特性