Number Theory

Chapter 1: Foundations of Divisibility (整除性基础)

1.1. The Divisibility Relation (整除关系)

核心定义 (Core Definition): 对于两个整数 $a$ 和 $b$，我们说”$a$ 整除 $b$“，记作 $a | b$，当且仅当存在一个整数 $k$，使得 $b = ak$ 。 这个定义是整个数论部分学习的基石。以下是等价的说法：

• $a$ 是 $b$ 的一个约数 (divisor)。
• $a$ 是 $b$ 的一个因子 (factor)。
• $b$ 可以被 $a$ 整除 (divisible by $a$ )。
• $b$ 是 $a$ 的一个倍数 (multiple of $a$ )。 注意： 符号 $a \nmid b$ 表示 ”$a$ 不能整除 $b$” 。

基本性质 (Fundamental Properties): 在证明题中，以下三个整除性的基本性质至关重要：

1. 自反性 (Reflexivity): 对于任意整数 $a$，有 $a | a$。
2. 传递性 (Transitivity): 对于任意整数 $a, b, c$，如果 $a | b$ 且 $b | c$，那么 $a | c$。
3. 线性组合性 (Linearity): 对于任意整数 $a, b, c$，如果 $a | b$ 且 $a | c$，那么对于任意整数 $x, y$，都有 $a | (bx + cy)$。

1.2. Prime Numbers and Unique Factorization (素数与唯一分解定理)

算术基本定理 (The Fundamental Theorem of Arithmetic): 该定理是数论的基石，其内容为：任何一个大于 1 的自然数 $n$ 都可以被唯一地分解成一系列素数的乘积。 $n = p_1^{\alpha_1} p_2^{\alpha_2} \cdots p_k^{\alpha_k}$ 其中 $p_1 < p_2 < \cdots < p_k$ 是素数，$\alpha_i$ 是正整数。这个定理保证了像最大公约数 (GCD) 和最小公倍数 (LCM) 这样的概念是定义良好且可计算的。

Chapter 2: The Euclidean Algorithm and Its Applications (欧几里得算法及其应用)

image: Pasted image 20251006033833.png

2.1. Greatest Common Divisor (GCD) and Least Common Multiple (LCM) (最大公约数与最小公倍数)

定义 (Definitions):

• 公约数 (Common Divisor)
• 互质 (Coprime / Relatively Prime)
• 最大公约数 (Greatest Common Divisor, GCD): 两个不全为零的整数 $a$ 和 $b$ 的最大公约数，记作 $gcd(a, b)$，是指能够同时整除 $a$ 和 $b$ 的最大正整数。
• 最小公倍数 (Least Common Multiple, LCM): 两个非零整数 $a$ 和 $b$ 的最小公倍数，记作 $lcm(a, b)$，是指能够同时被 $a$ 和 $b$ 整除的最小正整数。

通过质因数分解计算 (Calculation via Prime Factorization): 如果已知 $a$ 和 $b$ 的质因数分解，计算 GCD 和 LCM 会非常直观：

• GCD: 取两者共有的质因数，并选择较低的指数，然后相乘。例如，$gcd(2^2 \cdot 3^3, 2^3 \cdot 3^2) = 2^2 \cdot 3^2 = 36$
• LCM: 取两者所有的质因数，并选择较高的指数，然后相乘。例如，$lcm(2^2 \cdot 3^3, 2^3 \cdot 3^2) = 2^3 \cdot 3^3 = 216$ 这种方法虽然直观，但当数字很大时，进行质因数分解的计算成本非常高。

关键关系 (Key Relationship): 对于任意正整数 $a$ 和 $b$，以下公式恒成立，是考试中的常见考点： $gcd(a, b) \cdot lcm(a, b) = ab$

2.2. The Euclidean Algorithm: A Step-by-Step Guide (欧几里得算法分步详解)

前置知识：除法定理 (The Division Theorem): 对于任意整数 $a$ 和非零整数 $b$，存在唯一的整数 $q$ (商, quotient) 和 $r$ (余数, remainder)，使得： $a = qb + r \quad \text{且} \quad 0 \le r < |b|$ 这个定理是欧几里得算法得以运行的引擎 。

核心原理 (The Core Principle): 欧几里得算法的核心基于一个关键性质：$gcd(a, b) = gcd(b, r)$，其中 $r$ 是 $a$ 除以 $b$ 的余数。这个性质保证了我们可以通过不断缩小参与运算的数字来最终找到 GCD，而不会改变其值 。

算法步骤 (Algorithm Steps): 该算法通过一系列迭代的除法来找到 GCD。假设需要计算 $gcd(a, b)$ ：

1. 令 $a$ 除以 $b$，得到余数 $r_0$。根据核心原理，$gcd(a, b) = gcd(b, r_0)$。
2. 令 $b$ 除以 $r_0$，得到余数 $r_1$。此时，$gcd(b, r_0) = gcd(r_0, r_1)$。
3. 不断重复此过程，用前一步的除数除以前一步的余数，直到余数为 0。
4. 最后一个非零的余数即为 $a$ 和 $b$ 的最大公约数。

示例：计算 $gcd(403, 286)$

• $403 = 1 \times 286 + 117$
• $286 = 2 \times 117 + 52$
• $117 = 2 \times 52 + 13$
• $52 = 4 \times 13 + 0$ 余数首次为 0，因此最后一个非零余数 13 就是最大公约数。所以，$gcd(403, 286) = 13$。

2.3. Bezout’s Identity and the Extended Euclidean Algorithm (贝祖恒等式与扩展欧几里得算法)

贝祖恒等式 (Bezout’s Identity): 该定理指出，对于任意整数 $a$ 和 $b$，总存在一对整数 $x$ 和 $y$，使得： $gcd(a, b) = ax + by$ 这是一个关于解的存在性定理，它本身不提供找到 $x$ 和 $y$ 的方法 。

扩展算法 (Finding $x$ and $y$): 寻找满足贝祖恒等式的整数 $x$ 和 $y$ 的方法，通常被称为扩展欧几里得算法 (Extended Euclidean Algorithm)

示例：为 $gcd(403, 286) = 13$ 找到 $x, y$ 从欧几里得算法的倒数第二行开始：

1. $13 = 117 - 2 \times 52$
2. 从上一行我们知道 $52 = 286 - 2 \times 117$，将其代入上式： $13 = 117 - 2 \times (286 - 2 \times 117)$ $13 = 117 - 2 \times 286 + 4 \times 117$ $13 = 5 \times 117 - 2 \times 286$
3. 再从更早的行我们知道 $117 = 403 - 1 \times 286$，将其代入上式： $13 = 5 \times (403 - 1 \times 286) - 2 \times 286$ $13 = 5 \times 403 - 5 \times 286 - 2 \times 286$ $13 = 5 \times 403 - 7 \times 286$ 最终得到 $13 = 5 \times 403 + (-7) \times 286$。因此，一组解是 $x=5, y=-7$。

2.4. Solving Linear Diophantine Equations: $ax + by = c$ (求解线性丢番图方程)

解的存在条件 (Condition for Solutions): 对于形如 $ax + by = c$ 的方程，其中 $a, b, c$ 均为整数，其整数解 $(x, y)$ 存在的充要条件是： $\gcd(a, b) | c$ 即 $a$ 和 $b$ 的最大公约数必须能整除 $c$ 。

求解方法 (Solution Method): 如果存在解，求解步骤如下 ：

1. 使用欧几里得算法计算 $d = \gcd(a, b)$。
2. 检查 $d$ 是否能整除 $c$。如果不能，方程无整数解。
3. 如果 $d|c$，则有 $c = k\cdot d$, 得到使用扩展欧几里得算法找到一对整数 $(x', y')$ 使得 $ax' + by' = \gcd(a,b)$。
4. 将该等式两边同时乘以 $k$，得到 $a(x' \cdot k) + b(y' \cdot k) = c$。
5. 因此，原方程的一组特解是 $x_0 = x' \cdot k$ 和 $y_0 = y' \cdot k$, where $k = c/d$.

Chapter 3: Modular Arithmetic (模算术)

3.1. The Concept of Congruence (同余的概念)

image: Pasted image 20251006034047.png

mod 运算符 (The mod Operator): $a \pmod b$ 是一个运算符，它返回一个具体的值，即根据除法定理，$a$ 除以 $b$ 所得的唯一非负余数 $r$ 。

模同余 (Congruence Modulo m): $a \equiv b \pmod m$ 是一个关系，它描述的是 $a$ 和 $b$ 之间的一种性质，是一个真或假的陈述。以下五种表述是完全等价的，在证明中可以相互转换 ：

1. $a \equiv b \pmod m$。
2. $a \pmod m = b \pmod m$。
3. $a$ 和 $b$ 被 $m$ 除时有相同的余数。
4. $m | (a - b)$。（在证明题中，这通常是最有用的定义）。
5. 存在某个整数 $k$，使得 $a = b + mk$。

3.2. Properties and Rules of Modular Arithmetic (模算术的性质与法则)

模算术的运算法则允许我们将同余式像等式一样进行操作：

• 加法: 若 $a \equiv b \pmod m$ 且 $c \equiv d \pmod m$，则 $a+c \equiv b+d \pmod m$。
• 乘法: 若 $a \equiv b \pmod m$ 且 $c \equiv d \pmod m$，则 $ac \equiv bd \pmod m$。
• 幂运算: 若 $a \equiv b \pmod m$，则对于任意正整数 $k$，有 $a^k \equiv b^k \pmod m$。

“除法”法则 (Cancellation Rule): 在模算术中没有直接的除法，但存在有条件的”消去”法则，这是考试的重点和难点：

1. 三项同除: 如果 $ak \equiv bk \pmod{mk}$，则 $a \equiv b \pmod m$。可以同时消去两边的公因子 $k$ 和模数中的公因子 $k$ 。
2. 互质消去: 如果 $ak \equiv bk \pmod m$ 且 $gcd(k, m) = 1$，则 $a \equiv b \pmod m$。
   • 只有 $k$ 与 $m$ 互质时，才能直接从同余式两边消去 $k$ 。
   • $m | (a-b)k$. If $m \nmid k$, that $m | (a - b)$.
   • Hence, we have $a \equiv b\pmod m$

第二条规则的深层原因是乘法逆元的存在性。条件 $gcd(k, m) = 1$ 保证了 $k$ 模 $m$ 存在乘法逆元。从另一个角度看，$ak \equiv bk \pmod m$ 意味着 $m | (ak - bk)$，即 $m | k(a-b)$。我们希望得出 $m | (a-b)$。根据数论的基本性质（欧几里得引理的推广），如果一个数 $m$ 能整除两个数 $k$ 和 $(a-b)$ 的乘积，且 $m$ 与其中一个数 $k$ 互质（没有公共素因子），那么 $m$ 必须能整除另一个数 $(a-b)$。这正是 $a \equiv b \pmod m$ 的定义。

3.3. Advanced Techniques: Reducing Powers and Fermat’s Little Theorem (进阶技巧：降幂与费马小定理)

降幂策略 (Strategy for Reducing Powers): 计算 $a^k \pmod m$ 这类大指数幂的问题时，核心策略是避免直接计算 $a^k$，而是利用模运算的性质逐步化简 。

1. 寻找循环节: 计算 $a$ 的小指数幂模 $m$ 的值，如 $a^2 \pmod m, a^3 \pmod m, \dots$。
2. 定位关键值: 寻找一个较小的指数 $j$，使得 $a^j$ 模 $m$ 的结果是一个很小的数，最好是 1 或 -1。
3. 分解大指数: 利用上面找到的 $a^j$，将大指数 $k$ 写成 $k = qj + r$ 的形式。
4. 化简: $a^k = a^{qj+r} = (a^j)^q \cdot a^r$。由于 $a^j \pmod m$ 是一个很小的值，$(a^j)^q \pmod m$ 就很容易计算了。

示例：计算 $7^{1001} \pmod{12}$

• $7^1 \equiv 7 \pmod{12}$
• $7^2 = 49 \equiv 1 \pmod{12}$
• 我们找到了一个关键值 $7^2 \equiv 1 \pmod{12}$。
• 分解指数：$1001 = 2 \times 500 + 1$。
• $7^{1001} = 7^{2 \times 500 + 1} = (7^2)^{500} \cdot 7^1 \equiv 1^{500} \cdot 7 \equiv 7 \pmod{12}$。

费马小定理 (Fermat’s Little Theorem): 这是一个强大的降幂工具，但仅适用于模数为素数的情况 。 定理内容: 如果 $p$ 是一个素数，且整数 $a$ 不能被 $p$ 整除 ($p \nmid a$)，那么： $a^{p-1} \equiv 1 \pmod p$ 该定理为我们提供了一个直接找到幂为 1 的快捷方式，极大地简化了在素数模下的大指数幂计算。

示例：计算 $99^{100} \pmod{101}$

• 模数 101 是一个素数。
• $101 \nmid 99$。
• 根据费马小定理，令 $p=101, a=99$，我们有 $99^{101-1} \equiv 99^{100} \equiv 1 \pmod{101}$。

Chapter 4: Solving Linear Congruences (求解线性同余方程)

4.1. Existence of Solutions for $ax \equiv c \pmod m$ (解的存在性)

与丢番图方程的联系 (Connection to Diophantine Equations): 求解线性同余方程 $ax \equiv c \pmod m$ 本质上等价于求解线性丢番图方程 $ax + my = c$ 的整数解 $x$。 根据 $a \equiv c \pmod m$ 的定义，存在整数 $k$ 使得 $ax - c = mk$，变形即为 $ax - mk = c$。令 $y = -k$，就得到了 $ax + my = c$。

可解性判据 (The Solvability Criterion): 基于上述联系，线性同余方程的解的存在条件与线性丢番图方程完全相同： 方程 $ax \equiv c \pmod m$ 有解，当且仅当 $d | c$，其中 $d = gcd(a, m)$

解的数量 (Number of Solutions): 如果存在解，那么在模 $m$ 的意义下，恰好有 $d$ 个不同的解 .

4.2. A General Method for Finding All Solutions (通解求解方法)

$$ax \equiv c \pmod m$$

求解线性同余方程的通用算法综合了前面章节的知识 ：

1. 计算 GCD: 使用欧几里得算法计算 $d = gcd(a, m)$。
2. 检查条件: 验证 $d$ 是否整除 $c$。若不整除，则方程无解。
3. 简化方程: 若 $d|c$，将原方程 $ax \equiv c \pmod m$ 的每一项（包括模数）都除以 $d$，得到一个新的、等价的同余方程： $(\frac{a}{d})x \equiv (\frac{c}{d}) \pmod{\frac{m}{d}}$
4. 求解简化方程: 在新方程中，系数 $(a/d)$ 与模数 $(m/d)$ 互质。因此，我们可以通过扩展欧几里得算法找到 $(a/d)$ 模 $(m/d)$ 的乘法逆元，从而求得 $x$ 的一个特解 $x_0$。
5. 获得所有解: 这个特解 $x_0$ 是在模 $(m/d)$ 意义下的唯一解。要得到在原始模数 $m$ 下的所有解，只需不断地加上 $(m/d)$： $x \equiv x_0 + k \cdot (\frac{m}{d}) \pmod m, \quad \text{其中 } k \in \{0, 1, \dots, d-1\}$

示例：求解 $130x \equiv 125 \pmod{245}$

1. 计算 $d = gcd(130, 245) = 5$。
2. $5 | 125$，所以方程有解，且在模 245 下有 5 个解。
3. 简化方程：$130x/5 \equiv 125/5 \pmod{245/5}$，即 $26x \equiv 25 \pmod{49}$。
4. 求解 $26x \equiv 25 \pmod{49}$。我们需要找到 26 模 49 的逆。通过扩展欧几里得算法解 $26x' + 49y' = 1$，可得 $x' = -15 \equiv 34 \pmod{49}$。所以 $26^{-1} \equiv 34 \pmod{49}$。 因此 $x \equiv 25 \cdot 34 \pmod{49} \equiv 850 \pmod{49} \equiv 17 \pmod{49}$。 我们得到特解 $x_0 = 17$。
5. 所有 5 个解为：$17, 17+49, 17+2\cdot49, 17+3\cdot49, 17+4\cdot49$。 即 $x \equiv 17, 66, 115, 164, 213 \pmod{245}$。

4.3. The Role of Multiplicative Inverses (乘法逆元的作用)

定义 (Definition): 整数 $a$ 模 $m$ 的乘法逆元 (multiplicative inverse)，记作 $a^{-1}$，是一个整数 $y$ ($0 \le y < m$)，满足 $ay \equiv 1 \pmod m$

存在性 (Existence): $a$ 模 $m$ 的乘法逆元存在，当且仅当 $gcd(a, m) = 1$

求解逆元 (Finding the Inverse): 寻找 $a^{-1} \pmod m$ 的过程就是求解线性同余方程 $ax \equiv 1 \pmod m$。这可以通过扩展欧几里得算法求解 $ax + my = 1$ 来完成。

应用 (Application): 如果 $gcd(a, m) = 1$，那么求解 $ax \equiv c \pmod m$ 就变得非常简单。只需在等式两边同时乘以 $a^{-1}$： $a^{-1}ax \equiv a^{-1}c \pmod m$ $x \equiv a^{-1}c \pmod m$ 这是在系数与模数互质的情况下最直接的解法 。

---

Part II: Relations (关系)

本部分将从具体的数论世界过渡到更抽象的结构。我们将定义关系，根据其性质进行分类，并探讨等价与序这两个深刻的概念。

Chapter 5: Relations and Their Properties (关系及其性质)

5.1. Defining and Representing Relations (关系的定义与表示)

形式化定义 (Formal Definition): 从集合 $X$ 到集合 $Y$ 的一个关系 (relation) $R$ 是笛卡尔积 $X \times Y$ 的一个子集。如果一个关系是从集合 $X$ 到其自身，即 $R \subseteq X \times X$，则称其为集合 $X$ 上的一个关系。

记法 (Notation): $x R y$ 与 $(x, y) \in R$ 是等价的表述

表示方法 (Representations):

1. 箭头图 (Arrow Diagrams) / 有向图 (Directed Graphs): 一种直观的表示法，其中集合的元素是节点，元素间的关系用有向边表示。这是理解关系性质最有效的方式。
2. 关系矩阵 (Relation Matrix): 一个矩阵 $M$，其中行由 $X$ 的元素索引，列由 $Y$ 的元素索引。如果 $x_i$ 与 $y_j$ 有关系，则 $M_{ij} = 1$，否则为 0。这种表示法在计算环境中很有用。

5.2. The Four Fundamental Properties: R, S, A, T (四大基本性质)

以下表格总结了关系的四个核心性质，是考试的重点。

性质名称 (Property)	形式化定义 (Formal Definition)	箭头图解释 (Arrow Diagram Interpretation)
自反性 (Reflexive)	对所有 $x \in X$，都有 $x R x$。	每个节点都有一个指向自身的环 (loop)。
对称性 (Symmetric)	对所有 $x, y \in X$，若 $x R y$，则必有 $y R x$。	每条非环的箭头都有一个方向相反的对应箭头。
反对称性 (Antisymmetric)	对所有 $x, y \in X$，若 $x R y$ 且 $y R x$，则必有 $x = y$。	任意两个不同的节点之间，最多只有单向箭头。
传递性 (Transitive)	对所有 $x, y, z \in X$，若 $x R y$ 且 $y R z$，则必有 $x R z$。	如果存在从 $x$ 到 $z$ 的路径，则必须有一条从 $x$ 直达 $z$ 的”快捷”箭头。

一个常见的误区是认为对称性和反对称性是互斥的，即一个关系如果不是对称的，就必然是反对称的。这是错误的。一个关系可以同时满足两者（例如仅包含自环的恒等关系），也可以两者都不满足。

• 对称性要求：只要有 $x \to y$，就必须有 $y \to x$。
• 反对称性要求：只要有 $x \to y$ (且 $x \ne y$)，就绝不能有 $y \to x$。 它们的逻辑前提不同，因此并非”非此即彼”的关系。这个细微差别是考试中常见的陷阱。

Chapter 6: Equivalence Relations and Classes (等价关系与等价类)

6.1. Definition and Identification of Equivalence Relations (等价关系的定义与判定)

定义 (Definition): 一个等价关系 (equivalence relation) 是一个同时满足自反性 (Reflexive)、对称性 (Symmetric) 和传递性 (Transitive) (简称 RST) 的关系

解释 (Interpretation): 等价关系的核心作用是将一个集合中的元素进行分组，使得在某种特定的”标准”下，同一组内的所有元素都可以被视为是”相同的”。最经典的例子就是模 $m$ 同余关系

6.2. Equivalence Classes and Set Partitions (等价类与集合划分)

定义 (Definition): 给定集合 $X$ 上的一个等价关系 $\sim$，元素 $a$ 的等价类 (equivalence class)，记作 $[a]$，是 $X$ 中所有与 $a$ 有关系的元素的集合。即： $[a] = \{ x \in X : x \sim a \}$

核心定理 (Key Theorem): 在一个集合 $X$ 上，由一个等价关系所导出的所有等价类的集合，构成了对 $X$ 的一个划分 (partition)。这意味着 $X$ 中的每一个元素都属于且仅属于一个等价类。这是本节最重要的理论成果。

Chapter 7: Partial Orders and Posets (偏序关系与偏序集)

7.1. Definition and Identification of Partial Orders (偏序的定义与判定)

定义 (Definition): 一个偏序关系 (partial order) 是一个同时满足自反性 (Reflexive)、反对称性 (Antisymmetric) 和传递性 (Transitive) (简称 RAT) 的关系。

偏序集 (Partially Ordered Set, Poset): 一个集合 $X$ 以及其上的一个偏序关系 $\le$，共同构成一个偏序集，记作 $(X, \le)$。

核心示例 (Key Examples):

• 实数集与小于等于关系 $(\mathbb{R}, \le)$。
• 一个集合 $S$ 的幂集与子集关系 $(\mathcal{P}(S), \subseteq)$。
• 正整数集与整除关系 $(\mathbb{Z}^+, |)$。 掌握这三个例子对于理解偏序至关重要。

7.2. Visualizing Posets: Hasse Diagrams (偏序集的可视化：哈斯图)

目的 (Purpose): 哈斯图 (Hasse diagram) 是一种用于表示有限偏序集的简化图形。

构建规则 (Construction Rules): 从一个完整的有向图到一个哈斯图，需要经过以下三步简化：

1. 移除自环: 自反性是默认存在的，因此所有指向自身的环都可以省略。
2. 移除传递边: 传递性也是默认存在的，如果存在一条从 $x$ 到 $z$ 的路径，那么直达边 $x \to z$ 就可以省略。
3. 统一方向: 将所有节点重新排列，使得所有的边都朝上，然后移除所有箭头。

7.3. Special Elements and Bounds within Posets (偏序集中的特殊元素与界)

分析偏序集结构的术语是考试的常见考点。下表对这些易混淆的概念进行了区分。

术语 (Term)	定义 (Definition)	哈斯图解释 (Hasse Diagram Interpretation)	关键特性 (Key Property)
最小元 (Minimal Element)	元素 $x$，不存在任何其他元素 $y$ 使得 $y < x$。	图中”最底部”的节点，没有线从下方连接到它。	可以有多个。
最大元 (Maximal Element)	元素 $x$，不存在任何其他元素 $y$ 使得 $x < y$。	图中”最顶部”的节点，没有线从它连接到上方。	可以有多个。
最小元素 (Least Element)	唯一的元素 $x$，它小于等于集合中所有其他元素。	能够通过向上的路径到达图中所有其他节点的唯一底部节点。	如果存在，则唯一。
最大元素 (Greatest Element)	唯一的元素 $x$，它大于等于集合中所有其他元素。	所有其他节点都能通过向上的路径到达的唯一顶部节点。	如果存在，则唯一。
下界 (Lower Bound) of $\{x,y\}$	元素 $z$，满足 $z \le x$ 且 $z \le y$。	能够通过向上的路径同时到达 $x$ 和 $y$ 的节点。	可能有多个，也可能没有。
上界 (Upper Bound) of $\{x,y\}$	元素 $z$，满足 $x \le z$ 且 $y \le z$。	$x$ 和 $y$ 都能通过向上的路径到达的节点。	可能有多个，也可能没有。
最大下界 (glb) of $\{x,y\}$	所有下界中的最大元素。	所有下界中”最高”的那个。	如果存在，则唯一。
最小上界 (lub) of $\{x,y\}$	所有上界中的最小元素。	所有上界中”最低”的那个。	如果存在，则唯一。

7.4. Synthesis: GCD/LCM as GLB/LUB (综合：作为 GLB/LUB 的 GCD 与 LCM)

最终联系 (The Grand Connection): 本课程的数论与关系两部分内容，通过偏序集 $(\mathbb{Z}^+, |)$ 实现了深刻的统一。在这个特定的偏序集中：

• 两个元素 $a, b$ 的最大下界 (Greatest Lower Bound, glb) 就是它们的最大公约数 (Greatest Common Divisor, GCD)。
• 两个元素 $a, b$ 的最小上界 (Least Upper Bound, lub) 就是它们的最小公倍数 (Least Common Multiple, LCM)。

这种联系展示了数学抽象的强大力量。让我们来剖析一下：

1. 在偏序集 $(\mathbb{Z}^+, |)$ 中，一个元素 $z$ 是 $a$ 和 $b$ 的”下界”，意味着 $z \le a$ 且 $z \le b$。根据这个偏序的定义（整除关系），这等价于 $z | a$ 且 $z | b$。这正是公约数的定义。
2. 因此，$a$ 和 $b$ 的所有下界的集合，就是它们所有公约数的集合。
3. 而”最大下界 (glb)“是指在这个下界集合中，能够被所有其他下界整除的那个元素（即最大的元素）。这正是最大公约数的更深层次定义。
4. 同理，“上界”就是公倍数，“最小上界 (lub)“就是最小公倍数。

结论是，看似纯粹属于计算范畴的数论概念 GCD 和 LCM，实际上是更普适的、源于序理论的结构性概念 GLB 和 LUB 在特定偏序集上的具体体现。这种抽象的视角为我们理解这些基本概念提供了更统一、更深刻的框架。