代數學

群、環、體等抽象代數結構

抽象代數概述

代數學是數學的重要分支,主要研究群、環、體等代數結構。這些抽象結構是現代密碼學、編碼理論與電腦科學的數學基礎。

為什麼要抽象?

統一化與簡化:當我們證明某個定理適用於「群」這個概念時,自動就證明了這個定理適用於所有符合「群」規則的數學系統。這就像發現了「所有鳥類都會飛」這個規則後,當你看到麻雀、老鷹,你就知道它們可以飛。

擴展應用:透過抽象化,可以將原本適用於數字的理論應用到完全不同的領域,例如對稱性研究(分子結構、晶體結構、物理粒子)。

群 (Group)

群是抽象代數中最基本的結構。一個非空集合 G 必須配備一個二元運算 *,同時滿足:封閉性、結合律、單位元素、反元素。若還滿足交換律,則稱為阿貝爾群。

群的例子包括:整數加法群 (ℤ, +)、非零實數乘法群、n 階可逆矩陣群 GL(n,ℝ)、模 n 的簡約餘數類。

子群與陪集:子群 H ⊆ G 是在 G 的運算下也構成群的子集。拉格朗日定理指出,有限群 G 的子群 H 的階整除 G 的階。

群同態與同構:群同態 φ: G → H 滿足 φ(ab) = φ(a)φ(b)。若 φ 是雙射,則稱為同構,表示兩個群在代數結構上完全相同。

環 (Ring)

環是配備兩種二元運算(加法和乘法)的代數結構。關鍵性質:(R, +) 是阿貝爾群,乘法滿足封閉性和結合律,乘法對加法滿足分配律。

常見例子包括:整數環 ℤ、多項式環 R[x]、矩陣環 Mₙ(R)、模 n 的剩餘類環 ℤₙ。

理想與商環:理想 I ⊆ R 是滿足 (I,+) 是子群且對任意 r∈R, i∈I 有 ri∈I 的子集。商環 R/I 是模掉理想 I 的商結構。

體 (Field) 與有限體

體是比環更強的代數結構:(F, +) 是阿貝爾群,(F\{0}, ·) 是阿貝爾群,且乘法對加法滿足分配律。常見的體包括有理數 ℚ、實數 ℝ、複數 ℂ。

有限體(伽羅瓦體)是只包含有限個元素的體。元素個數只能是質數的冪次方 pⁿ。給定 pⁿ,存在唯一的有限體記為 GF(pⁿ) 或 𝔽_{pⁿ}。有限體在密碼學(如 AES)和編碼理論中至關重要。

本課程範例

相關程式碼在 code/數學/02-代數/_ccc

相關連結