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

密码学:数论基础

作者: 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)

    类似子群,子环。

    相关文章

      网友评论

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

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