美文网首页
密码学:数论基础

密码学:数论基础

作者: PlyTools | 来源:发表于2020-02-04 04:12 被阅读0次

符号表

符号 说明 衍生示例
\mathbb{Q} 有理数,即\{\frac{a}{b} \mid a, b \in \mathbb{Z}, b \neq 0\} \mathbb{Q}^+,\mathbb{Q}^-
\mathbb{Z} 整数集,即\{..., −3, −2, −1, 0, 1, 2, 3, ...\} \mathbb{Z^*}\mathbb{Z}^+表示正整数集,\mathbb{Z^-}表示负整数集
\mathbb{N} 自然数集,即 \{0, 1, 2, 3, ...\} \mathbb{N^*}也表示正整数集
\mathbb{R} 实数集,即\{x \mid x \in [-\infty, +\infty]\} \mathbb{R}^+, \mathbb{R}^-
a \equiv b (\bmod m) a同余于bm
ord(G) 有限群G的阶
gcd(c, b) a, b的最大公约数
\phi(n) 欧拉函数
G
g 生成元
R
(c) c生成的主理想
F F_n表示模n形成的有限域,n为素数

1 模运算(Modular Arithmetic)

1.1 模约化(Modular Reduction)

如果我们用a \bmod m代替a, 称为此过程称为模约化,而a \bmod m代表了a除以m的余数

1.2 同余式(Congruences)

对于\forall a, b \in \mathbb{Z}, m \in \mathbb{Z}^+,如果m整除b-a,则称“a同余于bm”,记做a \equiv b (\bmod m)

1.3 算数模(arithmetic modulo)

我们定义算术模m\mathbb{Z}_m:表示具有两个运算符+(加法)和\cdot(乘法)的集合\{0, \dots, m − 1\}\mathbb{Z}_m中的加法和乘法与实数加法和乘法完全一样,只是结果要进行模m约化。

2 群(Groups)

2.1 代数结构

讲“群”,先讲讲“代数结构”。代数结构是指具有⼀个及以上运算的⾮空集合。

2.2 群(Group)

群是非空集合X和基于X定义的二元操作符\star组成的,满足如下4种性质的对,表示为G=(X, \star) 。因此,群也是一种代数结构。

  1. 封闭性(closed):如果a, b \in X,则a\star b \in X

  2. 结合律(associative):如果a, b, c \in X, 则(a\star b)\star c = a\star(b\star c)

  3. 单位元(identity):集合中存在⼀个元素id,保证a\star id = id\star a = a,对所有a \in X的都成⽴。

  4. 逆元(inverse):对每个集合的元素a \in X,存在对应的b \in G,保证a\star b = b\star a = id

有两类特殊的群:阿贝尔群和循环群,下文介绍。

2.3 阶(Order)

有限群G =(X, \star)的阶定义为|X|,表示为ord(G)

对群中的元素,即\forall a \in Xa的阶定义为满足如下式的最小的正整数m。其中idG的单位元

\underbrace{a \star a \star \cdots \star a}_{m} = id

2.4 阿贝尔群(Abelian Group)

对于群G=(X, \star),如果操作符\star还满足交换律,对\forall a, b \in X,有a\star b = b\star a,则称G为阿⻉尔群,⼜称为交换群

2.5 有限群(Finite Group)

对于群G=(X, \star),如果X是有限集合,则称G是有限群。

2.6 循环群(Cyclic Group)

对于有限阿贝尔群(X, \star),如果存在一个元素g \in X的阶数等于|X|,则称该群为循环群,元素g称为该群的生成元(Generator),通常记作g。循环群中的所有元素都可以由生成元g通过幂次运算得到,且生成元和群的阶|X|一定是互质的。

循环群都是阿⻉尔群,但不是所有的阿⻉尔群都是循环群。

2.7 子群(Subgroup)

假设G=(X, \star)是一个有限群。如果H =(Y, \star)也是一个有限群,且Y \subseteq X,则称HG的一个子群。

显然,为使H为有限群,并非任意的Y \subseteq X就可以的,从X中选取元素时需重点考虑令H满足封闭性:\forall h1, h2 \in H, h1\star h2 \in H

2.8 陪集(Coset)

H = (Y, \star)G = (X, \star)的子群,那么\forall a \in X,定义右陪集(right coset)Ya为: Ya = \{y \star a : y \in Y\}
同理, 定义左陪集(left coset)aY为:aY = \{a \star y : y \in Y\}

2.9 欧拉函数(Euler Totient Function)

对于整数n≥2\phi(n)表示小于n且与n互质的所有正整数的数量。 \phi(n)被称为欧拉函数。

2.10 拉格朗日定理(Lagrange’s theorem)

如果H = (Y, \star)G = (X, \star)的子群,则ord(H) 整除ord(G)

2.11 同构(Isomorphism )

一个从G = (X, \star)H = (Y, ∗)的同构是一个双射(bijection) \varphi : X → Y满足\forall a, a' \in X\varphi(a \star a') = \varphi(a) ∗ \varphi(a')

如果\varphi: X \rightarrow Y是从G = (X, \star)H = (Y, ∗)的同构,那么GH的阶相同,并且\forall x \in X, ord(x) = ord(\varphi(x))

2.12 同态(Homomorphism)

一个从G = (X, \star)H = (Y, ∗)的同态是一个映射(mapping) \varphi : X → Y满足\forall a, a' \in X\varphi(a \star a') = \varphi(a) ∗ \varphi(a')

一个从GH的同态是同构当且仅当\varphi是双射的时候。

2.13 欧几里得算法(Euclidean Algorithm)

用于计算两个正整数(例如a和b)的最大公约数。

2.14 扩展欧几里得定理(Extended Euclidean Algorithm)

  • 扩展欧几里得定理

给定两个不完全为0的整数ab,必存在整数xy使得ax + by = \gcd(a,b)\gcd(a,b)ab的最⼤公约数。

  • 扩展欧几里得算法

给定两个不全为0整数a和b,扩展欧几里得算法计算整数x, y使得ax + by = \gcd(a,b),本文略。

2.15 直积(Direct Product)

假设G = (X, \star)G'= (X', *)是群,则其直积G × G'所得的群定义为G × G'= (X × X', \star), 其中:对于任意的a, b \in X, a', b' \in X',满足(a, a') \circ (b, b') = (a \star b, a' * b')

3 环(Rings)

3.1 环(Ring)

环是非空集合X和基于X定义的两个⼆元操作符组成的,满足如下性质三元组,记作R=(X, \cdot, +)

  1. (X, +)是一个阿贝尔群,即满足封闭性,结合律,交换律,且有单位元和逆元。

  2. 乘法封闭性:如果a, b \in X,则ab \in X

  3. 乘法结合律:如果a, b, c \in X,则(ab)c = a(bc)

  4. 乘法分配律(distributive):如果a, b, c \in S,则

    a(b + c) = (ab) + (ac)

    (b + c)a = (ba) + (ca)

注意,环中的乘法不要求可交换、有单位元或逆元,可理解为只支持加减乘运算

3.2 有限环(Finite Ring)

如果环R=(X, \cdot, +)X是有限集合,则称为有限环。

3.3 交换环(Cyclic Ring)

如果环R=(X, \cdot, +)中的乘法\cdot满足交换律,则称为交换环。

3.4 欧几里得多项式算法

计算两个多项式a(x), b(x)的最大公约数

3.5 直积(Direct Product)

假设R = (X, \cdot, +)R'= (X', \cdot, +)是环。则其直积R × R'所得的环定义为R × R'= (X × X', \cdot, +), 其中:对于任意的a, b \in X, a', b' \in X',满足(a, a') \cdot (b, b') = (a \cdot b, a' \cdot b') ,且(a, a') + (b, b') = (a + b, a'+ b')

3.6 同构(Isomorphism )

一个从R = (X, \cdot, +)S = (Y, ∗)的同构是一个双射(bijection) \varphi : X → Y满足\forall a, a' \in X\varphi(a \cdot a') = \varphi(a) \cdot \varphi(a'),且\varphi(a + a') = \varphi(a) + \varphi(a')

3.7 中国剩余定理(Chinese Remainder Theorem)

求解同时满足多个子同余式的x的同余式。本文略去。

3.8 子环(Subring)

  • 子环

    环的⼀个⾮空⼦集,如果在加法和乘法上依然是个环,那么就称这个环是原来的环的⼦环

对于有理数域\mathbb{Q},整数环就是它的⼀个⼦环。对于整数环,所有偶数依然在加法、乘法下构成⼀个环(因为任何两个偶数通过加、减、乘得到的还是偶数,对于加、减、乘是封闭的,所以依然是⼀个环),偶数环是整数环的⼀个⼦环。对于n阶实数矩阵环,其所有的⾮对⻆线上的值全为0的n阶矩阵在矩阵加法、矩阵乘法上也构成了原矩阵环的⼀个⼦环,对于ab两个矩阵,如果⾮对⻆线上为0,那么⽆论加法、减法还是乘法,得到的结果⾮对⻆线上都为0。

3.9 理想(Ideal)

  • 理想(Ideal):

    对于交换环R = (X, \cdot, +)。满足下面要求的集合称为R的理想:

    1. I \subseteq X
    2. (I, +) 是阿贝尔群
    3. \forall a \in X, b \in I,满足ab \in I
  • 平凡理想(Trival Ideal)

    很明显,每个环⾄少有两个理想:⼀个理想是单个0元所组成的环,因为任何⼀个元与0元的乘都为0元;另⼀个是这个环本身。这两个理想,称为“平凡理想”(trival ideal)。

  • 主理想(Principal Ideal)

    对于交换环R = (X, \cdot, +),设c \in X, 以c生成的主理想,记作(c) ,定义为如下集合:

    (c) = {ac : a \in X}
    显然,主理想一定是一种理想。

3.10 商环(Quotient Ring)

  • 分划

    分划是指,⼀个⾮空⼦集的集合,并满⾜所有元素有且只能有⼀个所在的⾮空⼦集。⽐如\{1, 2, 3, 4\}可以有如下的分划:

    \{\{1, 2\}, \{3, 4\}\}

    \{\{1\}, \{2, 3, 4\}\}

    \{\{1\}, \{2\}, \{3\}, \{4\}\}

  • 分划中的任意一个非空子集,称为

  • 商环

    IR的理想,如果QR的一个分划,且\forall x, y \in Q,满足x-y \in I,则QR关于理想I的商环,记为R/I。也就是说,商环Q是以为I为“界”的切割后的⼦环的集合。

    举例来说,\mathbb{Z}是整数环,(n)\mathbb{Z}的理想,商环\mathbb{Z}/(n)就是\mathbb{Z}_n

    基于陪集的定义:对于交换环R = (X, \cdot, +)I = (c) 是以c生成的主理想,则其商环R/I构造为:R/I = (Y, \cdot, +),其中YI的(加法)陪集构成。

    对于\forall a, b \in X,两个陪集I + aI + b的和定义为I + (a + b),乘积(product)定义为I + ab

3.11 主环(Principal Ring)

对于交换环R = (X, \cdot, +),如果R的每个理想I都是主理想,那么称R是主环。

一个主环的例子是:(\mathbb{Z}, \cdot, +)

4 域(Fields)

4.1 域(Field)

一个带单位元的交换环R = (X, \cdot, +) ,如果使得每个非零元素都具有乘法逆元,即(R\backslash\{0\}, \cdot)是阿贝尔群,则称其为域,记作F= (X, \cdot, +)

域是同时满⾜加法和乘法的结合律,交换律,分配律,单位元以及逆元五个性质的三元组(X, \cdot, +),能同时支持加减乘除(除0以外)

上式意思是,域中的所有⾮零元素的集合是关于乘法的阿⻉尔群。

举例而言,\mathbb{R}\mathbb{Q}\mathbb{C}是域,\mathbb{Z}是环。

4.2 有限域(Finite Field)

  • 有限域

    有限域是集合中元素有限的域,⼜称为伽罗瓦域(Galois域)。它是伽罗瓦在18世纪30年代研究代数⽅程根式求解问题时提出的。

4.3 特征(Characteristics)

根据定理,当且仅当q=p^k时阶为q的有限域F_q才存在,其中p为素数,k\geq 1k \in \mathbb{Z}p称为F_q的特征

4.4 子域(Subfield)

类似子群,子环。

相关文章

  • 密码学:数论基础

    符号表 符号说明衍生示例有理数,即,整数集,即,表示正整数集,表示负整数集自然数集,即 也表示正整数集实数集,即,...

  • 附录 2. 密码学专题 - 数学知识

    密码学专题 - 数学知识 2. 数论 这里仅列出一些对密码学有用的思想,关于数论更详细的知识请参考专业文献。 2....

  • 数论基础

    基本运算 取模(mod)取余(rem) 定义 给定一个正整数p,任意一个整数n,一定存在等式 : n = kp +...

  • 基础数论

    大数取模 ll ans=0; for(int i=0; i

  • 第9章 数论

    数论研究的是整数。 问题:为什么要研究整数?问题:数论有什么实际价值? 数论是现代加密技术的基础,而加密技术使得安...

  • 大学生学习黑客

    关键字: C语言 汇编 逆向工程 操作系统 内核渗透 操作系统 编译原理 编程语言 数据库 密码学 数论 开源项目...

  • 密码之RSA

    转:https://www.cnblogs.com/gwind/p/8013116.html 一、基础数论 1、互...

  • 数论的起源

    数论最初是从研究整数开始的。数论是数学理论中的最基础或初等的部分(俗称分科或学科),也是最重要的部分。 如所周知,...

  • 密码学-RSA

    密码学 密码学是指研究信息加密,破解密码的技术科学。密码学的起源可追溯到2000年前。而当今的密码学是以数学为基础...

  • iOS-逆向(七) RSA加密

    密码学 密码学是指研究信息加密,破解密码的技术科学.密码学的起源可追溯到2000年前,如今的密码学是以数学为基础的...

网友评论

      本文标题:密码学:数论基础

      本文链接:https://www.haomeiwen.com/subject/aqvlxhtx.html