Galoislichaam GF(16)

Het galoislichaam (Nederlands) / galoisveld (Belgisch) ${\displaystyle \mathrm {GF} (16)}$, ook genoteerd als ${\displaystyle \mathbb {F} _{16}}$, is het eindige lichaam/veld van orde 16, dus met 16 elementen. Het is een uitbreiding van graad vier van het lichaam/veld ${\displaystyle \mathrm {GF} (2)}$ met alleen de elementen 0 en 1, en de optelling modulo 2. De karakteristiek van ${\displaystyle \mathrm {GF} (16)}$ is daarmee ook 2. De uitbreiding ${\displaystyle \mathrm {GF} (16)}$ kan op verschillende manieren worden geconstrueerd. Dat kan onder meer op de manier waarop de complexe getallen als uitbreiding van de reële getallen worden geconstrueerd door toevoeging van een nieuw element ${\displaystyle i}$ dat voldoet aan ${\displaystyle i^{2}+1=0}$ of door de voorstelling als een lineaire ruimte met vermenigvuldiging, waarbij een algebra wordt ingevoerd.

Voeg aan ${\displaystyle \mathrm {GF} (2)}$ een nieuw element ${\displaystyle \alpha }$ toe dat ${\displaystyle \mathrm {GF} (16)}$ voortbrengt. Daarmee zijn alle machten van ${\displaystyle \alpha }$ elementen van ${\displaystyle \mathrm {GF} (16)}$ bepaald en moeten de eerste 14 machten verschillend zijn aan 1. Dan kan het niet anders dat ${\displaystyle \alpha ^{15}=1}$.

${\displaystyle \mathrm {GF} (16)=\{0,\ 1,\ \alpha ,\ \alpha ^{2},\ \alpha ^{3},\ \ldots ,\ \alpha ^{14}\ \}}$

Het nieuwe element ${\displaystyle \alpha }$ is dus een eenheidswortel. Omdat ${\displaystyle \alpha }$ voortbrenger is, kunnen de elementen ${\displaystyle \alpha ^{2}}$ en ${\displaystyle \alpha ^{3}}$ niet als lineaire combinatie van lagere machten worden uitgedrukt. ${\displaystyle \mathrm {GF} (16)}$ bestaat uit de lineaire combinaties van ${\displaystyle 1,\ \alpha ,\ \alpha ^{2}}$ en ${\displaystyle \alpha ^{3}}$. Een element ${\displaystyle m\in \mathrm {GF} (16)}$ is dus van de vorm:

${\displaystyle m=m_{3}\alpha ^{3}+m_{2}\alpha ^{2}+m_{1}\alpha +m_{0}}$

met ${\displaystyle m_{i}\in \mathrm {GF} (2)}$, dus 0 of 1.

Merk op dat de vier coëfficiënten als een vector kunnen worden opgevat.

Het element ${\displaystyle \alpha ^{4}}$ en ook alle hogere machten moeten in de lagere machten van ${\displaystyle \alpha }$ kunnen worden uitgedrukt

${\displaystyle \alpha ^{4}=k_{3}\alpha ^{3}+k_{2}\alpha ^{2}+k_{1}\alpha +k_{0}}$

Dat betekent dat ${\displaystyle \alpha }$ een wortel is van een irreducibel polynoom

${\displaystyle x^{4}+k_{3}x^{3}+k_{2}x^{2}+k_{1}x+k_{0}}$

In ${\displaystyle \mathrm {GF} (2)[x]}$ zijn drie van de 16 vierdegraadspolynomen irreducibel, namelijk

${\displaystyle f_{1}(x)=x^{4}+x+1}$

${\displaystyle f_{2}(x)=x^{4}+x^{3}+1}$

${\displaystyle f_{3}(x)=x^{4}+x^{3}+x^{2}+x+1}$

want het zijn geen kwadraten en er is geen nulpunt.

Als reducerende vergelijking komen dus in aanmerking:

${\displaystyle \alpha ^{4}=\alpha +1}$

${\displaystyle \alpha ^{4}=\alpha ^{3}+1}$

${\displaystyle \alpha ^{4}=\alpha ^{3}+\alpha ^{2}+\alpha +1}$

Met ${\displaystyle f_{1}}$

Noem de voortbrenger ${\displaystyle \alpha }$. De reducerende vergelijking is

${\displaystyle \alpha ^{4}=\alpha +1}$

In berekeningen wordt ${\displaystyle \alpha ^{4}}$ steeds gelijkgesteld aan ${\displaystyle \alpha +1}$. Zo is bijvoorbeeld:

${\displaystyle \alpha ^{10}=(\alpha ^{4})^{2}\alpha ^{2}=(\alpha +1)^{2}\alpha ^{2}=(\alpha ^{2}+1)\ \alpha ^{2}=\alpha ^{4}+\alpha ^{2}=\alpha ^{2}+\alpha +1}$

De ${\displaystyle \alpha ^{k}}$ met ${\displaystyle \ k=1,\ 2,\ 4,\ 7,\ 8,\ 11,\ 13,\ 14\ }$ zijn ook voortbrengers.

Verder

${\displaystyle (x+\alpha )(x+\alpha ^{2})(x+\alpha ^{4})(x+\alpha ^{8})=x^{4}+x+1}$

de wortels zijn voortbrengers.

De andere voortbrengers zijn wortels van

${\displaystyle (x+\alpha ^{7})(x+\alpha ^{14})(x+\alpha ^{13})(x+\alpha ^{11})=x^{4}+x^{3}+1}$

Als voorbeeld nog de berekening

${\displaystyle (\alpha ^{3}+\alpha +1)(\alpha ^{2}+\alpha +1)=\alpha ^{5}+\alpha ^{4}+\alpha ^{3}+\alpha ^{3}+\alpha ^{2}+\alpha +\alpha ^{2}+\alpha +1=}$

${\displaystyle =\alpha \ \alpha ^{4}+\alpha ^{4}+1=(\alpha +1)^{2}+1=\alpha ^{2}}$

Met ${\displaystyle f_{2}}$

Noem de voortbrenger ${\displaystyle \beta }$. De reducerende vergelijking is

${\displaystyle \beta ^{4}=\beta ^{3}+1}$

Verder

${\displaystyle (x+\beta )(x+\beta ^{2})(x+\beta ^{4})(x+\beta ^{8})=x^{4}+x^{3}+1}$

de wortels zijn voortbrengers.

Omdat in de voorstelling met ${\displaystyle f_{1}}$:

${\displaystyle (x+\alpha ^{7})(x+\alpha ^{14})(x+\alpha ^{13})(x+\alpha ^{11})=x^{4}+x^{3}+1}$

volgt dat:

${\displaystyle \beta =\alpha ^{7},\ \alpha ^{14},\ \alpha ^{13}{\text{ of }}\alpha ^{11}}$

Met ${\displaystyle f_{3}}$

${\displaystyle \mathrm {GF} (2)[x]/(x^{4}+x^{3}+x^{2}+x+1)}$ is ook een lichaam.

De reducerende vergelijking is

${\displaystyle \gamma ^{4}=\gamma ^{3}+\gamma ^{2}+\gamma +1}$

Er geldt

${\displaystyle \gamma ^{5}=\gamma ^{4}+\gamma ^{3}+\gamma ^{2}+\gamma =1}$

Het element ${\displaystyle \gamma }$ is geen voortbrenger, maar ${\displaystyle \gamma +1}$ wel.

${\displaystyle \gamma ^{4}=\gamma ^{3}+\gamma ^{2}+\gamma +1=(\gamma +1)^{3}}$

dus

${\displaystyle (\gamma +1)^{4}=(\gamma +1)^{3}+1}$

Toevoegen van ${\displaystyle \gamma +1}$, dus van ${\displaystyle \gamma }$, is hetzelfde als toevoegen van ${\displaystyle \beta }$.

${\displaystyle \gamma =\beta +1}$

Verder

${\displaystyle (x+\gamma )(x+\gamma ^{2})(x+\gamma ^{4})(x+\gamma ^{8})=x^{4}+x^{3}+x^{2}+x+1}$

Verder geldt:

${\displaystyle \gamma =\beta +1=\alpha ^{14}+1=\alpha ^{3}}$

${\displaystyle \mathrm {GF} (16)}$ kan ook worden voorgesteld als een vierdimensionale lineaire ruimte met een vermenigvuldiging over ${\displaystyle \mathrm {GF} (2)}$ en met de optelling modulo 2 en de vermenigvuldiging bepaald door:

${\displaystyle (k_{3},k_{2},k_{1},k_{0})\cdot (0,0,0,1)=(k_{3},k_{2},k_{1},k_{0})}$

${\displaystyle (0,k_{2},k_{1},k_{0})\cdot (0,0,1,0)=(k_{2},k_{1},k_{0},0)}$

${\displaystyle (1,0,0,0)\cdot (0,0,1,0)=(0,0,1,1)}$

Dan is

${\displaystyle (0,0,0,0)=0}$

${\displaystyle (0,0,0,1)=1}$

Noemt men

${\displaystyle (0,0,1,0)=\alpha }$

dan komt de laatste regel voor de vermenigvuldiging op de reductie neer:

${\displaystyle \alpha ^{4}=\alpha ^{3}\cdot \alpha =\alpha +1}$

en is ieder element ${\displaystyle \mathrm {GF} (16)}$ weer een lineaire combinatie van de vorm

${\displaystyle k=k_{3}\alpha ^{3}+k_{2}\alpha ^{2}+k_{1}\alpha +k_{0}}$

De voorbeeldberekening gaat op dezelfde manier als de berekening in de binaire representatie.

De vectoren in de tweede representatie kunnen ook als nibbles worden gezien met als optelling de operatie exclusieve disjunctie XOR en 0001 = 1. De vermenigvuldiging met 0010 is een linksverschuiving. Overflow resulteert in bijtellen van 0011.

De voorbeeldberekening verloopt als volgt:

${\displaystyle (1000+0010+0001)(0100+0010+0010)=}$

${\displaystyle =\ (1000+0010+0001)\cdot 0100\ +}$

${\displaystyle \ +(1000+0010+0001)\cdot 0010\ +}$

${\displaystyle \ +(1000+0010+0001)\cdot 0001\ \ =}$

${\displaystyle =\ 0110+1000+0100\ +}$

${\displaystyle \ +0011+0100+0010\ +}$

${\displaystyle \ +1000+0010+0001\ \ =}$

${\displaystyle =\ 1010+0101+1011=0100}$

Een vierde mogelijke representatie van ${\displaystyle \mathrm {GF} (16)}$ is met polynomen over ${\displaystyle \mathrm {GF} (2)}$ als elementen. Een element ${\displaystyle k\in \mathrm {GF} (16)}$ heeft dan de vorm:

${\displaystyle k(x)=k_{3}x^{3}+k_{2}x^{2}+k_{1}x+k_{0}}$

met ${\displaystyle k_{i}\in \mathrm {GF} (2)}$, dus 0 of 1. Optellen modulo 2 en vermenigvuldigen gaan op de gebruikelijke manier. Het identieke polynoom ${\displaystyle x}$ is dan een voortbrenger. Het is ook nu weer de vraag hoe ${\displaystyle x^{4}}$ moet worden gereduceerd. ${\displaystyle x^{4}=x+1}$ is ook hier een van de mogelijkheden, wat betekent dat modulo ${\displaystyle x^{4}+x+1}$ wordt gerekend. Het identieke polynoom ${\displaystyle f(x)=x}$ komt overeen met het nieuwe element ${\displaystyle \alpha }$ in de eerste representatie.

Deze voorstelling is in wezen gelijk aan de constructie van de factorring ${\displaystyle \mathbb {GF} (2)[x]/(x^{4}+x+1)}$.

De voorbeeldberekening vertoont veel overeenkomsten met het eerste geval:

${\displaystyle (x^{3}+x+1)(x^{2}+x+1)=x^{5}+x^{4}+x^{3}+x^{3}+x^{2}+x+x^{2}+x+1=}$

${\displaystyle =x^{4}(x+1)+1=(x+1)^{2}+1=x^{2}}$

Volgens een stelling is het lichaam/veld ${\displaystyle \mathrm {GF} (p^{n})}$ alleen dan een deellichaam ${\displaystyle \mathrm {GF} (p^{m})}$ als ${\displaystyle m}$ door ${\displaystyle n}$ kan worden gedeeld.

Dus is ${\displaystyle \mathrm {GF} (8)=\mathrm {GF} (2)[x]/(x^{3}+x+1)}$ geen deellichaam van ${\displaystyle \mathrm {GF} (16)}$.

De multiplicatieve groep is cyclisch. Noem een voortbrenger ${\displaystyle b}$

De reducerende vergelijking is:

${\displaystyle b^{3}=b+1}$

${\displaystyle \mathrm {GF} (8)=\{0,\ 1,\ b,\ b^{2},\ b^{3},\ b^{4},\ b^{5},\ b^{6}\}}$

met

${\displaystyle b^{3}=b+1}$

${\displaystyle b^{4}=b^{2}+b}$

${\displaystyle b^{5}=b^{3}+b^{2}=b^{2}+b+1}$

${\displaystyle b^{6}=(b^{3})^{2}=b^{2}+1}$

${\displaystyle b^{7}=b^{3}+b=1}$

Het lichaam/veld ${\displaystyle \mathrm {GF} (4)}$ is wel een deellichaam van ${\displaystyle \mathrm {GF} (16)}$

${\displaystyle \mathrm {GF} (4)=\{0,1,p,q\}}$

met

${\displaystyle p+q=1;\ p^{2}=q;\ p^{3}=pq=1;\ q^{2}=p}$

${\displaystyle p^{2}+p+1=0}$

verband met

${\displaystyle \mathrm {GF} (16):\ p=\alpha ^{k}}$

${\displaystyle \alpha ^{2k}+\alpha ^{k}+1=0}$

${\displaystyle k=5,\ k=10}$

Twee voortbrengers van ${\displaystyle \mathrm {GF} (4)}$

${\displaystyle \alpha ^{5},\ \alpha ^{10}}$

${\displaystyle \mathrm {GF} (4)}$ is een deellichaam van ${\displaystyle \mathrm {GF} (16)}$, maar niet van ${\displaystyle \mathrm {GF} (8)}$.

• JH van Lint en J Seidel. Discrete wiskunde, 1973. voor de Technische Universiteit Eindhoven