教學機器人 抽象代數-1

群是一種代數結構，包含集合G與二元運算$\cdot$，滿足封閉性、結合律、單位元存在與逆元存在四個條件。封閉性表示對所有$a,b \in G$，有$a \cdot b \in G$；結合律表示$(a \cdot b) \cdot c = a \cdot (b \cdot c)$；單位元$e$使得$e \cdot a = a \cdot e = a$；逆元$a^{-1}$滿足$a \cdot a^{-1} = a^{-1} \cdot a = e$。例子包括整數加法群$(\mathbb{Z}, +)$、非零實數乘法群$(\mathbb{R}^*, \cdot)$等。群的基本性質在代數結構中扮演核心角色，是後續環、域理論的基礎。

子群是群的子集本身也是群。若$H \subseteq G$且對G的運算封閉，則H為子群。生成元是一個或多個元素的集合，使得集合中所有元素及其運算產生整個群。公式表示：$\langle S \rangle = {a_1^{n_1} a_2^{n_2} \dots a_k^{n_k}|a_i \in S, n_i \in \mathbb{Z}}$。子群和生成元是研究群結構和分類的重要工具，對對稱群、置換群分析至關重要。

群同態是保持群運算的映射$f: G \to H$，滿足$f(a \cdot b) = f(a) \cdot f(b)$。同構是雙射同態，若$G \cong H$，表示兩群結構完全相同。公式：$Ker(f) = {g \in G|f(g) = e_H}$描述核，$Im(f) = {f(g)|節號:g \in G}$描述像。通過同態定理，可將群分解為商群，這是抽象代數中分析群結構的核心方法。

群作用描述群元素作用於集合X的映射，$\phi: G \times X \to X$滿足$e \cdot x = x$，$(g_1 g_2) \cdot x = g_1 \cdot (g_2 \cdot x)$。群作用用於研究對稱性、排列、組合問題與幾何變換。例如，對稱群$S_n$作用於n個元素集合，分析置換性質。應用包括化學分子對稱性、晶體學對稱操作、圖論自同構分析等，提供結構與運算的強大工具。

環是集合R與兩種運算$(+,\cdot)$，其中$(R,+)$為阿貝爾群，乘法封閉且結合。環的基本性質包括分配律：$a \cdot (b + c) = a\cdot b + a \cdot c$。例子：整數環$(\mathbb{Z},+,\cdot)$，多項式環$R[x]$。環理論研究代數結構與運算規律，為線性代數、模理論及代數數論提供基礎。

子環是環的子集本身亦為環，理想是滿足乘法封閉性的子集$I \subseteq R$，對所有$r \in R, i \in I$，$r \cdot i \in I$。理想用於構造商環$R/I$，分析環結構。公式：$R/I = {r + I|章號:r \in R}$。理想與商環是抽象代數中重要工具，特別在整數分解、多項式除法與模算術中廣泛應用。

域是特殊環，其中非零元素在乘法下可逆。公式：對所有$a \neq 0$，存在$a^{-1}$使$a \cdot a^{-1} = 1$。例子包括有理數域$\mathbb{Q}$、實數域$\mathbb{R}$、複數域$\mathbb{C}$。域在代數方程求根、多項式理論及線性代數中核心地位，支持向量空間與矩陣運算。

商環$R/I$透過理想I構造，分析環結構簡化。域擴張$F \subseteq E$引入新元素，允許解多項式方程。公式：$E = F(\alpha)$表示F擴張域加入元素$\alpha$。擴張理論用於代數方程求解、伽羅瓦理論及抽象代數研究，提供從環到域結構的深入分析方法。