一、公理集合论概述
1.1 朴素集合论与悖论问题
朴素集合论（Naive Set Theory）由德国数学家康托（Cantor）在 19 世纪提出，它将集合作为数学研究的正式对象。
康托的主要贡献包括：
- 基数概念：用于衡量集合元素的多少。
- 一一对应：用双射判断两个集合是否“一样多”。
- 无穷集合的比较：证明自然数集和实数集的基数不同。
偶数与自然数的个数比较：
- 从有限集合直觉看，偶数是自然数的真子集，似乎应该更少。
- 对无穷集合，可以建立映射 $n \mapsto 2n$，使自然数与偶数一一对应。
康托的核心思想是：用一一对应（双射）衡量无穷集合的元素个数。
罗素悖论
朴素集合论认为任何一类对象都可以组成集合，这会导致矛盾。
考虑：
\[T=\{A \mid A \text{ 是集合且 } A \notin A\}\]即所有“不属于自己”的集合组成的对象。
若 $T$ 是集合，则讨论 $T \in T$：
- 若 $T \in T$，根据 $T$ 的定义，应有 $T \notin T$，矛盾。
- 若 $T \notin T$，则 $T$ 满足定义条件，应有 $T \in T$，矛盾。
因此 $T$ 不能是集合。它可以被理解为“太大”的类，而不是集合。
1.2 ZF 公理体系
为了避免悖论，策梅洛（Zermelo）和弗兰克尔（Fraenkel）提出了公理集合论。
ZF 公理体系（Zermelo-Fraenkel Axioms）为现代数学提供了集合论基础，绝大多数数学对象都可以从集合出发定义。
原始概念
ZF 体系中以下概念作为原始概念，不再继续定义：
- 集合（Set）
- 属于关系 $\in$
- 类（Class）
关系说明：
- 所有集合都是类。
- 类不一定是集合，太大的类称为真类。
- 只有集合能作为元素：若 $A \in B$，则 $A$ 必须是集合。
二、ZF 公理体系的主要公理
2.1 存在公理
内容：存在一个集合。
\[\exists A\ (A \text{ 是集合})\]它确保集合论的研究对象不为空。
2.2 分离公理模式
内容：给定集合 $A$ 和性质 $P$，可以从 $A$ 中选出满足 $P$ 的元素组成新集合：
\[\{x \in A \mid P(x)\}\]关键限制在于：必须从已有集合 $A$ 中筛选，不能任意构造“所有满足某性质的对象”。这一限制避免了罗素悖论中的危险构造。
例子：
- $\{x \in \mathbb{R} \mid x>0\}$ 是合法集合。
- 给定集合 $A$，$\{B \in A \mid B \notin B\}$ 是合法集合，因为筛选被限制在 $A$ 内。
2.3 配对公理
内容：对任意两个集合 $A$ 和 $B$，存在集合 $\{A,B\}$。
\[\forall A\ \forall B\ \exists C\ (C=\{A,B\})\]特殊情况：
- 若 $A=B$，则 $\{A,A\}=\{A\}$。
- 集合元素无序：$\{A,B\}=\{B,A\}$。
有序对的构造
配对公理可用于构造有序对：
\[(a,b):=\{\{a\},\{a,b\}\}\]这个定义保证：
\[(a,b)=(c,d) \iff a=c \text{ 且 } b=d\]二元关系与函数
有了有序对，可以定义：
- 二元关系：元素都是有序对的集合。
- 函数：特殊的二元关系，满足一个原像只能对应一个像。
函数条件可写为：
\[\text{若 }(a,b)\in F \text{ 且 }(a,c)\in F,\text{ 则 } b=c\]2.4 并集公理
内容：给定集合族 $\mathcal{T}$，可以构造其所有成员的并集：
\[\bigcup \mathcal{T}=\{x \mid \exists A\in\mathcal{T},\ x\in A\}\]这说明不仅两个集合的并合法，任意由集合索引的集合族的并也合法。
2.5 幂集公理
内容：给定集合 $A$，它的所有子集可以组成一个集合，记为 $\mathcal{P}(A)$ 或 $2^A$。
\[\mathcal{P}(A)=\{B \mid B\subseteq A\}\]若 $|A|=n$，则 $|\mathcal{P}(A)|=2^n$。
康托定理
定理：任何集合 $A$ 的基数严格小于其幂集的基数。
\[|A|<|\mathcal{P}(A)|\]证明使用对角线法。对任意映射 $f:A\to \mathcal{P}(A)$，构造：
\[B=\{a\in A \mid a\notin f(a)\}\]可以证明 $B$ 不在 $f$ 的像中。若假设 $B=f(x)$：
- 若 $x\in B$，则由 $B$ 的定义，$x\notin f(x)=B$，矛盾。
- 若 $x\notin B$，则 $x\notin f(x)$，于是 $x\in B$，矛盾。
因此从 $A$ 到 $\mathcal{P}(A)$ 不存在满射。
意义：
- 不存在“最大的集合”。
-
可以通过不断取幂集构造基数越来越大的集合：
\[A,\ \mathcal{P}(A),\ \mathcal{P}(\mathcal{P}(A)),\ldots\]
2.6 无穷公理
内容：存在归纳集，保证自然数集的存在。
对任意集合 $A$，定义其后继：
\[A^+=A\cup\{A\}\]归纳集是满足以下条件的集合 $I$：
- $\emptyset \in I$。
- 若 $A \in I$，则 $A^+ \in I$。
自然数可定义为：
- $0:=\emptyset$。
- $1:=0^+=\{\emptyset\}=\{0\}$。
- $2:=1^+=\{0,1\}$。
- $n+1:=n\cup\{n\}$。
自然数集 $\omega$ 或 $\mathbb{N}$ 是最小的归纳集。
数学归纳法的合法性也由这一公理保证：如果某性质对 $0$ 成立，且由 $n$ 成立能推出 $n+1$ 成立，则它对所有自然数成立。
2.7 替换公理模式
内容：映射作用在集合上，其像仍是集合。
若 $F$ 是映射，$A$ 是集合，则：
\[F(A)=\{F(x)\mid x\in A\}\]也是集合。
替换公理模式由弗兰克尔补充，使 ZF 体系更加完善。直观上，映射不能“一对多”，因此像集的规模不会超过原集合的规模。
2.8 正则公理
内容：排除“集合属于自己”等非良基情形。
严格表述：对任意非空集合 $A$，存在 $B\in A$ 使得：
\[B\cap A=\emptyset\]也就是说，在属于关系 $\in$ 下，每个非空集合都有极小元。
等价地，不存在无限下降链：
\[\cdots \in A_2 \in A_1 \in A_0\]它排除了：
- $A\in A$。
- $A\in B$ 且 $B\in A$。
- 更长的循环属于链。
例如，对 $\{A\}$ 使用正则公理，可推出 $A\notin A$。
三、集合的基本关系
3.1 包含关系
\[A\subseteq B \iff \forall x\ (x\in A \Rightarrow x\in B)\]包含关系是集合之间最基本的关系。
3.2 相等关系
\[A=B \iff (A\subseteq B \land B\subseteq A)\]等价地：
\[A=B \iff \forall x\ (x\in A \iff x\in B)\]集合完全由其元素决定，这一原则也称为外延公理。
四、代数结构知识回顾
4.1 环与域的基本概念
环 $(R,+,\cdot)$ 通常要求：
- 加法构成交换群。
- 乘法满足结合律。
- 乘法对加法满足分配律。
若定义中额外要求存在单位元，则单位元记为 $1_R$。环同态保持加法与乘法；是否要求保持单位元，取决于具体定义或题目约定。
单位元与可逆元
环中元素 $a \in R$ 是可逆元，若存在 $b \in R$ 使得：
\[ab=ba=1\]判断可逆性必须在给定环内进行，不能只在更大的环中寻找逆元。
例子：考虑
\[\mathbb{Q}[\sqrt{2}]=\{a+b\sqrt{2}\mid a,b\in\mathbb{Q}\}\]判断某个元素是否可逆时，需要验证其逆元是否仍属于 $\mathbb{Q}[\sqrt{2}]$。
理想
环 $R$ 的子集 $I$ 称为理想，若：
- $(I,+)$ 是 $R$ 的加法子群。
- 对任意 $r\in R$、$a\in I$，有 $ra\in I$ 且 $ar\in I$。
在交换环中，左右乘条件合并为 $ra\in I$。
4.2 群论相关概念
西罗定理
西罗定理描述有限群中 $p$-子群的存在性、共轭性和数量限制，是研究有限群结构的重要工具。核心对象是西罗 $p$-子群，即阶为 $p^k$ 的极大 $p$-子群。
群的直积
群的直积用于构造新群，也常用于判断群是否同构。若 $G$ 与 $H$ 是群，则 $G\times H$ 的运算按分量定义：
\[(g_1,h_1)(g_2,h_2)=(g_1g_2,h_1h_2)\]素数阶群
由拉格朗日定理可知，若 $|G|=p$，其中 $p$ 是素数，则 $G$ 的子群只有平凡子群和自身。因此 $G$ 是循环群，并且：
\[G\cong \mathbb{Z}/p\mathbb{Z}\]4.3 多项式环
多项式带余除法
设 $f(x),g(x)\in F[x]$，且 $g(x)\neq 0$。存在唯一的 $q(x),r(x)\in F[x]$，使得：
\[f(x)=q(x)g(x)+r(x),\quad \deg(r)<\deg(g)\]这一性质是多项式环 $F[x]$ 上欧几里得算法、最大公因式和极小多项式理论的基础。
商环构造有限域
若 $p(x)\in F[x]$ 是不可约多项式，则商环：
\[F[x]/(p(x))\]是域。有限域可通过这种方式构造，例如：
\[\mathbb{F}_2[x]/(x^2+x+1)\]构造出 4 元有限域。
多项式环的理想
若 $F$ 是域，则 $F[x]$ 的每个理想都是主理想，即存在某个多项式 $p(x)\in F[x]$，使得：
\[I=(p(x))=\{f(x)p(x)\mid f(x)\in F[x]\}\]4.4 分式域
交换整环 $R$ 的分式域定义为：
\[\operatorname{Frac}(R)=\left\{\frac{a}{b}\mid a,b\in R,\ b\neq 0\right\}\]运算定义为：
\[\frac{a}{b}+\frac{c}{d}=\frac{ad+bc}{bd}\] \[\frac{a}{b}\cdot\frac{c}{d}=\frac{ac}{bd}\]典型例子是整数环 $\mathbb{Z}$ 的分式域 $\mathbb{Q}$。
中间环例子
考虑 $R\subseteq \operatorname{Frac}(R)$ 的中间结构：
\[S=\left\{\frac{f(x)}{x^n}\mid f(x)\in F[x],\ n\in\mathbb{N}\right\}\]分析这类集合时，通常需要验证：
- 对加法和乘法是否封闭。
- 是否含有单位元。
- 理想结构如何与原环 $R$ 的理想相关。
五、总结
ZF 公理体系通过限制集合构造方式，避免了朴素集合论中的悖论，并为有序对、关系、函数、自然数、幂集和无穷集合等基本对象提供严格基础。
代数结构部分则围绕环、理想、多项式环、有限域和分式域展开。多项式带余除法、主理想结构和不可约多项式商环是理解域扩张与有限域构造的关键工具。