伽罗华域(有限域)及其运算规则(包含大量例子)
模運(yùn)算
除法定理
 Z={?,?1,0,1,?}\mathbb{Z}=\{\cdots,-1,0,1,\cdots\}Z={?,?1,0,1,?}為整數(shù)集,對(duì)任何整數(shù)a和任何正整數(shù)n存在唯一整數(shù)q和r,滿足{r:0≤r<n,r∈Z}\{r:0\le r<n,r\in \mathbb{Z}\}{r:0≤r<n,r∈Z},且a=qn+ra=qn+ra=qn+r。稱q=?a/n?q=\left \lfloor a/n \right \rfloorq=?a/n?為除法的商,??\lfloor \rfloor??表示向下取整, r≡amodnr\equiv a \mod nr≡amodn為除法的余數(shù)。
 簡(jiǎn)單例子
 19mod11≡8mod1119\mod 11\equiv 8\mod1119mod11≡8mod11
 ?7mod11≡4mod11-7 \mod 11\equiv 4\mod11?7mod11≡4mod11
 模運(yùn)算的好處:一些程序進(jìn)行線性運(yùn)算的時(shí)候,由于存儲(chǔ)空間大小是固定的,可能存在結(jié)果溢出的情況,模運(yùn)算可以將xxx結(jié)果始終確定在一個(gè)范圍即{x:0≤x<n,x∈Z}\{x:0\le x<n,x\in \mathbb{Z}\}{x:0≤x<n,x∈Z}內(nèi),從而避免溢出。
有限群
群(S,⊕)(S,\oplus )(S,⊕)是集合SSS和二元運(yùn)算符⊕\oplus⊕組成,顧名思義群中的元素個(gè)數(shù)是有限的。對(duì)于該運(yùn)算應(yīng)該滿足以下性質(zhì):
- 封閉性:對(duì)于任意a,b∈Sa,b\in Sa,b∈S,有a⊕b∈Sa\oplus b \in Sa⊕b∈S。
- 單位元:存在一個(gè)元素e∈Se \in Se∈S,稱eee為單位元,對(duì)所有a∈Sa\in Sa∈S,滿足e⊕a=a⊕e=ae \oplus a=a\oplus e = ae⊕a=a⊕e=a。
- 結(jié)合律:對(duì)任意a,b,c∈Sa,b,c\in Sa,b,c∈S,有(a⊕b)⊕c=a⊕(b⊕c)(a\oplus b)\oplus c=a\oplus(b\oplus c)(a⊕b)⊕c=a⊕(b⊕c)。
- 逆元:對(duì)任意a∈Sa\in Sa∈S,存在b∈Sb\in Sb∈S,滿足a⊕b=b⊕a=ea\oplus b=b\oplus a=ea⊕b=b⊕a=e。
模n加法群
定義群(Zn,+n)(\mathbb{Z}_n,+_n)(Zn?,+n?),其中Zn={x∣0≤x<n,x∈Z}\mathbb{Z}_n=\{x|0\le x<n,x\in\mathbb{Z}\}Zn?={x∣0≤x<n,x∈Z},+n+_n+n?指在模n上的加法,即a+nb=a+bmodna+_n b = a+b\mod na+n?b=a+bmodn,群(Z5,+5)(\mathbb{Z}_5,+_5)(Z5?,+5?)的運(yùn)算表為
| 0 | 0 | 1 | 2 | 3 | 4 | 
| 1 | 1 | 2 | 3 | 4 | 0 | 
| 2 | 2 | 3 | 4 | 0 | 1 | 
| 3 | 3 | 4 | 0 | 1 | 2 | 
| 4 | 4 | 0 | 1 | 2 | 3 | 
在該群中單位元為0,0的逆元為0,1的逆元為4。
模n乘法群
定義群(Zn?,?n)(\mathbb{Z}_n^*,\cdot_n)(Zn??,?n?),其中Zn?={x∈Zn∣gcd(a,n)=1}\mathbb{Z}^*_n=\{x\in \mathbb{Z}_n|gcd(a,n)=1\}Zn??={x∈Zn?∣gcd(a,n)=1},gcd(a,n)gcd(a,n)gcd(a,n)表示求a和n的最大公因數(shù),若兩數(shù)的最大公因數(shù)為1則兩個(gè)數(shù)互素,?n\cdot_n?n?指在模n上的乘法,即a?nb=a?bmodna \cdot_nb=a\cdot b \mod na?n?b=a?bmodn,群(Z8?,?8)(\mathbb{Z}_8^*,\cdot_8)(Z8??,?8?)的運(yùn)算表為
| 1 | 1 | 3 | 5 | 7 | 
| 3 | 3 | 1 | 7 | 5 | 
| 5 | 5 | 7 | 1 | 3 | 
| 7 | 7 | 5 | 3 | 1 | 
注意Z8?={1,3,5,7}≠{0,1,2,3,4,5,6,7}\mathbb{Z}_8^*=\{1,3,5,7\}\ne\{0,1,2,3,4,5,6,7\}Z8??={1,3,5,7}?={0,1,2,3,4,5,6,7},因?yàn)?,2,4,6和8并不互素。
 構(gòu)造(Z8,?8)(\mathbb{Z}_8,\cdot_8)(Z8?,?8?)的運(yùn)算表如下
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 
| 1 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 
| 2 | 0 | 2 | 4 | 6 | 0 | 2 | 4 | 6 | 
| 3 | 0 | 3 | 6 | 1 | 4 | 7 | 2 | 5 | 
| 4 | 0 | 4 | 0 | 4 | 0 | 4 | 0 | 4 | 
| 5 | 0 | 5 | 2 | 7 | 4 | 1 | 6 | 3 | 
| 6 | 0 | 6 | 4 | 2 | 0 | 6 | 4 | 2 | 
| 7 | 0 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 
該運(yùn)算并不存在逆元,因而不能構(gòu)成群。
當(dāng)nnn取素?cái)?shù)時(shí),Zn?={1,2,…,n?1}\mathbb{Z}^*_n=\{1,2,\dots,n-1\}Zn??={1,2,…,n?1},因?yàn)閚必然與比其小的所有數(shù)互素。
| 1 | 1 | 2 | 3 | 4 | 
| 2 | 2 | 4 | 1 | 3 | 
| 3 | 3 | 1 | 4 | 2 | 
| 4 | 4 | 3 | 2 | 1 | 
異或群
定義群(Zn,⊕)(\mathbb{Z}_n,\oplus)(Zn?,⊕),其中Zn={x∣0≤x<n,x∈Z}\mathbb{Z}_n=\{x|0\le x<n,x\in\mathbb{Z}\}Zn?={x∣0≤x<n,x∈Z},⊕\oplus⊕指異或運(yùn)算,群(Z4,⊕)(\mathbb{Z}_4,\oplus)(Z4?,⊕)的運(yùn)算表為
| 0 | 0 | 1 | 2 | 3 | 
| 1 | 1 | 0 | 3 | 2 | 
| 2 | 2 | 3 | 0 | 1 | 
| 3 | 3 | 2 | 1 | 0 | 
顯然此時(shí),單位元為0,任何元素的逆元為其自身。
伽羅華域
伽羅華域也稱為有限域,域(R,+,?,?,÷)(R,+,-,\cdot,\div)(R,+,?,?,÷)由運(yùn)算元素集合和四則運(yùn)算組成,由于減法、除法分別和加法、乘法是逆運(yùn)算關(guān)系,只需要關(guān)注加法和乘法即可。對(duì)于加法來說,每個(gè)元素要求有對(duì)應(yīng)的加法逆元;對(duì)于乘法來說,除0以外的每個(gè)元素要求要有對(duì)應(yīng)的乘法逆元。關(guān)于群、環(huán)、域的概念進(jìn)一步了解可閱讀這篇博客。
伽羅華域GF(q)GF(q)GF(q)表示
qqq指有限域的階,在有限域中階等于元素個(gè)數(shù),有限域的階通常是素?cái)?shù)PPP或是素?cái)?shù)冪PWP^WPW,即q=P或PWq = P 或P^Wq=P或PW。
有限域GF(P)GF(P)GF(P)
GF(P)GF(P)GF(P)被稱為P階素?cái)?shù)域,PPP為素?cái)?shù)。運(yùn)算元素的集合為Zp\mathbb{Z}_pZp?,加法和乘法運(yùn)算要在模p上進(jìn)行,即此時(shí)的加法和乘法運(yùn)算分別為+p,?p+_p,\cdot _p+p?,?p?。在GF(P)GF(P)GF(P)上a≡bmodPa\equiv b \mod Pa≡bmodP與a=b相同,這意味著a=b→a=kn+b,k∈Za = b \to a=kn+b,k \in \mathbb{Z}a=b→a=kn+b,k∈Z。當(dāng)PPP為素?cái)?shù)時(shí),顯然所有大于0小于p的整數(shù)和是互素的,根據(jù)上面介紹的模n乘法群的概念,顯然除去0以外,每個(gè)元素都能找到其逆元。
 對(duì)于GF(2)GF(2)GF(2),僅包含了元素0和1,加法表為
| 0 | 0 | 1 | 
| 1 | 1 | 0(1+1=2mod2≡0mod2)0 \ (1+1 =2 \mod 2\equiv 0 \mod 2)0?(1+1=2mod2≡0mod2) | 
乘法表為
| 0 | 0 | 0 | 
| 1 | 0 | 1 | 
有限域GF(Pw)GF(P^w)GF(Pw)
當(dāng)n>1n>1n>1時(shí),GF(Pw)GF(P^w)GF(Pw)可以表示為系數(shù)屬于GF(P)GF(P)GF(P)等價(jià)域上的多項(xiàng)式,www表示多項(xiàng)式不能超過的階。舉個(gè)栗子,對(duì)于GF(34)GF(3^4)GF(34),來說其包含了多項(xiàng)式0,1,2,x+1,x+2,2x,2x+1,2x+2,x2+x,x2+x+1,?,2x3+2x2+2x+20,1,2,x+1,x+2,2x,2x+1,2x+2,x^2+x, x^2+x+1,\cdots,2x^3+2x^2+2x+20,1,2,x+1,x+2,2x,2x+1,2x+2,x2+x,x2+x+1,?,2x3+2x2+2x+2,即多項(xiàng)式系數(shù)為0,1,2,此時(shí)w=4w=4w=4,多項(xiàng)式階數(shù)不能超過4,符合這兩個(gè)條件的多項(xiàng)式個(gè)數(shù)為PwP^wPw,注意這里的有限域的集合中的元素可以看成多項(xiàng)式,即加法和乘法是指多項(xiàng)式的加法和乘法,特殊之處在于對(duì)于計(jì)算后的各項(xiàng)系數(shù)需要取模PPP,同時(shí)對(duì)整體還需要取模f(x)f(x)f(x)。參考GF(P)GF(P)GF(P)的取模方法,這里取的模f(x)f(x)f(x)也應(yīng)該是多項(xiàng)式,關(guān)于多項(xiàng)式的運(yùn)算規(guī)則可以查看這篇博客。接下來我會(huì)舉出大量栗子幫助理解。
 對(duì)于GF(23)GF(2^3)GF(23),其包含了元素有8個(gè)分別為0,1,x,x+1,x2,x2+1,x2+x,x2+x+10,1,x,x+1,x^2,x^2+1,x^2+x,x^2+x+10,1,x,x+1,x2,x2+1,x2+x,x2+x+1
 其可取的模為x3+x2+1x^3+x^2+1x3+x2+1,x3+x+1x^3+x+1x3+x+1
 在有限域GF(2w)GF(2^w)GF(2w)中,需要對(duì)多項(xiàng)式各項(xiàng)系數(shù)取模2
 (x+1)2=x2+2x+1≡x2+1(x+1)^2=x^2+2x+1\equiv x^2+1(x+1)2=x2+2x+1≡x2+1
 3x2?x?1≡x2+x+13x^2-x-1\equiv x^2+x+13x2?x?1≡x2+x+1
 (x+1)3=x3+3x2+3x+1≡x3+x2+x+1(x+1)^3=x^3+3x^2+3x+1\equiv x^3+x^2+x+1(x+1)3=x3+3x2+3x+1≡x3+x2+x+1
 在有限域GF(3w)GF(3^w)GF(3w)中,需要對(duì)多項(xiàng)式各項(xiàng)系數(shù)取模3
 (x+1)2≡x2+2x+1(x+1)^2\equiv x^2+2x+1(x+1)2≡x2+2x+1
 3x2?x?1≡2x+23x^2-x-1\equiv 2x+23x2?x?1≡2x+2
 (x+1)3≡x3+1(x+1)^3\equiv x^3+1(x+1)3≡x3+1
 接下來需要進(jìn)行取模,模為f(x)f(x)f(x),這個(gè)模等同于不可約多項(xiàng)式或是本原多項(xiàng)式,本原多項(xiàng)式是不可約多項(xiàng)式的特例,即在不可約多項(xiàng)式中除去最高階的項(xiàng),剩余項(xiàng)的階最小那個(gè)多項(xiàng)式定義為本原多項(xiàng)式。希望對(duì)不可約多項(xiàng)式和本原多項(xiàng)式有更多了解的,可以參考這篇博客。對(duì)于GF(23)GF(2^3)GF(23),模可以取x3+x2+1x^3+x^2+1x3+x2+1或x3+x+1x^3+x+1x3+x+1,這兩個(gè)多項(xiàng)式也就是階為3的不可約多項(xiàng)式。
 再列舉幾個(gè)計(jì)算案例
 在GF(23)GF(2^3)GF(23),模取x3+x+1x^3+x+1x3+x+1 ,計(jì)算4x5+3x3+1modx3+x+14x^5+3x^3+1 \mod x^3+x+14x5+3x3+1modx3+x+1
 回想整數(shù)除法11/5=2余111/5=2余111/5=2余1,11≡1mod511\equiv 1\mod 511≡1mod5
 (4x5+3x3+1)x3+x+1=4x2?1+?4x2+x+2x3+x+1\frac{\left(4x^5+3x^3+1\right)}{x^3+x+1}=4x^2-1+\frac{-4x^2+x+2}{x^3+x+1}x3+x+1(4x5+3x3+1)?=4x2?1+x3+x+1?4x2+x+2?
 那這里余項(xiàng)為?4x2+x+2-4x^2+x+2?4x2+x+2,即4x5+3x3+1modx3+x+1≡?4x2+x+2modx3+x+1(注意這里是對(duì)各項(xiàng)系數(shù)取模2,與多項(xiàng)式的模無(wú)關(guān))≡xmodx3+x+14x^5+3x^3+1 \mod x^3+x+1 \equiv-4x^2+x+2\mod x^3+x+1(注意這里是對(duì)各項(xiàng)系數(shù)取模2,與多項(xiàng)式的模無(wú)關(guān))\equiv x \mod x^3+x+14x5+3x3+1modx3+x+1≡?4x2+x+2modx3+x+1(注意這里是對(duì)各項(xiàng)系數(shù)取模2,與多項(xiàng)式的模無(wú)關(guān))≡xmodx3+x+1
 或者先對(duì)4x5+3x3+14x^5+3x^3+14x5+3x3+1系數(shù)先取模2,即4x5+3x3+1=x3+14x^5+3x^3+1=x^3+14x5+3x3+1=x3+1
 x3+1x3+x+1=1+?xx3+x+1\frac{x^3+1}{x^3+x+1}=1+\frac{-x}{x^3+x+1}x3+x+1x3+1?=1+x3+x+1?x?,對(duì)余項(xiàng)?x-x?x的系數(shù)?1-1?1取模2,結(jié)果為xxx。
 再舉一個(gè)例子
 (1+2m)x2+(1+2n)x≡x2+xmodx3+x+1(1+2m)x^2+(1+2n)x\equiv x^2+x \mod x^3+x+1(1+2m)x2+(1+2n)x≡x2+xmodx3+x+1,其中m,n∈Zm,n\in \mathbb{Z}m,n∈Z
| 0 | 0 | 000 | 0 | 000 | 
| x0x^0x0 | 1 | 001 | 0 | 001 | 
| x1x^1x1 | xxx | 010 | 2 | 010 | 
| x2x^2x2 | x2x^2x2 | 100 | x2x^2x2 | 100 | 
| x3x^3x3 | x2+1x^2+1x2+1 | 101 | x+1x+1x+1 | 011 | 
| x4x^4x4 | x2x^2x2 | 100 | x2+xx^2+xx2+x | 110 | 
總結(jié)
以上是生活随笔為你收集整理的伽罗华域(有限域)及其运算规则(包含大量例子)的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問題。
 
                            
                        - 上一篇: C++之类的静态成员变量和静态成员函数
- 下一篇: 迅为IMX8M mini开发板Yocto
