符号表
符号 | 说明 | 衍生示例 |
---|---|---|
有理数,即 | , | |
整数集,即 | ,表示正整数集,表示负整数集 | |
自然数集,即 | 也表示正整数集 | |
实数集,即 | , | |
同余于模 | ||
有限群的阶 | ||
, 的最大公约数 | ||
欧拉函数 | ||
群 | ||
生成元 | ||
环 | ||
由生成的主理想 | ||
域 | 表示模n形成的有限域,为素数 |
1 模运算(Modular Arithmetic)
1.1 模约化(Modular Reduction)
如果我们用代替, 称为此过程称为模约化,而代表了除以的余数
1.2 同余式(Congruences)
对于,如果整除,则称“同余于模”,记做
1.3 算数模(arithmetic modulo)
我们定义算术模为:表示具有两个运算符(加法)和(乘法)的集合。 中的加法和乘法与实数加法和乘法完全一样,只是结果要进行模约化。
2 群(Groups)
2.1 代数结构
讲“群”,先讲讲“代数结构”。代数结构是指具有⼀个及以上运算的⾮空集合。
2.2 群(Group)
群是非空集合和基于定义的二元操作符组成的,满足如下4种性质的对,表示为 。因此,群也是一种代数结构。
-
封闭性(closed):如果,则。
-
结合律(associative):如果, 则。
-
单位元(identity):集合中存在⼀个元素,保证,对所有的都成⽴。
-
逆元(inverse):对每个集合的元素,存在对应的,保证。
有两类特殊的群:阿贝尔群和循环群,下文介绍。
2.3 阶(Order)
有限群的阶定义为,表示为。
对群中的元素,即,的阶定义为满足如下式的最小的正整数。其中为的单位元
2.4 阿贝尔群(Abelian Group)
对于群,如果操作符还满足交换律,对,有,则称为阿⻉尔群,⼜称为交换群。
2.5 有限群(Finite Group)
对于群,如果是有限集合,则称是有限群。
2.6 循环群(Cyclic Group)
对于有限阿贝尔群,如果存在一个元素的阶数等于,则称该群为循环群,元素称为该群的生成元(Generator),通常记作。循环群中的所有元素都可以由生成元通过幂次运算得到,且生成元和群的阶一定是互质的。
循环群都是阿⻉尔群,但不是所有的阿⻉尔群都是循环群。
2.7 子群(Subgroup)
假设是一个有限群。如果也是一个有限群,且,则称是的一个子群。
显然,为使为有限群,并非任意的就可以的,从中选取元素时需重点考虑令满足封闭性:。
2.8 陪集(Coset)
设 是的子群,那么,定义右陪集(right coset)为: 。
同理, 定义左陪集(left coset)为:。
2.9 欧拉函数(Euler Totient Function)
对于整数,表示小于且与互质的所有正整数的数量。 被称为欧拉函数。
2.10 拉格朗日定理(Lagrange’s theorem)
如果 是的子群,则 整除
2.11 同构(Isomorphism )
一个从到的同构是一个双射(bijection) 满足,。
如果是从 到的同构,那么和的阶相同,并且
2.12 同态(Homomorphism)
一个从到的同态是一个映射(mapping) 满足,。
一个从到的同态是同构当且仅当是双射的时候。
2.13 欧几里得算法(Euclidean Algorithm)
用于计算两个正整数(例如a和b)的最大公约数。
2.14 扩展欧几里得定理(Extended Euclidean Algorithm)
- 扩展欧几里得定理
给定两个不完全为0的整数,,必存在整数,使得,是,的最⼤公约数。
- 扩展欧几里得算法
给定两个不全为0整数a和b,扩展欧几里得算法计算整数使得,本文略。
2.15 直积(Direct Product)
假设和是群,则其直积所得的群定义为, 其中:对于任意的,满足。
3 环(Rings)
3.1 环(Ring)
环是非空集合和基于定义的两个⼆元操作符组成的,满足如下性质三元组,记作。
-
是一个阿贝尔群,即满足封闭性,结合律,交换律,且有单位元和逆元。
-
乘法封闭性:如果,则。
-
乘法结合律:如果,则。
-
乘法分配律(distributive):如果,则
注意,环中的乘法不要求可交换、有单位元或逆元,可理解为只支持加减乘运算。
3.2 有限环(Finite Ring)
如果环中是有限集合,则称为有限环。
3.3 交换环(Cyclic Ring)
如果环中的乘法满足交换律,则称为交换环。
3.4 欧几里得多项式算法
计算两个多项式, 的最大公约数
3.5 直积(Direct Product)
假设和是环。则其直积所得的环定义为, 其中:对于任意的,满足 ,且
3.6 同构(Isomorphism )
一个从到的同构是一个双射(bijection) 满足,,且。
3.7 中国剩余定理(Chinese Remainder Theorem)
求解同时满足多个子同余式的的同余式。本文略去。
3.8 子环(Subring)
-
子环
环的⼀个⾮空⼦集,如果在加法和乘法上依然是个环,那么就称这个环是原来的环的⼦环。
对于有理数域,整数环就是它的⼀个⼦环。对于整数环,所有偶数依然在加法、乘法下构成⼀个环(因为任何两个偶数通过加、减、乘得到的还是偶数,对于加、减、乘是封闭的,所以依然是⼀个环),偶数环是整数环的⼀个⼦环。对于阶实数矩阵环,其所有的⾮对⻆线上的值全为0的阶矩阵在矩阵加法、矩阵乘法上也构成了原矩阵环的⼀个⼦环,对于、两个矩阵,如果⾮对⻆线上为0,那么⽆论加法、减法还是乘法,得到的结果⾮对⻆线上都为0。
3.9 理想(Ideal)
-
理想(Ideal):
对于交换环。满足下面要求的集合称为的理想:
- 是阿贝尔群
- ,满足
-
平凡理想(Trival Ideal)
很明显,每个环⾄少有两个理想:⼀个理想是单个0元所组成的环,因为任何⼀个元与0元的乘都为0元;另⼀个是这个环本身。这两个理想,称为“平凡理想”(trival ideal)。
-
主理想(Principal Ideal)
对于交换环,设, 以c生成的主理想,记作 ,定义为如下集合:
显然,主理想一定是一种理想。
3.10 商环(Quotient Ring)
-
分划
分划是指,⼀个⾮空⼦集的集合,并满⾜所有元素有且只能有⼀个所在的⾮空⼦集。⽐如可以有如下的分划:
-
类
分划中的任意一个非空子集,称为类。
-
商环
设是的理想,如果是的一个分划,且,满足,则为关于理想的商环,记为。也就是说,商环是以为为“界”的切割后的⼦环的集合。
举例来说,是整数环,是的理想,商环就是。
基于陪集的定义:对于交换环, 是以生成的主理想,则其商环构造为:,其中由的(加法)陪集构成。
对于,两个陪集和的和定义为,乘积(product)定义为
3.11 主环(Principal Ring)
对于交换环,如果的每个理想都是主理想,那么称是主环。
一个主环的例子是:
4 域(Fields)
4.1 域(Field)
一个带单位元的交换环 ,如果使得每个非零元素都具有乘法逆元,即是阿贝尔群,则称其为域,记作。
域是同时满⾜加法和乘法的结合律,交换律,分配律,单位元以及逆元五个性质的三元组,能同时支持加减乘除(除0以外)。
上式意思是,域中的所有⾮零元素的集合是关于乘法的阿⻉尔群。
举例而言,,,是域,是环。
4.2 有限域(Finite Field)
-
有限域
有限域是集合中元素有限的域,⼜称为伽罗瓦域(Galois域)。它是伽罗瓦在18世纪30年代研究代数⽅程根式求解问题时提出的。
4.3 特征(Characteristics)
根据定理,当且仅当时阶为的有限域才存在,其中为素数,且。称为的特征
4.4 子域(Subfield)
类似子群,子环。
网友评论