信息安全(一)之群、环、域基础相关理论

群、环、域基础相关理论

封闭性： 对于数据集S的运算 $\times$ 满足 $S\times S\to S$ ，即为在数据集 S 上的运算结果仍然在数据集S中，成数据集S对运算 $\times$ 满足封闭性。
代数系统： 在数据集S中，如果数据集S对于运算 $\times$ 满足封闭性，那么<S , $\times$> 称为代数系统。(S不为空，运算 $\times$存在， 封闭性)
结合律(C1）： 在代数系统S中，任意的$a,b,c\in S$,都有$(ab)c=a(bc)$,那么就称代数系统S满足结合律。
单位元(C2)： 在代数系统S中，存在一个元素$e\in S$，使得对S中所有的元素a,都有 $ea=ae=a$, 那么e就称为代数系统S的单位元(单位元是唯一的)。
可逆元(C3)： 在存在单位元 e 的代数系统S中，设a是S中的一个元素，如果S中存在一个元素 $a^{{}^{\prime }}$使得 $a{a}^{{}^{\prime }}$ = $a^{{}^{\prime }}a=e$ ,则成元素a为S中的可逆元, $a^{{}^{\prime }}$称为a的逆元，通常记为 $a^{-1}$.
交换律(C4)： 在代数系统S中，如果对于S中的任意元素a,b都有 $ba=ab$,则称代数系统S 满足交换律。

群

半群： 满足结合律的代数系统称为半群。
可交换半群： 满足交换律的半群，称为可交换半群。
群： 代数系统G满足结合律，单位元，可逆性(对于$\forall a\in G$，都存在$a^{{}^{\prime }}\in G$,使得$a{a}^{{}^{\prime }}=a^{{}^{\prime }}a=e$, 即为G中任意元素存在逆元)， 则称 $G$为群。 群G中元素的个数称为群的阶，记为$|G|$, 当$|G|$为有限的数字时，称$G$为有限群；反之，称$|G|$为无限群。
交换群(阿倍尔(Abel)群)： 当群G满足交换律时，称为交换群(阿倍尔(Abel)群)。
一般线性群： 可逆矩阵A所组成的集合，记为$G{L}_n(P)$,对于矩阵的乘法构成一个群，通常称$G{L}_n(K)$ 为n级一般线性群 ； $G{L}_n(K)$ 中全体行列式为1的矩阵对于矩阵乘法也成一个群，这个群记为$S{L}_n(K)$， 称为特殊线性群。
对称群： 设S是一个非空集合， G是S到自身的所有一一映射f所组成的集合。对于$f,g\in G$,定义f和g的复合映射为：对于$\forall x\in S,（g\circ f)(x)=g(f(x))$,则G对于映射的复合运算，构成一个群，叫做对称群。恒等映射是单位元，G中的元素叫做S的一个置换。当S是n元有限集时，G叫做n元对称群，记做$S_n$.
子群： 设H是群G的一个子集。如果对于群G的运算，H构成一个群，那么H叫做群G的子群，记做$H\le G$. $H=e$和$H=G$都是群G的子群，叫做群G的平凡子群。群G的子群H叫做群G的真子群，如果H不是群G的平凡子群。子群的判断：设H是群G的一个非空子集合，则H是群G的子群的充要条件是：对$\forall a,b\in H$, 有$a{b}^{-1}\in H$.

同态和同构

同态和同构： 设$G,G^{{}^{\prime }}$都是群，f是$G$到$G^{{}^{\prime }}$的一个映射，如果对于任意的$a,b\in G$，都有$$f(ab)=f(a)f(b)$$，那么$f$叫做$G$ 到 $G^{{}^{\prime }}$ 的一个同态。如果$f$是一对一的，则称$f$为单同态。如果$f$是满射，则称为满同态，如果$f$是一一对应的，则称f为同构。当$G=G^{{}^{\prime }}$时，同态$f$叫做自同态，同构$f$叫做自同构。

环

环的相关定义 设代数系统S是具有两种运算(一般表示为加法和乘法)的非空集合。对于以下条件：

1. S对于加法构成一个交换群。(加法构成交换群)
2. 对于任意的$a,b,c\in S$，有(ab)c=a(bc)。(乘法的结合律)
3. 对任意的$a,b,c\in S$,有$(a+b)c=ac+bc$或$a(b+c)=ab+ac$.（加法对乘法的分配率。）
   满足1,2,3, 则S被称为环。
4. 如果$\forall a,b\in S$, 有ab = ba。(乘法的交换律)
   满足1,2,3,4, 则S叫做交换环
5. 如果R中存在一个元素$e=1_R$使得：$\forall a\in R$, 有$a{1}_R=1_{R}a=a$.
   满足1,2,3,4,5， 则S叫做由单位元环。
6. 设S是环。S中非零元a称为左零因子(对应的有右零因子)，如果存在非零元$b\in S$ 对应的有$c\in S$)使得ab=0(对应的有$ca=0$),a称为零因子，如果它同时是左零因子和右零因子，则称S为有零因子环。
7. 设S是有单位元$1_R$的环。R中元a称为左逆元(对应的有右逆元)，如果存在元素$b\in R$(对应的有$c\in R$)使得$ab=1_R$(对应的有$ca=1_R$).这时，b(d对应的有c)，叫做a的右逆(对应的有左逆)。a称为左逆元和右逆元。
8. 设R是一个交换环，则称R为整环，如果R中有单位元，但没有零因子。
9. 称交换环K为一个域，如果K中有单位元，且每个非零元都是可逆元，则K对于加法构成一个交换群， K ∗ = K / { 0 } K^* = K / \{ 0 \} K∗=K/{0}(应该是右斜没打出来)，对于乘法构成一个交换群。总结，交换环K满足每一个元素存在可逆元，乘法去除零因子后构成交换群。

环的性质

1. 对$\forall a\in R$, 有$0a=a0=0$.
2. 对$\forall a,b\in R$, 有$(-a)b=a(-b)=-ab$.
3. 对$\forall a,b\in R$, 有$(-a)(-b)=ab$.
4. 对$\forall n\in Z$, $\forall a,b\in R$,有$(na)b=a(nb)=nab$.
5. 对$\forall a_i,b_j\in R$,有$(\sum _{i=1}^n{a}_i)(\sum _{j=1}^m{b}_j)=\sum _{i=1}^n\sum _{j=1}^m{a}_i{b}_j$.
6. 环的同态：
   设$R,R^{{}^{\prime }}$是两个环，称映射$f:R\to R^{{}^{\prime }}$为环同态，如果$f$满足以下条件：
   (i) 对$\forall a,b\in R$, 有$f(a+b)=f(a)+f(b)$;
   (ii)对$\forall a,b\in R$,有$f(ab)=f(a)+f(b)$;
   如果f是一对一的，则称f为单同态；如果f是满射则称f为满同态；如果f是一一对应的，则称f为同构。
7. 环的理想：
   设R是一个环，I是R的子环。
   左理想：如果$\forall r\in R$和$\forall a\in I$,都有$ra\in I$,则称I为R的左理想。
   右理想：如果$\forall r\in R$和$\forall a\in I$,都有$ar\in I$,则称I为R的右理想。
   理想：如果I同时为R的左理想和右理想，则I称为R的理想。
8. 多项式环:
   设R是整环，$x$为变量，则在$R$中形为$$a_n{x}_n+a_{n-1}{x}^{n-1}+\dots +a_{1}x+a_0,a_i\in R$$,的元素称为R上的多项式。则当$a_n\ne 0$时，多项式$f(x)$的次数为$n$，记为$degf=n$.
   多项式整除：设$f(x),g(x)$是整环R上的任意两个多项式，其中$g(x)\ne 0$.如果存在一个多项式$q(x)$使得等式$f(x)=q(x)\cdot g(x)$成立，就称$g(x)$整除$f(x)$或者$f(x)$被$g(x)$整除。这时把$g(x)$叫做$f(x)$的因式，把$f(x)$叫做$g(x)$的倍式。否则，就称$g(x)$不能整除$f(x)$或者$f(x)$不能被$g(x)$整除，记做$g(x)\nmid f(x)$.
   不可约多项式：设f(x)是整环R上的非常数多项式。如果除了显然因式1和$f(x)$外,$f(x)$没有其它非常数因式，那么，$f(x)$就叫做不可约多项式或既约多项式，否则，f(x)叫做合式。

域

五元组$(F,+,\cdot ,0,1)$中，F为集合，+和$\cdot$为集合F上的二元运算，0和1为F中元素，若$(F,+,\cdot ,0,1)$满足：
F1(加法交换群)：(F, + , 0)是交换群。
F2(乘法交换群)：$(F^{\ast },\cdot ,1)$是交换群，$F^{\ast }=F-0$
.
F3(乘法对加法的分配率):$a\cdot (b+c)=a\cdot b+a\cdot c$,
则称$(F,+,\cdot ,0,1)$为域。

域的基本性质

设$F$是域，那么F中以下运算规则成立：
加法消去律：设$a,b,c\in F$,且$a+c=b+c$,则一定有$a=b$.
乘法消去律：设$a,b,c\in F$,且$c\ne 0$,如果$a\cdot c=b\cdot c$,则一定a = b.
对于任意的$a\in F$,都有$-(-a)=a$.
对于任意的$a\in F$,且$a\ne 0$，都有$(a^{-1}{)}^{-1}=a$.
对于任意的$a\in F$,都有$a\cdot 0=0$.
对于任意的$a,b\in F$,若KaTeX parse error: Undefined control sequence: \cdotb at position 2: a\̲c̲d̲o̲t̲b̲=0,则一定有$a=0$或$b=0$.
对于任意的$a,b\in F$,都有$-(a+b)=(-a)+(-b)$.
对于任意的$a,b\in F$,都有$a\cdot (-b)=(-a)\cdot b=-a\cdot b$
对于任意的$a,b\in F$,都有$(-a)\cdot (-b)=a\cdot b$.
对于任意的$a,b\in F$,且$a\ne 0,b\ne 0$,都有$(a\cdot b{)}^{-1}=a^{-1}\cdot b^{-1}$.
对于任意的$a\in F$,且$a\ne 0$,都有$(-a{)}^{-1}=-a^{-1}$.
如果$f(x)$和$g(x)$不全为0，则$f(x)$和$g(x)$的公因式中次数最高的首1多项式称为$f(x)$和$g(x)$的最高公因式。
如果$f(x)$和$g(x)$不全为0，则$f(x)$和$g(x)$的公倍式中次数最高的首1多项式称为$f(x)$和$g(x)$的最高公倍式。