近世代数——Part1 整数和等价关系

lan_777

已于 2022-06-23 13:21:13 修改

阅读量1.1k

点赞数 1

分类专栏：读书笔记——近世代数文章标签：代数抽象代数

于 2022-06-23 13:19:00 首次发布

本文链接：https://blog.csdn.net/lan_777/article/details/125416856

版权

读书笔记——近世代数专栏收录该内容

5 篇文章 4 订阅

订阅专栏

前言

想系统地学习一下近世代数，参考书是Joseph-Gallian的《Contemporary Abstract Algebra》，希望花半年时间读完，在博客里做笔记督促自己。

很多抽象代数的关注点在整数和集合的特性，为未来的学习方便，这节介绍一些基础的结论。

良序性

良序性（视为公理）：
任何正整数的非空集合都包含一个最小的数。

整除相关定义：

对于 $s,t\in Z$

$t$ ( $t\neq 0$ ) is a divisor of $s$ if $\exists u\in Z,s=tu$ , we write $t\mid s$ ; we read “ $t$ divides $s$ ”，即 $t$ 整除 $s$ ，或 $t$ 是 $s$ 的约数。反之，记为 $t\nmid s$
质数：定义为只有1和它本身两个约数的数。
$s$ is a multiple of $t$ if $\exists u\in Z, s=tu$ ; 倍数，等价于 $t\mid s$
$\gcd(a,b)$ ： $a$ 和 $b$ 的最大公约数
互质(relatively prime)： $\gcd(a,b)=1$
$\mathrm{lcm}(a,b)$ ： $a$ 和 $b$ 的最小公倍数

Theorem 0.1 Division Algorithm

$\forall a,b\in Z, b>0\to \exists !\ q,r\in Z,a=bq+r\ \land\ 0\le r<b$

约定符号 $\exists !$ 表示存在唯一的元素。

定理含义：这个定理描述了整数相除的结果， $a$ 是被除数， $b$ 是除数， $q$ 是商， $r$ 是余数。这里还限制了除数大于0，余数非负且余数必须小于除数，这样才能保证商和余数的唯一性。

证明：考虑一个集合 $S=\{a-bk\mid k\in Z,a-bk\ge 0\}$

显然，集合是非空的，这很好证明，著需要选取适当的 $k$ 使得 $a-bk\ge 0$ 即可，这里可以简单取 $k = - b ∣ a ∣$

如果 $0\in S$ ，那么 $b\mid a$ ，此时必有 $r = 0, q = a / b$ ，这取法是唯一的；

如果 $0\notin S$ ，根据良序性，集合必然存在一个最小的正数，不妨设为 $r$ ，此时有 $a=bq+r,r\ge 0$ ，此时只需要证明 $r < b$ 即可。如果 $r\ge b$ ，很容易确定， $r$ 并非 $S$ 中最小的数，只需将 $k$ 增加1 ( $a > 0$ 的情况， $a < 0$ 则相反），那么必有 $r-b\in S$ 。

QED

Theorem 0.2 GCD is a Linear Combination

$\forall a,b\in Z, a\neq 0, b\neq 0\to \exists s,t\in Z\ ,\gcd(a,b)=as+bt$

$\gcd(a,b)=\min\{as+bt\mid as+bt>0\}$

定理含义：这个定理说明，两个整数的最大公约数可以写成这两个数的线性组合，且最大公约数是这两个数的所有线性组合中，最小的正整数。

证明：考虑集合 $S=\{am+bn\mid m,n\in Z\ \land am+bn>0\}$

显然集合非空，选取 $m$ 和 $n$ 分别与 $a$ 和 $b$ 同号即可。

根据良序性，这个集合必然存在最小的元素，不妨设为 $d = a s + b t$ ，这里 $s, t$ 是集合取最小时确定的数。

根据定理内容， $d=\gcd(a,b)$ ，我们证明这个即可。

根据Theorem 0.1，直接考虑 $a$ 除以 $d$ ，必有 $a=dq+r,0\le r<d$ ，如果 $r\neq 0$ ， $r=a-dq=a-(as+bt)q=a-asq-btq=a(1-sq)+b(-tq)\in S$ ，这说明 $d$ 并非 $S$ 中最小的数（因为此时 $r$ 是 $a$ 和 $b$ 的线性组合），产生矛盾，因此必有 $r=0\to d\mid a$ ，同理， $d\mid b$ ，因此 $d$ 是 $a, b$ 的公约数。

假设存在比 $d$ 更大的公约数 $d^{'}$ ，必有 $\exists h,k\in Z, \mathrm{s.t.}\ a=d'h,b=d'k$ ，因此 $d = a s + b t = a d^{'} h + b d^{'} k = d^{'} (a h + b k)$ ，显然 $d'\mid d$ ， $d$ 肯定是更大的数。推出矛盾，因此 $d=\gcd(a,b)$

Corollary

$a$ 和 $b$ 互质等价于 $\exists s,t\in Z\ \mathrm{s.t. }\ as+bt=1$

Euclid’s Lemma

$p\mid ab \to p\mid a\ \lor p\mid b$ if $p$ is a prime.

定理含义：质数如果是两个数乘积的约数，那么这个质数是这两个整数之一的约数。

证明：显然，分情况讨论下即可。

$p\mid ab\ \land\ p\nmid a\to 1=as+pt\to b=asb+ptb$ ， $p$ 是方程右侧的约数，自然是 $b$ 的约数

Theorem 0.3 Fundamental Theorem of Arithmetic

大于1的整数，要么是质数，要么是质数之积，且质因数分解方式唯一。

定理含义：算术基本定理，主要阐明，整数的质因数分解唯一。

证明：存在性的证明使用了强数学归纳法: 点击跳转 ;Euclid’s Lemma保证了分解的唯一性。

模算术

模是一种计数方法的抽象。例如，今天是星期3，23天后是星期几呢？只需要让23对7取余数，得2，所以答案是星期5.

模算术思想很简单，但在数学和计算机科学中很重要。

根据 Theorem 0.1 有 $a = q n + r$ ，我们记 $a\mod{n}=r$

有一些显而易见的结论值得列出：

$a\mod n=b\ \mathrm{iif.}\ n\mid (a-b)$
两个数和的模，积的模，都可以简化为先计算模，再加（乘），再取模。例如 $27\times 36\mod{11}=5\times 3\mod{11}$

一个有趣的例子

尝试证明： $x^2-y^2=1002$ 没有整数解。

证明：首先我们知道 $1002\mod{4}=2$

对于任何整数，模4的结果只有0，1，2，3，而对于任何整数平方模4的结果，则只可能0，1，那很显然， $x^2-y^2\mod{4}$ 的结果无论如何都不可能是2。

复数

复数是具有形式 $a,b\in R,i=\sqrt{-1}$ 的数。

极坐标表示 $r(\cos(\theta)+i\sin(\theta))$

Theorem 0.4 Properties of Complex Numbers

对加法封闭， $\forall a,b\in C\to a+b\in C$
对乘法封闭
当除数不等于0时，对除法封闭
非0复数的逆存在
$(r(\cos\theta+i\sin\theta))^n=r^n(\cos n\theta+i\sin n\theta)$

数学归纳法

Theorem 0.5 First Principle of Mathematical Induction

$S$ is a set and $a\in S$ ，Suppose $S$ has the property whenever some integer $n\ge a$ belongs to $S$ , then $n + 1$ also belong to $S$ . Then, $S$ contains every integer greater than or equal to $a$ .

定理含义：说的是，如果集合 $S$ 有一个性质，即有一些大于等于 $a$ 的整数 $n$ 属于 $S$ 的话， $n + 1$ 必然也属于 $S$ . 那么， $S$ 必然包含所有大于等于 $a$ 的整数。

Theorem 0.6 Second Principle of Mathematical Induction

$S$ is a set and $a\in S$ ，Suppose $S$ has the property that $n\in S$ , when $\forall m\in S\ \mathrm{s.t.} \ a\le m<n,\mathrm{}\ m\in S$ .Then, $S$ contains every integer greater than or equal to $a$ .

定理含义：这里归纳仍然是需要两个条件，1. $a\in S$ ；2.如果假定 $a\le m<n$ 的所有 $m$ 都属于 $S$ ，可推出 $n\in S$

两种归纳法的理解

首先说明一下，上述两个定理的表述我是抄的书上的，更合适的说法应该不是自然数属于集合 $S$ ，而是自然数具有某种特定的性质。

第一种归纳法是我们常见的那种，即存在一个起始点 $a$ 具有性质 $p$ ，**我们假定 $n$ 也具有性质 $p$ ，可推出 $n + 1$ 也具有性质 $p$ **时，就可以得出结论：任何大于等于 $a$ 的整数都具有性质 $p$

第二种归纳法也叫强归纳法，区别在第二个条件，可以使用 $a$ 到 $n - 1$ 的所有整数来推出 $n$ ，它假设的条件是更多的。

第二数学归纳法再某些情况下更好用，这里给出之前算术基本定理的证明：

约定，所有质数和质数之积的集合是 $S$

显然， $2\in S$ ，假定所有整数 $\forall k\in Z, \mathrm{s.t.}\ 2\le k<n\to k\in S$ ，对于 $n$ 来说，要么是质数属于 $S$ ，要么是合数可写成 $ab,\mathrm{s.t.}\ 1<a<n\ \land\ 1<b<n$ ，显然 $a\in S\ \land\ b\in S$ ，因此 $n\in S$

显然，通过这个证明，可以更深刻理解这两种归纳方式的别，强归纳法能在假设中把两个（甚至多个）变量 $a$ 和 $b$ 赋予性质 $p$ ，而第一种归纳方式仅假定了一个数。

另一个有趣的例子

给定任意面值5美元的硬币和面值8美元的硬币，找到这两种硬币最大的不可表示的总面值。

分析：很明显，题目就是求 $5$ 和 $8$ 的非负整数系数的所有线性组合所不能表达的最大数，用符号表示即是： $\max{\{Z-\{5a+8b\mid a,b\in Z\ \mathrm{s.t.}\ a\ge 0 ,b\ge 0\}\}}$

很容易可以从小到大列出可表达的面值：

$5=5\times 1+8\times 0$

$8=5\times 0+8\times 1$

$10=5\times 2+8\times 0$

$13=5\times 1+8\times 1$

$\cdots$

$26=5\times 2+8\times 2$

$28=5\times 4+8\times 1$

$29=5\times 1+8\times 3$

$\cdots$

$39=5\times 3+8\times 3$

$40=5\times 8+8\times 0$

似乎从 $27$ 后面所有数都有正确的表示，我们可以考虑能否证明所有大于 $27$ 的数都可以表示为 $5 a + 8 b$ 的形式。

约定下面的 $a, b$ 服从约束： $a,b\in Z\ \mathrm{s.t.}\ a\ge 0,b\ge 0$

首先用第一数学归纳法：

显然 $28$ 可以表示为 $5 a + 8 b$ 的形式，那么假设大于 $28$ 的一个数 $n = 5 a + 8 b$ ，显然， $a\ge 3\ \lor\ b\ge 3$ ，因为如果不满足此条件，将有 $n\le 28$

接下来我们有： $n+1=5a+8b+(-3\cdot5+2\cdot 8)=5\cdot (a-3)+8\cdot (b+2)$

$n+1=5a+8b+(5\cdot5-3\cdot 8)=5\cdot (a+5)+8\cdot (b-3)$

显然，递推可以继续，QED

然后使用第二数学归纳法：

首先， $28$ 满足条件，我们很容易验证 $28, 29, 30, 31, 32$ 满足条件，那么对于 $n > 32$ ，我们假定所有 $28\le k< n$ 满足条件，现在要证明 $n$ 满足条件，很简单，由于 $n - 5$ 满足， $n$ 自然满足（只需要把 $a$ 系数增加 $1$ 就是 $n$ 的表示）。QED

等价关系

事物的关系是复杂的，也取决于我们看待问题的角度，两件事物在一种角度下是完全不同的，但可能在另一种情况下是等价的。一个典型的例子是3和8当然是不同的，但在模5运算下确实相同的。数学中等价关系用于精确地区分各种等价和差异。

定义

An equivalence relation on a set $S$ is a set $R$ of ordered pairs of elements of $S$ such that

$(a,a)\in R\ \forall\ a\in S$
$(a,b)\in R\to (b,a)\in R$
$(a,b)\in R\ \land\ (b,c)\in R\to(a,c)\in R$

定义理解：等价关系需要对一个集合声明和定义（on a set $S$ ），它本身是一个有序二元对集合 $R$ ，二元对中的每个元素都是 $S$ 的元素。且等价关系满足反身性，对称性和传递性。

记号

如果 $S$ 是定义等价关系的集合， $R$ 表示等价关系， $a,b\in S$

$(a,b)\in R$ 可记为 $a R b$ ，也可记为 $a\sim b$
$[a]=\{x\in S\mid x\sim a\}$ ， $a$ 的等价类或含有 $a$ 的等价类

例子

这里仅列出几个重要的例子：

模 $n$ 同余：

$n$ 是正整数， $a,b\in Z$ ， $a\sim b\ \mathrm{if}\ a\mod{n}=b\mod{n}$ ，模 $n$ 同余定义了一种等价关系，等价类可以表示为 $[a]=\{a+kn\mid k\in Z\}$ 。这个等价关系很容易验证满足三条件。
$S=\{(a,b)\mid a,b\in Z,b\neq 0\}$ ，在 $S$ 上定义等价关系： $(a,b)\sim (c,d)\ \mathrm{if}\ ad=bc$ ，这个等价关系的动机来自于分数，实际上表示分数相等 $a / b = c / d$ 。

划分Parititon

集合的划分指的是集合 $S$ 分为几个不相交的，并集为 $S$ 的子集。

定义划分的目的是为了引入等价类的划分方式。

Theorem 0.7 Equivalence Classes Partition

集合 $S$ 上定义的一个等价关系的等价类构成集合 $S$ 的一个划分。反之也成立，对于集合 $S$ 的任何划分，都可以据此定义一个等价关系。

定理理解：这个定理实际上说明等价关系的定义和集合划分是等效的操作。

证明：这个定理的反之这里就不作证明了，因为可以用比较无脑的方式给出，直接定义等价关系就是属于某个划分后的子集就行。

对于等价关系如何形成划分的证明，要证明等价类无交集且并集是 $S$ 。

首先等价类肯定无交集，因为传递性导致如果两个等价类有交集，这两个等价类就是一个等价类。

所有等价类的并集是 $S$ 就更好证明了，对所有元素各自求一个等价类，这些等价类必然包含这些元素，那么他们的并必然是 $S$ 。

函数与映射

接下来介绍一下函数，函数在数学众多领域中都是至关重要的，各种关于函数的记号却有略微差别，这里约定好关于函数的定义和记号。

Definition Function (Mapping)

A function (or mapping) $\phi$ for a set $A$ to a set $B$ is a rule that assigns to each element $a$ of $A$ exactly one element $b$ of $B$ . $A$ is called the domain of $\phi$ , and $B$ is called a range of $\phi$ . if $\phi$ assigns $b$ to $a$ , $b$ is called the image of $a$ under $\phi$ . The subset of $B$ comprising all the images of elements of $A$ is called the image of $A$ under $\phi$

定义理解：

函数和映射是一个意思，是针对两个集合的一个规则，这个规则能让集合 $A$ 的任意元素，在 $B$ 集合中找到对应的值。
集合 $A$ 被称为定义域，集合 $B$ 被称为值域。
元素 $a$ 被映射为元素 $b$ ，那么 $b$ 被叫做像。
$A$ 集合中所有元素在 $B$ 中的像的集合，被称为 $A$ 的像。

映射符号

两集合映射的表示： $\phi:A\to B$
元素间映射的表示： $\phi:a\to b$ or $\phi(a)=b$

函数的复合

Let $\phi : A\to B$ and $\varphi :B\to C$ . The composition $\varphi\phi$ is a mapping from $A$ to $C$ .
We denote that $(f\circ g)(x)=f(g(x))$

函数的一种分类

约定讨论函数 $\phi :A\to B$

one-to-one function: $\forall a_1, a_2\in A, \phi (a_1)=\phi (a_2)\longrightarrow a_1=a_2$
Function from $A$ onto $B$ : $\forall b\in B, \exists a\in A\ \mathrm{such\ that}\ \phi (a)=b$