抽象代数符号表 — Arendelle Royal Library

这部分利用 Obsidian Copilot 插件整理，使用模型 Grok 4 fast

提取与分类结果（带Obsidian Backlinks）

根据您提供的 {Math/Algebra} 变量下的笔记内容，我已将上一个响应中的文本出处转化为Obsidian格式的backlink（即 Note Title）。这些backlink直接链接到相关笔记的标题，便于在Obsidian中导航。提取的术语基于笔记中的定义、定理和关键概念，避免重复，并按领域分类整理。每个术语后附带简要来源说明（现在为backlink形式），以列表形式呈现。如果术语跨领域，我会放置在最相关类别中。

群论 (Group Theory) 术语

这些主要来自《群作用和稳定子群》、《群》、《Sylow 子群》笔记，涵盖群的基本结构、作用、子群和定理。

群 (Group): 集合 \(S\) 上满足结合律、封闭性、单位元和逆元的运算结构（群）。
半群 (Semigroup): 满足结合律和封闭性的结构（群）。
幺半群 (Monoid): 半群中存在单位元（群）。
有限群 (Finite Group): 元素有限的群（群）。
群的阶 (Order of Group): 群中元素的个数，记作 \(|G|\)（群）。
群元素的阶 (Order of Element): 元素 \(g\) 的最小正整数 \(n\) 使 \(g^n = e\)，记作 \(o(g)\)（群）。
Abel 群 (Abelian Group): 满足交换律的群，也称交换群（群）。
一般线性群 (General Linear Group): 数域 \(K\) 上 \(n\) 阶可逆方阵的群，记作 \(GL_n(K)\)（群）。
特殊线性群 (Special Linear Group): 行列式为 1 的 \(n\) 阶方阵群，记作 \(SL_n(K)\)，是 \(GL_n(K)\) 的子群（群）。
子群 (Subgroup): 对逆和运算封闭的子集，记作 \(H < G\)（群）。
子群的判定法: \(ab^{-1} \in H\) 对于所有 \(a, b \in H\)（群）。
中心化子 (Centralizer): \(C(g) = \{a \in G \mid ag = ga\}\) 或 \(C(S)\)（群）。
群的中心 (Center): \(C(G)\) 或 \(Z(G)\)，与所有元素交换的子集（群）。
生成子群 (Generated Subgroup): 由 \(S\) 生成的最小子群，记作 \(\langle S \rangle\)（群）。
循环群 (Cyclic Group): 由一个元素生成的群，必为 Abel 群（群）。
置换 (Permutation): \(\{1, \dots, n\}\) 到自身的双射（群）。
对称群 (Symmetric Group): 所有置换构成的群，记作 \(S_n\)（群）。
置换群 (Permutation Group): \(S_n\) 的子群（群）。
轮换表示法 (Cycle Notation): \(d\)-轮换表示置换（群）。
对换 (Transposition): 长度为 2 的轮换（群）。
交错群 (Alternating Group): 偶置换构成的子群，记作 \(A_n\)（群）。
Cayley 定理 (Cayley’s Theorem): 任意群 \(G\) 同构于某个对称群的子群（群）。
左陪集 (Left Coset): \(aH = \{ah \mid h \in H\}\)（群）。
右陪集 (Right Coset): \(Ha = \{ha \mid h \in H\}\)（群）。
子群的指数 (Index of Subgroup): 左陪集数量，记作 \((G:H)\)（群）。
Lagrange 定理 (Lagrange’s Theorem): \(|G| = |H| \cdot (G:H)\)（群）。
正规子群 (Normal Subgroup): \(g^{-1}Hg = H\) 对于所有 \(g \in G\)，记作 \(H \triangleleft G\)（群）。
共轭子群 (Conjugate Subgroup): \(a^{-1}Ha\)（群）。
正规化子 (Normalizer): \(N_G(H) = \{g \in G \mid g^{-1}Hg = H\}\)（群）。
换位子群 (Commutator Subgroup): \([G,G] = \langle a^{-1}b^{-1}ab \mid a,b \in G \rangle\)，正规子群（群）。
单群 (Simple Group): 无非平凡正规子群的群（群）。
同态 (Homomorphism): \(f(ab) = f(a)f(b)\)（群）。
同构 (Isomorphism): 双射同态（群）。
自同构群 (Automorphism Group): \(\mathrm{Aut}(G)\)（群）。
内自同构 (Inner Automorphism): \(i_g(a) = g^{-1}ag\)，构成 \(\mathrm{Inn}(G)\)（群）。
同态基本定理 (First Isomorphism Theorem): \(G / \ker f \cong \mathrm{im} f\)（群）。
第一同构定理 (First Isomorphism Theorem for Groups): \((G/H)/(N/H) \cong G/N\) 当 \(H \triangleleft G\)，\(H \subset N\)（群）。
第二同构定理 (Second Isomorphism Theorem): \(KH/H \cong K/(K \cap H)\) 当 \(H \triangleleft G\)（群）。
群作用 (Group Action): \(\phi: G \times X \to X\)，满足单位元和结合律（群作用和稳定子群）。
保真作用 (Faithful Action): \(g \cdot x = x\) 对于所有 \(x\) 蕴涵 \(g = e\)（群作用和稳定子群）。
有效作用 (Effective Action): 同保真作用（群作用和稳定子群）。
轨道 (Orbit): \(\mathrm{Orb}(x) = \{g \cdot x \mid g \in G\}\)（群作用和稳定子群）。
轨道大小 (Orbit Size): \(|\mathrm{Orb}(x)|\)（群作用和稳定子群）。
稳定子群 (Stabilizer Subgroup): \(\mathrm{Stab}(x) = \{g \in G \mid g \cdot x = x\}\)（群作用和稳定子群）。
轨道-稳定子定理 (Orbit-Stabilizer Theorem): \(|\mathrm{Orb}(x)| \cdot |\mathrm{Stab}(x)| = |G|\)（群作用和稳定子群）。
可迁作用 (Transitive Action): 只有一个轨道（群作用和稳定子群）。
固定点 (Fixed Point): \(\mathrm{Stab}(x) = G\)（群作用和稳定子群）。
轨道公式 (Orbit Formula): \(|S| = \sum (G : \mathrm{Stab}(x_i))\)（群作用和稳定子群）。
代表元全系 (System of Representatives): 轨道代表元的集合 \(D\)（群作用和稳定子群）。
Sylow p-子群 (Sylow p-Subgroup): 阶为 \(p^k\) 的子群，其中 \(p^k\) 是 \(|G|\) 中 \(p\) 的最高幂（Sylow 子群）。
p-群 (p-Group): 每个元素阶为 \(p\) 的幂（Sylow 子群）。
Sylow 第一定理 (Sylow’s First Theorem): 存在至少一个 Sylow p-子群（Sylow 子群）。
Sylow 第二定理 (Sylow’s Second Theorem): 所有 Sylow p-子群彼此共轭（Sylow 子群）。
Sylow 第三定理 (Sylow’s Third Theorem): \(n_p\) 整除 \(m\) 且 \(n_p \equiv 1 \pmod{p}\)（Sylow 子群）。
半直积 (Semidirect Product): \(G = H \rtimes K\) 当 \(H\) 为正规 Sylow p-子群（Sylow 子群）。

环论 (Ring Theory) 术语

这些主要来自《环》、《域》、《主理想整区》、《中国剩余定理》笔记，涵盖环、理想、同态和相关结构。

环 (Ring): 满足加法 Abel 群、乘法结合律和分配律的结构（环）。
交换环 (Commutative Ring): 乘法交换（环）。
整环 (Integral Ring): 无零因子（环）。
整区 (Integral Domain): 交换整环（环）。
可除环 (Division Ring): 存在乘法逆元（环）。
体 (Field): 交换可除环，也称域（环、域）。
子环 (Subring): 满足环定义的子集（环）。
子域 (Subfield): 满足域定义的子集（环）。
理想 (Ideal): 加法子群 \(I\) 满足 \(a u, u a \in I\) 对于 \(a \in R, u \in I\)（双边理想）（环）。
左理想 (Left Ideal) / 右理想 (Right Ideal): 单侧版本（环）。
同余 (Congruence): \(a - b \in I\)，记 \(a \equiv b \pmod{I}\)（环）。
单环 (Simple Ring): 无非平凡双边理想的非零环（环）。
互素理想 (Coprime Ideals): \(I + J = R\)（环）。
生成理想 (Generated Ideal): \(\langle S \rangle\) 为包含 \(S\) 的最小理想（环）。
有限生成理想 (Finitely Generated Ideal): 由有限 \(S\) 生成（环）。
主理想 (Principal Ideal): 由单元素生成，记 \(\langle a \rangle\)（环、主理想整区）。
环同态 (Ring Homomorphism): 保持加法、乘法和幺元（或零同态）（环）。
零同态 (Zero Homomorphism): \(f(1) = 0\)（环）。
分式域 (Field of Fractions): 从环 \(R\) 构造的域，通过等价类 \((a,b)\)（域）。
极大理想 (Maximal Ideal): 无理想介于 \(I\) 和 \(R\) 之间，\(R/I\) 为域（域）。
极大理想的商环定理: \(R/I\) 为域 iff \(I\) 极大（域）。
域的特征 (Characteristic of Field): \(\ker f = m\mathbb{Z}\)，\(m\) 为特征，或加法幺元阶（域）。
素域 (Prime Field): 特征 0 时同构于 \(\mathbb{Q}\)；特征 \(p\) 时同构于 \(F_p\)（域）。
Artin 引理 (Artin’s Lemma): 不同群同态 \(\chi_i: G \to F^*\) 是 \(F\)-线性无关（域）。
素理想 (Prime Ideal): \(ab \in P\) 蕴含 \(a \in P\) 或 \(b \in P\)，\(R/P\) 为整区（域）。
主理想整区 (Principal Ideal Domain, PID): 所有理想为主理想的整区（主理想整区）。
唯一分解整区 (Unique Factorization Domain, UFD): 非零非单位元唯一分解为不可约元素（主理想整区）。
不可约元素 (Irreducible Element): \(p = ab\) 蕴含 \(a\) 或 \(b\) 为单位（主理想整区）。
素元素 (Prime Element): \(p \mid ab\) 蕴含 \(p \mid a\) 或 \(p \mid b\)（主理想整区）。
诺特环 (Noetherian Ring): 理想满足升链条件（主理想整区）。
最大公因子 (GCD): \(d \mid a, d \mid b\) 且最大（主理想整区）。
最小公倍数 (LCM): 类似 GCD 的对偶（主理想整区）。
贝祖等式 (Bézout’s Identity): \(d = xa + yb\)（主理想整区）。
欧几里得整区 (Euclidean Domain, ED): 存在范数 \(d\) 支持除法算法，ED 蕴含 PID（主理想整区）。
欧几里得范数 (Euclidean Norm): \(d: R \setminus \{0\} \to \mathbb{N}_0\)（主理想整区）。
中国剩余定理 (Chinese Remainder Theorem, CRT): 两两互素理想 \(I_i\) 时，\(R / \cap I_i \cong \prod R/I_i\)（中国剩余定理）。

多项式理论 (Polynomial Theory) 术语

这些主要来自《一元多项式》、《主理想整区》笔记，聚焦一元多项式环和相关性质。

一元多项式 (Univariate Polynomial): \(f(x) = a_0 + a_1 x + \cdots + a_n x^n\)，\(R[x]\)（一元多项式）。
多项式次数 (Degree of Polynomial): \(\deg(f) = n\)，零多项式为 \(-\infty\)（一元多项式）。
带余除法 (Division Algorithm): \(f = q g + r\)，\(\deg(r) < \deg(g)\) 或 \(r=0\)，商余唯一（一元多项式）。
多项式环 (Polynomial Ring): \(F[x]\) 为域 \(F\) 上的环，所有理想为主理想（一元多项式）。

其他抽象代数通用术语

这些跨领域或未严格分类，主要来自多个笔记。

抽象代数 (Abstract Algebra): 标签通用（多笔记，如抽代符号表）。
群论 (Group Theory) / 环论 (Ring Theory) / 域论 (Field Theory): 领域标签（多笔记，如群、环）。
导出列 (Derived Series): \(G^{(n+1)} = [G^{(n)}, G^{(n)}]\)，用于可解群（群）。
可解群 (Solvable Group): 导出列终止于 \(\{e\}\)（群）。
阿贝尔化 (Abelianization): \(G / G'\) 为最大 Abel 商群（群）。
有限单群分类定理 (Classification of Finite Simple Groups): 有限单群的分类（群）。

抽代中含“素”字的术语总结

你好！在抽象代数（抽代）中，名字中带有“素”字的术语主要与“prime”概念相关，这些术语源于数论的“素数”（prime number），但在环论、域论和群论中被推广，用于描述“不可分解”或“基本”的结构。它们容易混淆，因为它们都涉及“不可约性”或“最小性”，但适用范围和性质不同。下面我基于你的 {Math/Algebra} 笔记（如域、主理想整区、抽代符号表、Sylow 子群等）提取并总结这些术语，按领域分类整理。每个术语包括定义、关键性质、上下文和与其他术语的区别，帮助你区分。

我只列出笔记中明确出现的含“素”字术语（直接或间接，如“p-”表示素数 p）。如果笔记中未提及的（如“素环”），我不会添加。术语不多，主要集中在环/域论。

1. 素域 (Prime Field)

定义：任意域 F 的最小子域，与特征相关的“基本域”同构。特征为 0 时，同构于有理数域 \(\mathbb{Q}\)；特征为素数 p 时，同构于有限域 \(F_p = \mathbb{Z}/p\mathbb{Z}\)（p 个元素的域）。
关键性质：
- 它是 F 中嵌入的“素数级”子域，所有其他元素都基于它生成。
- 通过 \(\mathbb{Z} \to F\) 的同态构造，核为特征 m\(\mathbb{Z}\)（m=0 或素数 p）。
- 示例：\(\mathbb{Q}\) 是自身素域；有限域 \(F_p\) 的素域是自身。
上下文：出现在域笔记中，用于域扩张和特征讨论。素域是域的“原子”结构，帮助分析域的“起源”。
容易混淆点及区别：
- 与素理想区别：素域是整个域结构，而素理想是环中的子集（理想）。
- 与p-群（见下文）区别：素域是域论的“基本域”，p-群是群论的“素数幂阶群”，两者都“基本”，但一个是加乘结构，一个是群运算。
- 为什么混？都源于“prime”作为“不可再分”的想法，但素域更偏向“生成最小域”。

2. 素理想 (Prime Ideal)

定义：交换环 A 中的真理想 P（P ≠ A），满足：若 ab ∈ P，则 a ∈ P 或 b ∈ P（类似于素数：若 p | ab，则 p | a 或 p | b）。等价地，商环 A/P 是整区（无零因子）。
关键性质：
- 所有极大理想都是素理想，但反之不一定（在 PID 中，非零素理想即极大理想）。
- 交集或和的性质：理想的交仍是理想；若 I + J = R，则互素。
- 示例：在 \(\mathbb{Z}\) 中，p\(\mathbb{Z}\)（p 素数）是素理想，\(\mathbb{Z}/p\mathbb{Z} \cong F_p\) 是域（整区）。
上下文：出现在域、主理想整区和抽代符号表笔记中，用于环同态、商环和理想分类。在中国剩余定理（中国剩余定理）中，两两互素理想用于同构 \(\prod R/I_i\)。
容易混淆点及区别：
- 与极大理想区别：极大理想 M 满足 A/M 是域（更强：无非平凡理想）；素理想只需 A/P 是整区（可能有理想但无零因子）。在 PID（如 \(\mathbb{Z}[x]\)）中，非零素理想 = 极大理想。
- 与素元素区别：素理想是集合（理想），素元素是单个元素；但在 PID 中，素理想往往由素元素生成（如 ⟨p⟩ = pR）。
- 与Sylow p-子群区别：两者都与素数 p 相关，但素理想是环的“不可分子集”，Sylow p-子群是群的“最大 p-幂子群”。
- 为什么混？都捕捉“prime”的不可约性，但素理想更抽象（集合级），常用于模论和代数几何。

3. 素元素 (Prime Element)

定义：整区 R 中的非零非单位元 p，满足：若 p | ab，则 p | a 或 p | b（类似于素数）。等价地，理想 ⟨p⟩ 是素理想。
关键性质：
- 在一般整区中，素元素一定是不可约元素（irreducible：p = ab 蕴含 a 或 b 是单位），但反之不一定。
- 在 PID（如 \(\mathbb{Z}\) 或 k[x]，k 域）中，素元素 = 不可约元素，且唯一分解成立（UFD 性质）。
- 示例：在 \(\mathbb{Z}\) 中，素数如 2、3 是素元素；⟨2⟩ 是素理想。
- 与最大公因子 (GCD) 相关：GCD 可表示为线性组合（贝祖等式：d = xa + yb）。
上下文：出现在主理想整区和抽代符号表笔记中，用于唯一分解整区 (UFD) 和 PID 的证明。在一元多项式（一元多项式）中，多项式环 F[x] 是 PID，故不可约多项式即素元素。
容易混淆点及区别：
- 与不可约元素区别：不可约只需“不可再分”（p = ab 则 a/b 单位），素元素额外有“素性”（p | ab 则 p | a/b）。在 PID/UFD 中二者等价。
- 与素理想区别：素元素生成素理想（⟨p⟩ 是素理想），但素理想不一定由单个素元素生成（在一般环中可能需多生成元）。
- 与p-群区别：素元素是环元素的“prime”，p-群是整个群的“p-prime”结构。
- 为什么混？二者都描述“基本不可分”元素，但素元素是“点”（单个），不可约更弱；在非 PID 环中区别明显（如 \(\mathbb{Z}[\sqrt{-5}]\) 中 3 是不可约但非素）。

4. 其他间接含“素”术语：p-相关结构（p 为素数）

笔记中虽无直接“素子群”等，但 Sylow 定理和 p-群频繁出现，这些以素数 p 为基础，常与“素”概念混淆（因为 p 是素数）。

p-群 (p-Group)：
- 定义：有限群 G 满足 |G| = p^k（p 素数，k ≥ 0），每个元素阶为 p 的幂。
- 性质：所有 Sylow p-子群本身是 p-群；p-群的中心非平凡。
- 上下文：Sylow 子群笔记中，作为 Sylow p-子群的基础。用于有限群分解。
- 区别：与素域/素理想不同，p-群是群论的“素数幂群”，非环结构；容易混为“素群”，但“素群”不存在（群无“prime”直接对应）。
Sylow p-子群 (Sylow p-Subgroup)：
- 定义：有限群 G (|G| = p^k m, gcd(p,m)=1) 中阶为 p^k 的最大子群（p 素数）。
- 性质：存在（第一定理）、彼此共轭（第二定理）、数量 n_p ≡ 1 mod p 且整除 m（第三定理）。若 n_p=1，则正规。
- 上下文：Sylow 子群笔记核心，用于证明群非单群或半直积分解。
- 区别：与素理想类似（都“最大 p-相关”），但 Sylow 是群的子群，素理想是环的理想；混淆点：两者都用轨道-稳定子定理计算数量。

总体区别与记忆技巧

共同点：都源于“prime = 不可再分”，用于“分解”结构（域/环/群的“素因子”）。
区别框架：
- 域论：素域（整个最小域，特征决定）。
- 环/理想论：素理想（集合，商是整区） > 素元素（生成它，单个“prime”）。
- 群论：p-群/Sylow p-子群（p 素数幂，最大“p-部分”）。
为什么容易混？ 它们在 PID（如 F[x]）中交织：素元素生成素理想，域 F_p 来自素理想 p\(\mathbb{Z}\)。建议：从上下文区分——环中想“理想/元素”用素理想/素元素；群中想“子群数量”用 Sylow p-。
笔记链接建议：查看抽代符号表的环论部分（有完整列表）；主理想整区证明 PID 中素=不可约；域讨论素域构造。

如果这些术语中某个需要更详细证明/例子，或你有具体混淆点（如“素理想 vs. 极大理想”），提供更多上下文，我可以扩展！