FHE学习笔记 #1 部分抽象代数名词

参考教材：

邓少强，朱富海：《抽象代数》，北京，科学出版社，2017 年

文章使用 wolai 编写并导出，在 wolai 中观看效果更好，有颜色高亮和实时更新

• 群 Group

  对于非空集合 $G$，$\circ$ 是它的一个代数运算，如果满足以下条件：

  • 结合律成立，即对 $G$ 中任意元素 $a,b,c$ 都有

    $$(a\circ b)\circ c=a\circ (b\circ c)$$

  • $G$ 中有元素 $e$，叫做 $G$ 的左单位元，它对 $G$ 中每个元素 $a$ 都有

    $$e\circ a=a$$

  • 对 $G$ 中每个元素 $a$，在 $G$ 中都有元素 $a^{-1}$，叫做 $a$ 的左逆元 (Inverse)，使

    $$a^{-1}\circ a=e$$

  则称 $G$ 对代数运算 $\circ$ 作成一个群。

  群是一个满足封闭性、满足结合律、有单位元、有逆元的二元运算的代数结构。

  单位元，也叫幺元，英文 Identity Element。

• 半群 Semi-group

  设 $S$ 是一个非空集合，如果它有一个代数运算满足结合律，则称 $S$ 是一个半群。

• 子群

  • 设 $H$ 是群 $G$ 的一个非空子集，如果 $H$ 对于 $G$ 的运算也构成群，则称 $H$ 为 $G$ 的子群，记作 $H<G$

  • 设 $m\in \mathbb{N}$，则 m Z = { m n ∣ n ∈ Z } m \mathbb{Z}=\{m n \mid n \in \mathbb{Z}\} mZ={mn∣n∈Z} 是 $\mathbb{Z}$ 的子群

  • $\mathbb{Z}$ 的任何子群都形如 $m\mathbb{Z},m\in \mathbb{N}$.

  设 $G$ 为群，$a\in G$，记 $a^0=e$

  • 对 $k\in \mathbb{N}$，令 $a^k=a\cdot a^{k-1},a^{-k}={\left(a^{-1}\right)}^k$

  • 对 加法群 $G$，$a^n$ 通常记为 $na$

  • ⟨ a ⟩ = { a n ∣ n ∈ Z } \langle a\rangle=\left\{a^n \mid n \in \mathbb{Z}\right\} ⟨a⟩={an∣n∈Z} 是 $G$ 的子群，称为 $a$ 生成的子群，子群的阶也称为 $a$ 的阶

  更一般地，设 $S$ 是群 $G$ 中一个非空子集，令 $S^{-1}=\left\{a^{-1}\mid a\in S\right\}$，记

  ⟨ S ⟩ = { x 1 , … , x m ∣ m ∈ N , x 1 , … , x m ∈ S ∪ S − 1 } \langle S\rangle=\{x_1, \ldots ,x_m \mid m \in \mathbb{N}, x_1, \ldots, x_m \in S \cup S^{-1}\} ⟨S⟩={x1​,…,xm​∣m∈N,x1​,…,xm​∈S∪S−1}

  $⟨S⟩$ 是 $G$ 的一个子群，称为 $S$ 生成的子群。

• 陪集 Coset

  设 $H$ 是群 $G$ 的一个子群，$a\in G$。则称群 $G$ 的子集

  a H = { a x ∣ x ∈ H } a H=\{a x \mid x \in H\} aH={ax∣x∈H}

  为群 $G$ 关于子群 $H$ 的一个左陪集。而称

  H a = { x a ∣ x ∈ H } H a=\{x a \mid x \in H\} Ha={xa∣x∈H}

  为群 $G$ 关于子群 $H$ 的一个右陪集。

  以上叙述中都把群 $G$ 中的运算记作乘法，并且省去了运算符。

  如果群 $G$ 中的运算记作加法，则以 $a$ 为代表的左陪集应该记作

  a + H = { a + h ∣ h ∈ H } a+H=\{a+h|h\in H\} a+H={a+h∣h∈H}

• 同余类 Congruence Class（或剩余类 Residue Class）

  Modular arithmetic - Wikipedia

  • 模 $m$ 同余是一个等价关系，由此确定了整数上的一个分类

  • 对于 $\forall a\in [0,m-1]$，集合 $a+m\mathbb{Z}$ 中的所有数模 $m$ 同余，这个集合叫做 $a$ 的等价类，也叫同余类，记作 $[a]\text{or}{\overline{a}}_m$

  • 满足：

    Z = ( 0 + m Z ) ∪ ( 1 + m Z ) ∪ ⋯ ∪ ( ( m − 1 ) + m Z ) = { 0 ‾ + 1 ‾ + ⋯ + m − 1 ‾ } \mathbb{Z}=(0+m \mathbb{Z}) \cup(1+m \mathbb{Z}) \cup \cdots \cup((m-1)+m \mathbb{Z})=\{\overline0+\overline1+\cdots+\overline {m-1} \} Z=(0+mZ)∪(1+mZ)∪⋯∪((m−1)+mZ)={0+1+⋯+m−1​}

• 最小剩余系（Residue Systems）

  每个等价类通常用他们的最小非负元素来表示，这些最小代表的集合就是模 $m$所得的余数域，也叫最小的剩余系 Z m = { 0 , 1 , ⋯   , m − 1 } \mathbb{Z}_m=\{0,1,\cdots,m-1\} Zm​={0,1,⋯,m−1}

• 商集 Equivalence Set

  商集是集合的一个划分，设 $\sim$ 为集合 $S$ 的一个等价关系，则 $S/\sim$ 称为商集，是等价类构成的集合。

• 正规子群 Normal Subgroup 和商群 Quotient Group

  Quotient group - Wikipedia

  • 设 $H$ 是群 $G$ 的一个子群，如果 $\forall a\in G,aH=Ha$，则称 $H$ 为 $G$ 上的正规子群，记作 $H⊲G$

  • 设 $H$ 是群 $G$ 的一个正规子群，定义 G / H = { a H ∣ a ∈ G } G/H=\{aH|a\in G\} G/H={aH∣a∈G}，对于陪集乘法

    $$(aH)(bH)=a(Hb)H=(ab)HH=abH$$

    构成一个陪集为元素的群，叫做商群

  • 由于 { Z ; + } \{\mathbb{Z} ;+\} {Z;+} 是交换群，故其任一子群 $m\mathbb{Z}$ 是 $\mathbb{Z}$ 的正规子群，所以有商群：

    Z / m Z = { Z , m = 0 { 0 ‾ , 1 ‾ , … , m − 1 ‾ } , m ≠ 0 m Z = 0 ‾ a ‾ = a + m Z = a ∘ m Z \begin{aligned}&\mathbb{Z} / m \mathbb{Z}= \begin{cases}\mathbb{Z}, & m=0 \\ \{\overline{0}, \overline{1}, \ldots, \overline{m-1}\}, & m \neq 0\end{cases}\\ &m\mathbb{Z}=\overline 0\\ &\overline a=a+m\mathbb{Z}=a\circ m\mathbb{Z} \end{aligned} ​Z/mZ={Z,{0,1,…,m−1​},​m=0m=0​mZ=0a=a+mZ=a∘mZ​

    注意商群元素之间的运算为模 $m$ 加法，这个群通常简记为 ${\mathbb{Z}}_m$（但是这个记号容易弄混），称为模 $m$ 的剩余类加群。

  • 当商群元素间的运算为模 $m$ 乘法，这个商群记为 $(\mathbb{Z}/m\mathbb{Z}{)}^{\times }$，不同于加群，这个群的大小为欧拉函数 $\phi (m)$（英文：Euler’s totient Function），即集合 { 1 , ⋯   , m − 1 } \{1,\cdots,m-1\} {1,⋯,m−1} 中与 $m$ 互质的数的个数，则

    ( Z / m Z ) × = { p ‾ ∣   p ‾ ∈ ( Z / m Z ) + , gcd ⁡ ( p , m ) = 1 } , m ≠ 0 1 ‾ is the identity a ‾ × b ‾ = a × b ‾ \begin{aligned} &(\mathbb{Z} / m \mathbb{Z})^\times= \{\overline p|~\overline p\in(\mathbb{Z} / m \mathbb{Z})^+,\gcd(p,m)=1\}, m \neq 0\\ &\overline 1 \text{is}~\text{the}~\text{identity}\\ &\overline a\times \overline b=\overline{a\times b} \end{aligned} ​(Z/mZ)×={p​∣ p​∈(Z/mZ)+,gcd(p,m)=1},m=01is the identitya×b=a×b​​

    Multiplicative group of integers modulo n - Wikipedia

    http://www.math.columbia.edu/~rf/numbertheory2.pdf

    其中单位元为 $\overline{1}$ ，一个元素 $\overline{a}$ 的最小非负代表数 $a$ 的逆元 $a^{-1}$ 要满足同余方程 $a{a}^{-1}\equiv 1(\mathrm{mod}m)$，即方程 $ax+my=1$ 要有整数解 $x,y$。

    根据裴蜀（贝祖）定理的推论，$a,b$ 互质的充要条件是存在整数 $x,y$ 使 $ax+by=1$，所以 ${\mathbb{Z}}_m^{\times }$ 中的最小非负代表数都是和 $m$ 互质的数，否则没有逆元。

• 环 Ring

  设非空集合 $R$ 有两个代数运算，一个叫做加法（一般用 $+$ 表示），另一个叫做乘法。如果：

  • $R$ 对加法作成一个交换群

  • $R$ 对乘法满足结合律（即半群）

  • 乘法对加法满足左右分配律：

    $$\forall a,b,c\in R,a(b+c)=ab+ac,(b+c)a=ba+ca$$

  则称 $R$ 对这两个代数运算作成一个环。

  若对乘法满足交换律，则称为可换环 Commutative Ring

  若乘法有单位元，则称为幺环

• 理想 Ideal

  Ideal (ring theory) - Wikipedia

  • 设 $R$ 为环，$I$ 为 $R$ 的子环，如果 $I$ 满足条件「$a\in I,x\in R\Rightarrow xa\in I$」，则称 $I$ 为 $R$ 的左理想

  • 如果 $I$ 满足条件「$a\in I,y\in R\Rightarrow ay\in I$」，则称 $I$ 为 $R$ 的右理想

  • 若一个子环既是左理想，又是右理想，则称为双边理想 Two-sided Ideal

• 主理想 Principal Ideal

  Principal ideal - Wikipedia

  • 主理想是环 $R$ 的一个由单个元素 $a$ 生成的理想 $I$，分为左/右/双边主理想

  • 左主理想严谨表示为（右类似）：

    I = R a = { r a ∣ r ∈ R } I=Ra=\{ra|r\in R\} I=Ra={ra∣r∈R}

  • 双边主理想严谨表示为（没太看懂，国内博客好像不太一致）：

    I = R a R = { r 1 a s 1 + ⋯ + r n a s n ∣ r 1 , s 1 , … , r n , s n ∈ R } I=R a R=\left\{r_{1} a s_{1}+\cdots+r_{n} a s_{n}| r_{1}, s_{1}, \ldots, r_{n}, s_{n} \in R\right\} I=RaR={r1​as1​+⋯+rn​asn​∣r1​,s1​,…,rn​,sn​∈R}

  • 对于可换环，以上三种主理想是一样的，可以记由 $a$ 生成的环为 $I=⟨a⟩\text{or}I=(a)$

  $\mathbb{Z}$ 的主理想就是 $⟨m⟩=m\mathbb{Z}$

• 商环 Quotient Ring（或剩余类环 Residue Class Ring）

  Quotient ring - Wikipedia

  设 $R$ 是一个环，$I$ 是 $R$ 的理想。考虑加法群 { R ; + } \{R ;+\} {R;+} 对于子群 $I$ 的商群 $R/I$，将 $a\in R$ 所在的等价类记为 $a+I$。在 $R/I$ 上定义乘法如下:

  $$(a+I)(b+I)=ab+I.$$

  则集合 $R/I$ 对于商群的加法以及上述乘法运算构成一个环，称为 $R$ 对于理想 $I$ 的商环。

  $\mathbb{Z}/m\mathbb{Z}$ 就是一个商环，当 $m>0$ 时，称 $\mathbb{Z}/m\mathbb{Z}$ 为 $\mathbb{Z}$ 模 $m$ 的剩余类环。