Matematyka dyskretna 2/Wykład 6: Ciała skończone

Wstęp

Ciała odgrywają olbrzymią rolę we wszystkich prawie dziedzinach matematyki. Chyba najbardziej znanym ciałem jest zbiór liczb rzeczywistych z dodawaniem i mnożenie. Wraz z ciałem liczb zespolonych, ciało liczb rzeczywistych stanowi podstawę Analizy Matematycznej. Ten wykład poświęcony jest podstawowym własnościom ciał skończonych.

Koncepcje ciała stosowali jako pierwsi Niels Abel i Evariste Galois w swoich pracach dotyczących rozwiązywalności równań algebraicznych. W 1893, Heinrich Weber podał pierwszą kompletną definicję abstrakcyjnego ciała. W 1910, Ernst Steinitz opublikował pracę, która dała podstawy współczesnej teorii ciał.

Ciała

Ciało to struktura ${\bf {F}}=(F,+,\cdot ,0,1)$, gdzie $F$ jest zbiorem, $0,1\in F$ i $0\neq 1$, a $+$ i $\cdot$ to dwuargumentowe działania na $F$ spełniające następujące warunki:

• $(F,+,0)$ jest grupą abelową, nazywaną grupą addytywną ciała,

• $(F^{*},\cdot ,1)$, gdzie $F^{*}=F-{\left\{{0}\right\}}$, jest grupą abelową, nazywaną grupą multyplikatywną ciała,

• $x\cdot (y+z)=x\cdot y+x\cdot z$ dla dowolnych Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x,y,z\in F} .

Ciało Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle {\bf F}=(F,+,\cdot,0,1)} jest skończone jeśli zbiór Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle F} jest skończony, w przeciwnym wypadku Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle {\bf F}} jest nieskończone.

Zgodnie z ogólnie przyjętą konwencją posługujemy się następującą notacją:

• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle xy} oznacza Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x\cdot y} ,

• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (-x)} oznacza element odwrotny do Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x} w grupie addytywnej Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (F,+,0)} ,

• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x-y} oznacza Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x+(-y)} ,

• dla Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x\neq0} przez Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x^{-1}} oznaczamy element odwrotny do Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x} w grupie multyplikatywnej Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (F^*,\cdot,1)} ,

• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle nx} , dla Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle n\in\mathbb{Z}} , to dodatnie i ujemne wielokrotności elementu Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x} , czyli "potęgi" w grupie addytywnej Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (F, +)} ,

• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x^n} , dla Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x\neq0} i Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle n\in\mathbb{Z}} , to dodatnie i ujemne potęgi elementu Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle x} w grupie multyplikatywnej Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (F^*,\cdot,1)}

Przykład

• Dla dowolnej Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle p} liczby pierwszej, Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Z}_p,+,\cdot,0,1)} jest ciałem skończonym. Rzeczywiście:
  • Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Z}_p,+,0)} jest grupą abelową,
  • Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Z}_p^*,\cdot,1)} jest grupą (z uwagi na pierwszość liczby Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle p} ) abelową,
  • mnożenie jest rozdzielne względem dodawania.
• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Z},+,\cdot,0,1)} nie jest ciałem, gdyż poza Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle -1} i Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle 1} liczby całkowite nie mają elementów odwrotnych względem mnożenia.
• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Q},+,\cdot,0,1)} jest ciałem, gdyż:
  • Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Q},+,0)} jest grupa abelową,
  • Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{Q},\cdot,1)} jest grupą abelową. W szczególności dla dowolnego Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle q\in Q^*} liczba Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle \frac{1}{q}} jest odwrotnością Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle q} ,
  • mnożenie jest rozdzielne względem dodawania.
• Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle (\mathbb{R},+,\cdot,0,1)} jest ciałem.

Obserwacja 6.1

Dla elementu $x$ ciała ${\bf {F}}=(F,+,\cdot ,0,1)$ mamy $x\cdot 0=0$.

Dowód

Mamy $x\cdot 0=x\cdot (0+0)=x\cdot 0+x\cdot 0$, co wobec prawa skracania dla grupy $(F,+,0)$ daje $0=x\cdot 0$.

Obserwacja 6.2

Dla elementów $x,y\in F$ ciała ${\bf {F}}=(F,+,\cdot ,0,1)$, jeśli $xy=0$, to $x=0$ lub $y=0$.

Dowód

Załóżmy, że $xy=0$ i $x\neq 0$. Ponieważ $x\in F^{*}$, to $x$ ma element odwrotny w $(F^{*},\cdot ,1)$, i wtedy $y=1\cdot y=(x^{-1}x)y=x^{-1}(xy)=x^{-1}\cdot 0=0$.

W wykładzie tym pominiemy własności ciała liczb rzeczywistych. Skoncentrujemy naszą uwagę na charakteryzacji ciał skończonych, nazywanych też ciałami Galois. W tym celu potrzebujemy jednak wielu dodatkowych pojęć.

Pierścienie wielomianów

Pierścień to struktura ${\mathbf {R} }=(R,+,\cdot ,0,1)$, gdzie $R$ jest zbiorem, $0,1\in R$ i $0\neq 1$, a $+$ i $\cdot$ to działania dwuargumentowe spełniające następujące warunki:

• $(R,+,0)$ jest grupą abelową,

• dla dowolnych $x,y,z\in R$

${\begin{aligned}x\cdot (y\cdot z)&=(x\cdot y)\cdot z\\(x+y)\cdot z&=x\cdot z+y\cdot z,\\x\cdot (y+z)&=x\cdot y+x\cdot z,\\1\cdot x&=x\cdot 1=x.\end{aligned}}$

Pierścień ${\mathbf {R} }=(R,+,\cdot ,0,1)$ jest przemienny jeśli $xy=yx$ dla dowolnych $x,y\in R$.

Oczywiście każde ciało jest pierścieniem. W pierścieniu mnożenie nie musi być jednak przemienne, a jego elementy nie muszą mieć elementów odwrotnych ze względu na mnożenie $\cdot$. W pierścieniach, tak jak i w ciałach, $0$ przemnożone przez cokolwiek pozostaje zerem (niezależnie z której strony mnożymy $0$). Dowód przebiega analogicznie jak dla ciał.

Obserwacja 6.3

Dla dowolnego pierścienia ${\mathbf {R} }=(R,+,\cdot ,0,1)$ i $x\in R$

$x\cdot 0=0\cdot x=0$

W odróżnieniu od ciał pierścienie mogą posiadać dzielniki zera, czyli niezerowe elementy, których iloczyn daje zero.

Przykład

• $(\mathbb {Z} ,+,\cdot ,0,1)$ jest pierścieniem przemiennym bez dzielników zera, gdyż:
  • $(\mathbb {Z} ,+,0)$ jest grupą abelową
  • mnożenie jest łączne, przemienne i rozdzielne względem dodawania,
  • $1$ jest elementem neutralnym ze względu na mnożenie,
  • $ab\neq 0$, o ile tylko $a,b\in \mathbb {Z} -{\left\{{0}\right\}}$.

• $(\mathbb {Z} _{n},+,\cdot ,0,1)$ jest pierścieniem przemiennym. Gdy $n$ jest liczbą pierwszą, jest nawet ciałem. Gdy $n$ jest liczbą złożoną jest tylko pierścieniem i to z dzielnikami zera.
  • na przykład w pierścieniu ${\mathbf {\mathbb {Z} } _{15}}=(\mathbb {Z} _{15},+,\cdot ,0,1)$ mamy $3\cdot 5=0$, czyli $3$ i $5$ są dzielnikami zera.

• Niech $M$ będzie zbiorem macierzy liczb całkowitych wymiaru $2\times 2$, $0_{M}=\left({\begin{array}{cc}0&0\\0&0\end{array}}\right)$ i $1_{M}=\left({\begin{array}{cc}1&0\\0&1\end{array}}\right)$. Wtedy $(M,+,\cdot ,0_{M},1_{M})$, gdzie $+$ i $\cdot$ to dodawanie i mnożenie macierzy, jest pierścieniem ale nieprzemiennym. Rzeczywiście mnożenie macierzy nie jest przemienne, np. dla

$\left({\begin{array}{cc}3&1\\0&4\end{array}}\right)\cdot \left({\begin{array}{cc}4&2\\5&5\end{array}}\right)=\left({\begin{array}{cc}17&11\\20&20\end{array}}\right),\qquad \left({\begin{array}{cc}4&2\\5&5\end{array}}\right)\cdot \left({\begin{array}{cc}3&1\\0&4\end{array}}\right)=\left({\begin{array}{cc}12&12\\15&25\end{array}}\right)$

Dotychczas przyjmowaliśmy, że wielomian to funkcja $f(x)$, określona np. na zbiorze liczb całkowitych, postaci:

$f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{0}$,

gdzie $a_{i}$ były współczynnikami wielomianu. Jest to podejście analityczne. Przedstawimy teraz algebraiczny odpowiednik tego pojęcia. Istotną zmianą będzie rozróżnienie formalnego wyrażenia jakim jest wielomian od funkcji wielomianowej (czyli ewaluacji wielomianu). Zobaczymy później, że takie rozróżnienie jest potrzebne, zwłaszcza w pierścieniach i ciałach skończonych.

Wielomian $a(x)$ nad pierścieniem ${\mathbf {R} }=(R,+,\cdot ,0,1)$ to formalne wyrażenie postaci

$a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{0}$,

gdzie $n\in \mathbb {N}$, $a_{i}\in R$ i $a_{n}\neq 0$. Elementy $a_{i}$ to współczynniki wielomianu. Współczynnik $a_{n}$ to współczynnik wiodący. Wielomian postaci $a_{0}$ nazywamy stałą i często utożsamiamy go z odpowiednim elementem pierścienia ${\mathbf {R} }$. Dopuszczamy również wielomian stały $a_{0}=0$ (mimo że współczynnik wiodący równy jest $0$) - jest to wielomian zerowy. Symbole $x^{i}$ należy traktować jedynie jako etykiety pozycji dla współczynników. Wielomiany równie dobrze można zapisywać w tradycyjnej notacji dla ciągów, czyli $(a_{n},\ldots ,a_{0})$.

Wielomiany równe to wielomiany (ciągi) w których kolejne współczynniki są równe.

Zbiór wszystkich wielomianów nad pierścieniem ${\mathbf {R} }$ oznaczamy przez $R[x]$.

Suma wielomianów $a(x),b(x)\in {R}[x]$, dla $a(x)=a_{m}x^{m}+\ldots +a_{0}$, $b(x)=b_{n}x^{n}+\ldots +b_{0}$ to wielomian $a(x)+b(x)\in {R}[x]$ zadany przez

$a(x)+b(x)=(a_{k}+b_{k})x^{k}+(a_{k-1}+b_{k-1})x^{k-1}+\ldots +(a_{0}+b_{0})$,

gdzie $k=\max(m,n)$ oraz niezdefiniowane wartości $a_{i}$ bądź $b_{i}$ traktujemy jako $0$.

Iloczyn wielomianów $a(x),b(x)\in {R}[x]$, dla $a(x)=a_{m}x^{m}+\ldots +a_{0}$, $b(x)=b_{n}x^{n}+\ldots +b_{0}$ to wielomian $a(x)\cdot b(x)\in {R}[x]$ zadany przez

${\begin{aligned}a(x)\cdot b(x)&=(a_{m}b_{n})x^{m+n}+(a_{m-1}b_{n}+a_{m}b_{n-1})x^{m+n-1}+\ldots \\&+(\sum _{j=0}^{i}a_{j}b_{i-j})x^{i}+\ldots +(a_{1}b_{0}+a_{0}b_{1})x+(a_{0}+b_{0}).\end{aligned}}$

Przykład

Suma i iloczyn wielomianów

$a(x)=3x^{2}+2x,\qquad b(x)=2x+3$

nad pierścieniem $(\mathbb {Z} _{4},+,\cdot ,0,1)$ to odpowiednio:

${\begin{aligned}a(x)+b(x)&=(3+0)x^{2}+(2+2)x+(0+3)=3x^{2}+3,\\a(x)\cdot b(x)&=(3+0)x^{3}+(0\cdot 0+2\cdot 2+3\cdot 3)x^{2}+(0\cdot 2+2\cdot 3)x+(0+3)\\&=3x^{3}+x^{2}+2x+3.\end{aligned}}$

Zauważmy, że zgodnie z nawykami pomijamy symbole $x^{i}$, dla $a_{i}=0$, np.: $3x^{2}+3$ formalnie oznacza $3x^{2}+0x+3$.

Elementarny, ale żmudny dowód następnej obserwacji pozostawiamy jako ćwiczenie.

Obserwacja 6.4

Jeśli ${\mathbf {R} }$ jest pierścieniem (przemiennym), to ${\mathbf {R} }[x]=(R[x],+,\cdot ,0,1)$ jest pierścieniem (przemiennym), gdzie $+$ i $\cdot$ to operacje sumy i iloczynu wielomianów.

Pierścień wielomianów nad pierścieniem ${\mathbf {R} }$ to pierscień ${\mathbf {R} [x]}=({R}[x],+,\cdot ,0,1)$.

Przedstawimy teraz całą serię obserwacji dla pierścienia wielomianów, które są analogią do własności pierścienia liczb całkowitych. Będą to pewnego rodzaju uogólnienia dzielenia całkowitego liczb, algorytmu Euklidesa, pojęcia liczby pierwszej i Fundamentalnego Twierdzenia Arytmetyki.

Stopień wielomianu $a(x)$ to liczba ${\mathsf {deg}}(a(x))$ równa indeksowi jego współczynnika wiodącego. Uwaga: wielomian zerowy ma stopień niezdefiniowany (lub czasem przyjmowany jako $-\infty$).

Dodając znane nam, "zwykłe" wielomiany, powiedzmy nad $\mathbb {Z}$ lub $\mathbb {R}$, wiemy, iż stopień sumy nie przekracza większego ze stopni wielomianów sumowanych. Podobnie iloczyn takich wielomianów zawsze ma stopień równy sumie stopni mnożonych wielomianów. Analogiczne prawo dla dodawania zachodzi dla wielomianów nad dowolnym pierścieniem. Niestety stopień iloczynu wielomianów nad dowolnym pierścieniem może, odbiegając od tych intuicji, być mniejszy niż suma stopni. Winne temu są dzielniki zera. Dlatego czasem pozostaniemy z wielomianami o współczynnikach z jakiegoś ciała.

Obserwacja 6.5

Dla dowolnego pierścienia ${\mathbf {R} }$ i niezerowych wielomianów $a(x),b(x)\in {\mathbf {R} }[x]$, mamy:

${\mathsf {deg}}(a(x)+b(x))\leqslant \max \left({\mathsf {deg}}(a(x)),{\mathsf {deg}}(b(x))\right)$

Przykład

Suma wielomianów nad skończonym ciałem może mieć stopień silnie mniejszy, niż stopień każdego składnika sumy. Na przykład dla wielomianów pierwszego stopnia $2x+1$ i $3x+1$ nad ciałem $\mathbb {Z} _{5}$ ich suma $(2x+1)+(3x+1)=2$ jest wielomianem stałym. Podobnie iloczyn wielomianów nad skończonym pierścieniem może mieć stopień silnie mniejszy od sumy stopni mnożonych wielomianów. Na przykład, nad pierścieniem $\mathbb {Z} _{6}$ wielomiany $3x^{3}+2x^{2}-1$ i $2x^{2}+1$ są stopnia $2$, podczas gdy ich iloczyn $6x^{5}+3x^{3}+4x^{4}+2x^{2}-2x^{2}-1=4x^{4}+3x^{3}-1$ jest stopnia $4$.

Obserwacja 6.6

Dla dowolnego pierścienia ${\mathbf {R} }$ i wielomianów $a(x),b(x)\in {\mathbf {R} }[x]$, mamy

${\mathsf {deg}}(a(x)\cdot b(x))\leq {\mathsf {deg}}(a(x))+{\mathsf {deg}}(b(x))$

Jeśli pierścień ${\mathbf {R} }$ jest ciałem, a wielomiany są niezerowe, to

${\mathsf {deg}}(a(x)\cdot b(x))={\mathsf {deg}}(a(x))+{\mathsf {deg}}(b(x))$

Dowód

Pierwsza część wynika wprost z definicji iloczynu wielomianów. Niech teraz współczynnikami wiodącymi wielomianów $a(x),b(x)$ będą odpowiednio $a_{m}$ i $b_{n}$ Wtedy najwyższym zdefiniowanym, $(m+n)$-tym, współczynnikiem iloczynu jest $a_{m}b_{n}$. Z Obserwacji 6.2 mamy $a_{m}b_{n}\neq 0$, zatem jest to współczynnik wiodący.

Obserwacja 6.6 jest teoretyczną podstawą dla jednoznacznego dzielenia z resztą w pierścieniu wielomianów nad ciałem. Następny przykład jest modyfikacją algorytmu dzielenia wielomianów nad $\mathbb {R}$.

Przykład

Wydzielmy wielomian $x^{5}+5x^{4}+5x^{3}+x+5$ przez $x^{2}+4$ nad ciałem ${\bf {\mathbb {Z} _{7}}}$:

${\begin{array}{lrrrrrr}&x^{3}&+5x^{2}&+x&+1\\\hline x^{2}+4|&x^{5}&+5x^{4}&+5x^{3}&+0x^{2}&+x&+5\\&x^{5}&&+4x^{3}\\\hline &&5x^{4}&+x^{3}&+0x^{2}&+x&+5\\&&5x^{4}&&+6x^{2}\\\hline &&&x^{3}&+x^{2}&+x&+5\\&&&x^{3}&&+4x\\\hline &&&&x^{2}&+4x&+5\\&&&&x^{2}&&+4\\\hline &&&&&4x&+1\end{array}}$

Iloraz równy jest $x^{3}+5x^{2}+x+1$, zaś reszta $4x+1$.

Obserwacja 6.7

Dla dowolnych wielomianów $a(x),b(x)$ nad ciałem ${\bf {F}}$, gdzie $b(x)\neq 0$ istnieją unikalne wielomiany $q(x),r(x)\in {\bf {F}}[x]$ takie, że

$a(x)=q(x)b(x)+r(x)$,

gdzie $r(x)=0$ lub ${\mathsf {deg}}(r(x))<{\mathsf {deg}}(b(x))$.

Dowód

Najpierw wykażemy istnienie takich wielomianów. Dla ustalonego wielomianu $b(x)$ poprowadzimy indukcję względem stopnia wielomianu $a(x)$. Jeśli $a(x)=0$, to $q(x)=r(x)=0$ są szukanymi wielomoanami. Dla ${\mathsf {deg}}(a(x))<{\mathsf {deg}}(b(x))$ mamy

$a(x)=0\cdot b(x)+a(x)$

Gdy zaś ${\mathsf {deg}}(a(x))\geqslant {\mathsf {deg}}(b(x))$, zakładamy indukcyjnie, iż dla wszystkich wielomianów stopnia mniejszego niż stopień $a(x)$ istnieją postulowane w tezie wielomiany. Niech

$a(x)=a_{m}x^{m}+\ldots +a_{0},\qquad b(x)=b_{n}x^{n}+\ldots +b_{0}\qquad$ dla $a_{m}\neq 0$, $b_{n}\neq 0$,

oraz

$a'(x)=a(x)-a_{m}b_{n}^{-1}x^{m-n}b(x)$

Wtedy współczynnik wielomianu $a'(x)$ przy $x^{m}$ jest równy $0$, gdyż

$a'_{m}=a_{m}-a_{m}b_{n}^{-1}b_{n}=0$

Zatem ${\mathsf {deg}}(a'(x))<{\mathsf {deg}}(a(x))$ (lub $a'(x)=0$) i z założenia indukcyjnego

$a'(x)=q'(x)b(x)+r(x)$,

gdzie ${\mathsf {deg}}(r(x))<{\mathsf {deg}}(b(x))$ lub $r(x)=0$. Zauważmy, że

$a(x)=(q'(x)+a_{m}b_{n}^{-1}x^{m})b(x)+r(x)$,

czyli szukane wielomany to $q(x)=q'(x)+a_{m}b_{n}^{-1}x^{m}$ i $r(x)$.

Dla dowodu jednoznaczności załóżmy, że

$a(x)=q_{0}(x)b(x)+r_{0}(x)=q_{1}(x)b(x)+r_{1}(x)$,

gdzie $r_{i}(x)=0$ lub ${\mathsf {deg}}(r_{i}(x))<{\mathsf {deg}}(b(x))$ dla $i=0,1$. Przekształcając ostatnią równość otrzymujemy

$(q_{0}(x)-q_{1}(x))b(x)=r_{1}(x)-r_{0}(x)$

Z Obserwacji 6.5 i 6.6, jeśli $q_{0}(x)\neq q_{1}(x)$, to ${\mathsf {deg}}((q_{0}(x)-q_{1}(x))b(x))\geqslant {\mathsf {deg}}(b(x))$. Natomiast dla $r_{0}(x)\neq r_{1}(x)$ mamy ${\mathsf {deg}}(r_{1}(x)-r_{0}(x))<{\mathsf {deg}}(b(x))$. Zatem jedyna możliwość aby równość zaszła to $q_{0}(x)=q_{1}(x)$ i $r_{0}(x)=r_{1}(x)$.

Wielomiany nad ciałem

Zajmiemy się teraz dokładniej pierścieniem ${\bf {F}}[x]$ wielomianów nad ciałem ${\bf {F}}$.

Wielomian $b(x)$ dzieli (jest dzielnikiem) wielomian $a(x)$ (co zapisujemy $b(x)|a(x)$), jeśli $a(x)=q(x)b(x)$ dla pewnego $q(x)\in {\bf {F}}[x]$. Mówimy też wtedy, że $q(x)$ jest wielokrotnością $b(x)$.

Okazuje się, iż dowolny niezerowy wielomian stały jest trywialnym dzielnikiem dowolnego wielomianu. W tym sensie wielomiany stałe zachowują się podobnie do liczb $-1,1$ w pierścieniu liczb całkowitych.

Obserwacja 6.8

Dowolny, niezerowy wielomian stały nad ciałem ${\bf {F}}$ dzieli dowolny wielomian nad ${\bf {F}}$.

Dowód

Dla dowolnego $c\in F^{*}$ i wielomianu $a(x)\in {\mathbf {F} }[x]$ mamy

$a(x)=(c^{-1}a(x))\cdot c$

Obserwacja 6.9

Dla dowolnego ciała ${\bf {F}}$ i $a(x),b(x)\in {\mathbf {F} }[x]$ jeśli $a(x)|b(x)$ i $b(x)|a(x)$ to $a(x)=c\cdot b(x)$ dla pewnego $c\in F^{*}$.

Dowód

Załóżmy, że $a(x)=q(x)b(x)$ i $b(x)=q'(x)a(x)$. Mamy wtedy

$a(x)=q(x)b(x)=q(x)q'(x)a(x)$

Z Obserwacji 6.6 ${\mathsf {deg}}(a(x))={\mathsf {deg}}(q(x))+{\mathsf {deg}}(q'(x))+{\mathsf {deg}}(a(x))$, czyli ${\mathsf {deg}}(q(x))={\mathsf {deg}}(q'(x))=0$. Zatem $a(x)=c\cdot b(x)$ dla pewnego $c\in F^{*}$.

Największy wspólny dzielnik wielomianów $a(x),b(x)\in {\bf {F}}[x]$ to taki wielomian $g(x)$, że

• $g(x)$ dzieli $a(x)$ oraz $b(x)$,

• dla dowolnego $d(x)$ dzielnika $a(x)$ i $b(x)$, wielomian $d(x)$ dzieli także $g(x)$.

W przeciwieństwie do liczb całkowitych największy wspólny dzielnik dwu wielomianów nie jest jednoznacznie określony. Wykażemy jednak najpierw, że taki wielomian zawsze istnieje. Pomocne w wykazaniu tego jest pojęcie ideału pierścienia.

Ideał pierścienia $(R,+,\cdot ,0,1)$ to niepusty podzbiór $I\subseteq R$ o własnościach:

• jeśli $x,y\in I$, to $x+y\in I$,

• jeśli $x\in I$, to $rx\in I$ dla dowolnego $r\in R$.

Obserwacja 6.10

Przecięcie dowolnej rodziny ideałów pierścienia jest ideałem tego pierścienia.

Ideał generowany przez zbiór $X\subseteq R$ to przecięcie wszystkich ideałów zawierających $X$.

Ideał główny to ideał generowany przez zbiór jednoelementowy.

Obserwacja 6.11

W pierścieniu wielomianów ${\mathbf {F} }[x]$ nad ciałem ${\bf {F}}$ każdy ideał jest główny.

Dowód

Niech $I$ będzie ideałem pierścienia ${\bf {F}}[x]$. Jeśli $I$ składa się tylko z wielomianu zerowego, to $I$, jako generowany przez ${\left\{{0}\right\}}$, jest główny. Niech teraz $g(x)$ będzie niezerowym wielomianem z $I$ o minimalnym stopniu. Pokażemy, że ${\left\{{g(x)}\right\}}$ generuje ideał $I$. Istotnie, niech $p(x)\in I$. Wydzielając $p(x)$ przez $g(x)$ otrzymujemy

$p(x)=q(x)g(x)+r(x)$,

gdzie $r(x)=0$ lub ${\mathsf {deg}}(r(x))<{\mathsf {deg}}(g(x))$. Zatem $r(x)\in I$ bo $r(x)=p(x)-q(x)g(x)$ i $p(x),q(x)g(x)\in I$. Ale $g(x)$ ma minimalny stopień wśród wielomianów w $I$. Zatem $r(x)=0$. To oznacza, iż $p(x)=q(x)g(x)$, czyli ${\left\{{g(x)}\right\}}$ generuje $I$.

Obserwacja 6.12

Dowolne dwa wielomiany $a(x),b(x)$ nad ciałem ${\bf {F}}=(F,+,\cdot ,0,1)$ mają największy wspólny dzielnik. Ponadto dla dowolnych $g(x),h(x)$ największych wspólnych dzielników $a(x)$ i $b(x)$ zachodzi $g(x)=c\cdot h(x)$ dla pewnego $c\in F$.

Dowód

Niech $I$ będzie ideałem pierścienia ${\mathbf {F} [x]}$ generowanym przez ${\left\{{a(x),b(x)}\right\}}$. Wtedy $I={\left\{{a'(x)a(x)+b'(x)b(x):a'(x),b'(x)\in {\mathbf {F} }[x]}\right\}}$. Z drugiej strony, na podstawie Obserwacji 6.11, ideał $I$ jest główny. Niech więc $g(x)$ generuje $I$ Postulujemy, iż $g(x)$ jest największym wspólnym dzielnikiem $a(x)$ i $b(x)$. Ponieważ $a(x),b(x)\in I$ a $I$ jest zbiorem wielokrotności $g(x)$, to $g(x)|a(x)$ i $g(x)|b(x)$. Ponadto, dla dowolnego $d(x)$ wspólnego dzielnika $a(x)$ i $b(x)$ mamy $d(x)|g(x)$, gdyż $g(x)=a'(x)a(x)+b'(x)b(x)$ dla pewnych $a'(x),b'(x)\in {\mathbf {F} }[x]$.

Dla dowodu drugiej części załóżmy, że $g(x),h(x)\in {\mathbf {F} }[x]$ są największymi wspólnymi dzielnikami $a(x)$ i $b(x)$. Wtedy mamy $g(x)|h(x)$ i $h(x)|g(x)$ i z Obserwacji 6.9 $g(x)=c\cdot h(x)$ dla pewnego $c\in F$.

Wniosek 6.13

Dla dowolnych wielomianów $a(x),b(x)$ nad ciałem ${\bf {F}}$ jeśli $g(x)$ jest największym wspólnym dzielnikiem $a(x),b(x)$, to $g(x)=\lambda (x)a(x)+\mu (x)b(x)$ dla pewnych $\lambda (x),\mu (x)\in {\mathbf {F} }[x]$.

Dowód

W dowodzie Obserwacji 6.12 wykazaliśmy, iż wszystkie największe wspólne dzielniki $a(x)$ i $b(x)$ są w ideale generowanym przez ${\left\{{a(x),b(x)}\right\}}$, co jest równoważne z tezą wniosku.

Wielomian unormowany nad ciałem ${\bf {F}}$ to wielomian, którego współczynnik wiodący równy jest $1$. Oczywiście dowolny, niezerowy wielomian $p(x)$ może być przedstawiony w postaci $p(x)=c\cdot u(x)$, gdzie $c\in F$, a $u(x)$ jest wielomianem unormowanym tego samego stopnia co $p(x)$.

Wniosek 6.14

Dla dowolnych wielomianów $a(x),b(x)$ nad ciałem ${\bf {F}}$ istnieje dokładnie jeden unormowany największy wspólny dzielnik $a(x),b(x)$.

Algorytm Euklidesa pozwalający na znalezienie największego wspólnego dzielnika dwu liczb całkowitych, może być łatwo rozszerzony z pierścienia liczb całkowitych na pierścienie wielomianów.

Algorytm Euklidesa dla wielomianów.

Dane są wielomiany $a(x),b(x)$ nad ciałem ${\bf {F}}$. Dla obliczenia największego wspólnego dzielnika wykonujemy następującą sekwencję dzieleń:

${\begin{aligned}a(x)&=b(x)q_{0}(x)+r_{0}(x),\\b(x)&=r_{0}(x)q_{1}(x)+r_{1}(x),\\r_{0}(x)&=r_{1}(x)q_{2}(x)+r_{2}(x),\\&\ldots &\\r_{n-2}&=r_{n-1}(x)q_{n}(x)+r_{n}(x),\\r_{n-1}&=r_{n}(x)q_{n+1}(x).\end{aligned}}$

Ponieważ stopnie wielomianów $r_{i}$ dają ciąg silnie malejący, to po skończonej liczbie kroków uda nam się przeprowadzić dzielenie bez reszty. Ostatnia (niezerowa) reszta $r_{n}(x)$ okazuje się być szukanym wielomianem - największym wspólnym dzielnikiem $a(x)$ i $b(x)$.

Z ostatniej równości wynika, iż $r_{n}(x)$ dzieli $r_{n-1}(x)$. Przedostatnia równość implikuje, że $r_{n}(x)$ dzieli także $r_{n-2}(x)$, itd., zatem $r_{n}(x)|a(x)$ i $r_{n}(x)|b(x)$. Ponadto dowolny $d(x)$ dzielnik $a(x)$ i $b(x)$ dzieli $r_{0}(x)$, bo $r_{0}(x)=a(x)-q_{0}(x)b(x)$. Ponieważ $d(x)$ dzieli $b(x)$ i $r_{0}(x)$, to ma podstawie drugiej równości $d(x)$ dzieli też $r_{1}(x)$. Idąc wzdłuż kolejnych równości dostajemy $d(x)|r_{n}(x)$.

Analogicznie jak w przypadku pierścienia liczb całkowitych, algorytm Euklidesa może posłużyć do wskazania wielomianów $\lambda (x),\mu (x)$ takich, że $\lambda (x)a(x)+\mu (x)b(x)=r_{n}(x)$.

Przykład

Znajdźmy największy wspólny dzielnik wielomianów $5x^{3}+3x^{2}+5x+5$ i $3x^{2}+1$ nad ciałem $\mathbb {Z} _{7}$ używając algorytmu Euklidesa dla wielomianów:

Pomocnicza tabelka elementów odwrotnych względem mnożenia:

${\begin{array}{|c|c|c|c|c|c|c|c|}\hline n&0&1&2&3&4&5&6\\\hline n^{-1}&-&1&4&5&2&3&6\\\hline \end{array}}$

• obliczamy pierwszą resztę wydzielając $5x^{3}+3x^{2}+5x+5$ i $3x^{2}+1$:

${\begin{array}{crrrr}&4x&+1\\\hline 3x^{2}+1|&5x^{3}&+3x^{2}&+5x&+5\\&5x^{3}&&+4x\\\hline &&3x^{2}&+x&+5\\&&3x^{2}&&+1\\\hline &&&x&+4\end{array}}$

• $r_{0}=x+4$; liczymy następną resztę wydzielając $3x^{2}+1$ przez $x+4$:

${\begin{array}{crrr}&3x&+2\\\hline x+4|&3x^{2}&&+1\\&3x^{2}&+5x\\\hline &&2x&+1\\&&2x&+1\\\hline &&&0\end{array}}$

• $r_{1}=0$, czyli $r_{0}=x+4$ jest największym wspólnym dzielnikiem wyjściowych wielomianów,

• wskaźniki $\lambda (x),\mu (x)\in \mathbb {Z} _{7}[x]$ z Wniosku 6.13 obliczamy następująco:

${\begin{aligned}x+4&=(5x^{3}+3x^{2}+5x+5)-(4x+1)(3x^{2}+1)\\&=(5x^{3}+3x^{2}+5x+5)+(3x+6)(3x^{2}+1).\end{aligned}}$

Kulminacją naszych rozważań o pierścieniach wielomianów będzie odpowiednika Fundamentalnego Twierdzenia Arytmetyki. Odpowiednikiem liczb pierwszych w pierścieniu wielomianów są oczywiście wielomiany nierozkładalne na iloczyn wielomianów o silnie mniejszym stopniu.

Wielomian nierozkładalny nad ciałem ${\bf {F}}$ to taki niezerowy wielomian $p(x)$, dla którego $p(x)=a(x)b(x)$ implikuje, że $a(x)$ jest stały lub $b(x)$ jest stały.

Przykład

• dla dowolnego ciała ${\bf {F}}$ następujące wielomiany nad ${\bf {F}}$ są nierozkładalne:
  • wszystkie niezerowe wielomiany stałe, gdyż dla dowolnego wielomianu stałego $p(x)$ jeśli $p(x)=a(x)b(x)$, to $a(x)$ i $b(x)$ muszą być stałe (z Obserwacji 6.6),
  • wszystkie wielomiany stopnia $1$ (tzw. wielomiany liniowe), gdyż dla dowolnego liniowego $p(x)$ jeśli $p(x)=a(x)b(x)$, to $1={\mathsf {deg}}(p(x))={\mathsf {deg}}(a(x))+{\mathsf {deg}}(b(x))$, czyli dokładnie jeden z wielomianów $a(x),b(x)$ ma stopień $0$ tzn. jest stały.
• Wielomiany nierozkładalne stopnia $2$ nad ciałem ${\bf {\mathbb {Z} _{2}}}$.
  • wielomian rozkładalny stopnia $2$, to wielomian powstały przez wymnożenie dwóch wielomianów stopnia $1$,
  • lista wszystkich wielomianów stopnia $1$ nad ${\bf {\mathbb {Z} _{2}}}$:

$x,\qquad x+1$

• • lista wszystkich iloczynów wielomianów stopnia pierwszego nad ${\bf {\mathbb {Z} _{2}}}$, czyli lista wszystkich wielomianów rozkładalnych stopnia $2$:

$x\cdot x=x^{2},\qquad x\cdot (x+1)=x^{2}+x,\qquad (x+1)\cdot (x+1)=x^{2}+1$

• • tylko jeden wielomian stopnia $2$ nad ${\bf {Z_{2}}}$ nie wystąpił na powyższej liście:

$x^{2}+x+1$

Obserwacja 6.15 [lemat Euklidesa dla wielomianów]

Dla dowolnych wielomianów $a(x),b(x),p(x)$ nad ciałem ${\bf {F}}$, jeśli $p(x)$ jest nierozkładalny i $p(x)|a(x)b(x)$, to $p(x)|a(x)$ lub $p(x)|b(x)$.

Dowód

Załóżmy, że $p(x)$ nie dzieli $a(x)$. Z nierozkładalności $p(x)$ wiemy, że największym wspólnym dzielnikiem $p(x)$ i $a(x)$ jest dowolna stała, w szczególności $1\in {\bf {F}}[x]$. Z Wniosku 6.13 mamy $\lambda (x)p(x)+\mu (x)a(x)=1$ dla pewnych $\lambda (x),\mu (x)\in {\bf {F}}[x]$. Mnożąc obie strony równości przez $b(x)$ otrzymujemy

$\lambda (x)p(x)b(x)+\mu (x)a(x)b(x)=b(x)$

Zauważmy, że $p(x)$ dzieli lewą stronę równości. Musi zatem dzielić i prawą.

Rozkład wielomianu unormowanego $u(x)$ nad ${\bf {F}}$ na nierozkładalne, unormowane czynniki to przedstawienie go w postaci $u(x)=u_{0}(x)\cdot \ldots \cdot u_{n-1}(x)$, gdzie wszystkie $u_{i}\in {\bf {F}}[x]$ są nierozkładalne i unormowane. Każdy, niezerowy, unormowany wielomian ma taki rozkład - wystarczy rozbijać kolejne rozkładalne czynniki na iloczyn wielomianów o mniejszym stopniu (wszystkie będą unormowane).

Rozkład dowolnego wielomianu $p(x)$ nad ciałem ${\bf {F}}=(F,+,\cdot ,0,1)$ to przedstawienie go w postaci $p(x)=c\cdot u(x)$, gdzie $c\in F$ a $u(x)$ jest wielomianem unormowanym, i później rozłożenie $u(x)$ na nierozkładalne, unormowane czynniki.

Obserwacja 6.16

Dowolny, niezerowy, unormowany wielomian nad ciałem ${\bf {F}}$ ma jednoznaczny (z dokładnością do kolejności czynników) rozkład na nierozkładalne, unormowane czynniki.

Dowód

Indukcja po stopniu wielomianu $u(x)$. Dla ${\mathsf {deg}}(u(x))\leqslant 1$ wielomian $u(x)$ jest nierozkładalny i sam stanowi swój jedyny rozkład. Rozważmy zatem dowolny $u(x)$ stopnia $n+1$ i rozważmy jego dwa rozkłady na nierozkładalne czynniki

$a_{0}(x)\cdot \ldots \cdot a_{m-1}(x)=u(x)=b_{0}(x)\cdot \ldots \cdot b_{n-1}(x)$

Widzimy, iż $a_{0}(x)|b_{0}(x)\cdot \ldots \cdot b_{n-1}(x)$. Z nierozkładalności $a_{0}(x)$ i lematu Euklidesa mamy, iż $a_{0}(x)|b_{i}(x)$ dla pewnego $i$. Z nierozkładalności $b_{i}(x)$ i faktu, iż $a_{0}(x)$ i $b_{i}(x)$ są unormowane otrzymujemy $a_{0}(x)=b_{i}(x)$. Dzieląc obie strony równości przez ten wielomian $a_{0}(x)$ otrzymujemy wielomian istotnie mniejszego stopnia. Zatem z założenia indukcyjnego ma on jednoznaczny rozkład, co kończy dowód.

Powyższa obserwacja nie daje niestety żadnych wskazówek jak znaleźć rozkład wielomianu. W ogólności jest to bardzo trudny problem. Istnieją jednak proste kryteria znajdowania pewnych szczególnych czynników rozkładu. W szczególności przedstawiamy warunek konieczny i wystarczający na to, by w rozkładzie wystąpił czynnik liniowy (tzn. wielomian pierwszego stopnia). Najpierw jednak musimy wprowadzić zapowiadane już pojęcie ewaluacji wielomianu.

Ewaluacja wielomianu $p(x)=p_{n}x^{n}+\ldots +p_{0}$ nad ciałem ${\bf {F}}=(F,+,\cdot ,0,1)$ to funkcja ${\overline {p}}:F\longrightarrow F$ zadana przez

${\overline {p}}(x)=p_{n}x^{n}+\ldots +p_{1}x+p_{0}$

Dlaczego rozróżniamy wielomian od jego ewaluacji? Okazuje się, iż różne wielomiany mogą mieć taką samą ewaluację.

Przykład

Zgodnie z definicją dwa wielomiany są równe tylko wtedy, gdy wszystkie odpowiednie ich współczynniki są takie same. Rozważmy zatem dwa różne wielomiany nad ciałem ${\bf {\mathbb {Z} _{2}}}$ i ich ewaluacje:

$a(x)=x^{2},\qquad b(x)=x^{4}+x^{3}+x^{2}$,

${\begin{array}{rclrcl}{\overline {a}}(0)&=0^{2}+0=0,&{\overline {b}}(0)&=0^{2}+0=0,\\{\overline {a}}(1)&=1^{2}+1=0,&{\overline {b}}(1)&=1^{2}+1=0.\end{array}}$

Zatem $a(x)\neq b(x)$ ale ${\overline {a}}(x)={\overline {b}}(x)$.

Obserwacja 6.17 [Bezout]

Dla dowolnego wielomianu $p(x)$ nad ciałem ${\bf {F}}=(F,+,\cdot ,0,1)$ i $c\in F$ następujące warunki są równoważne:

• $x-c|p(x)$,

• ${\overline {p}}(c)=0$.

Dowód

Załóżmy najpierw, iż $x-c|p(x)$. Zatem $p(x)=q(x)(x-c)$ dla pewnego $q(x)\in {\bf {F}}[x]$. Ewaluacja wielomianu $p(x)$ na elemencie $c$ daje ${\overline {p}}(c)={\overline {q}}(c)\cdot (c-c)=0$.

Dla dowodu implikacji odwrotnej załóżmy, że ${\overline {p}}(c)=0$. Dzieląc $p(x)$ przez $x-c$ otrzymujemy

$p(x)=q(x)(x-c)+r(x)$,

dla pewnych $q(x),r(x)$ gdzie $r(x)=0$ lub ${\mathsf {deg}}(r(x))<{\mathsf {deg}}(x-c)=1$. Zatem $r(x)$ jest wielomianem stałym i jego ewaluacja ${\overline {r}}$ to funkcja stała, przyjmująca zawsze tę samą wartość $r\in F$. Wtedy

$0={\overline {p}}(c)={\overline {q}}(c)\cdot (c-c)+r=r$,

czyli $r(x)$ jest wielomianem zerowym i $x-c|p(x)$.

Pierwiastek wielomianu $p(x)$ nad ciałem ${\bf {F}}$ to taki element $c\in F$, że ${\overline {p}}(c)=0$.

Przykład

Posługując się twierdzeniem Bezout znajdźmy rozkład wielomianu $3x^{2}+12x+8$ nad ciałem ${\bf {\mathbb {Z} _{13}}}$.

Pomocnicza tabela elementów odwrotnych w grupie multyplikatywnej $(\mathbb {Z} _{13}^{*},\cdot ,1)$:

${\begin{array}{|c|c|c|c|c|c|c|c|c|c|c|c|c|c|}\hline n&0&1&2&3&4&5&6&7&8&9&10&11&12\\\hline n^{-1}&-&1&7&9&10&8&11&2&5&3&4&6&12\\\hline \end{array}}$

• najpierw sprowadzamy nasz wielomian do postaci unormowanej:

${\begin{aligned}3x^{2}+12x+8&=3\cdot (3^{-1}\cdot 3x^{2}+3^{-1}\cdot 12x+3^{-1}\cdot 8)\\&=3(x^{2}+4x+7)\end{aligned}}$

• z Obserwacji 6.16 wiemy, iż wielomian $x^{2}+4x+7$ ma jednoznaczny rozkład na unormowane wielomiany nierozkładalne. Ponieważ jest to wielomian drugiego stopnia, więc jeśli jest rozkładalny, musi mieć w rozkładzie dwa czynniki pierwszego stopnia.

• czynniki pierwszego stopnia możemy znaleźć za pomocą Obserwacji 6.17. Szukamy zatem pierwiastków wielomianu $x^{2}+4x+7$ ewaluując go na kolejnych $n\in \mathbb {Z} _{13}$:
  • $0^{2}+4\cdot 0+7=7$,
  • $1^{2}+4\cdot 1+7=12$,
  • $2^{2}+4\cdot 2+7=4$,
  • $3^{2}+4\cdot 3+7=2$,
  • $4^{2}+4\cdot 4+7=0$, czyli $x-4=x+9$ dzieli $x^{2}+4x+7$. Pozostały czynnik rozkładu możemy znaleźć wydzielając $x^{2}+4x+7$ przez $x+9$ lub ewaluując ten wielomian na pozostałych elementach ciała.
  • $5^{2}+4\cdot 5+7=0$, zatem $x^{2}+4x+7=(x+8)(x+9)$ i jest to jedyny rozkład $x^{2}+4x+7$ na nierozkładalne, unormowane czynniki.

• $3x^{2}+12x+8=3(x+8)(x+9)$.

Obserwacja 6.18

Wielomian stopnia $n$ nad ciałem ${\bf {F}}=(F,+,\cdot ,0,1)$ ma co najwyżej $n$ pierwiastków.

Dowód

Załóżmy, że $c_{0},c_{1},\ldots ,c_{m-1}\in F$ są wszystkimi pierwiastkami wielomianu $p(x)$ stopnia $n$. Wtedy z Obserwacji 6.17 mamy $x-c_{i}|p(x)$ dla $i\in {\left\{{0,\ldots ,m-1}\right\}}$. Ponieważ $x-c_{i}$ są nierozkładalne, z jednoznaczności rozkładu mamy

$p(x)=c\cdot (x-c_{0})\cdot \ldots \cdot (x-c_{m-1})q(x)$,

dla pewnego $c\in F$ i unormowanego wielomianu $q(x)$. Ale wtedy Obserwacja 6.6 daje $n={\mathsf {deg}}(p(x))={\mathsf {deg}}((x-c_{0})\cdot \ldots \cdot (x-c_{m-1})q(x))\geq m$.

Ciała skończone

Wracamy teraz do ciał skończonych. Jedyne ciała skończone jakie poznaliśmy do tej pory to $(\mathbb {Z} _{p},+,\cdot ,0,1)$, gdzie $p$ jest liczbą pierwszą. Czy istnieją inne ciała skończone? Jaką liczność mogą mieć inne ciała skończone? Czy wszystkie ciała liczności $p$ są izomorficzne z ciałem $\mathbb {Z} _{p}$? Odpowiedzi na te pytania poznamy w pozostałej części wykładu.

Charakterystyka ciała ${\bf {F}}=(F,+,\cdot ,0,1)$ to rząd elementu $1$ w grupie addytywnej $(F,+,0)$. Oczywiście, jeśli ciało jest skończone to jego charakterystyka też jest skończona. Co więcej, ponieważ rząd elementu musi dzielić rząd grupy, to charakterystyka ciała skończonego ${\bf {F}}$ dzieli $\left\vert F\right\vert$.

Przykład

• $(\mathbb {R} ,+,\cdot ,0,1)$ i $(\mathbb {Q} ,+,\cdot ,0,1)$ mają charakterystykę nieskończoną (czasami przyjmuje się $0$),

• charakterystyka $\mathbb {Z} _{p}$ równa jest $p$, gdyż tyle razy trzeba do siebie dodać $1$, aby otrzymać $0$ w $\mathbb {Z} _{p}$.

Obserwacja 6.19

Charakterystyka ciała skończonego jest liczbą pierwszą.

Dowód

Dla dowodu nie wprost załóżmy, że charakterystyka pewnego ciała jest liczbą złożoną $n=pq$. Wtedy

$0=(\underbrace {1+\ldots +1} _{n\ razy})=(\underbrace {1+\ldots +1} _{p\ razy})\cdot (\underbrace {1+\ldots +1} _{q\ razy})$

Ponieważ $p,q<n$ oba czynniki prawej strony ostatniej równości są niezerowe, to są one dzielnikami zera. Sprzeczność z Obserwacją 6.2.

Obserwacja 6.20

Grupa addytywna dowolnego ciała skończonego ${\bf {F}}=(F,+,\cdot ,0,1)$ jest izomorficzna z $({\mathbf {\mathbb {Z} } _{p}})^{k}$ dla pewnej liczby pierwszej $p$ i $k\geq 1$. Zatem $\left\vert F\right\vert =p^{k}$.

Dowód

Niech ${\bf {F}}=(F,+,\cdot ,0,1)$ będzie ciałem o charakterystyce $p$. Z Obserwacji 6.19, $p$ jest liczbą pierwszą. Niech ${\bf {2}},{\bf {3}},\ldots ,{\bf {p-1}}\in F$ będą zadane przez

${\begin{aligned}{\bf {2}}&=1+1,\\{\bf {3}}&=1+1+1,\\&\ldots &\\{\bf {p-1}}&=\underbrace {1+\ldots +1} _{p\ razy}.\end{aligned}}$

Ponieważ $1$ ma rząd $p$ w grupie $(F,+,0)$, to ${\bf {2}},\ldots ,{\bf {p-1}}$ są parami różne. Ponadto zbiór $({\left\{{0,1,{\bf {2}},\ldots ,{\bf {p-1}}}\right\}},+,\cdot ,0,1)$ jest zamknięty na dodawanie i mnożenie. A zatem jest podciałem ciała ${\bf {F}}$, i to izomorficznym z ciałem $\mathbb {Z} _{p}$.

Samo natomiast ciało ${\bf {F}}$ można traktować jako przestrzeń wektorową nad swoim podciałem $\mathbb {Z} _{p}$. Zatem, jako taka właśnie przestrzeń wektorowa, ${\bf {F}}$ jest izomorficzna z $\mathbb {Z} _{p}^{k}$, gdzie $k$ jest wymiarem ${\bf {F}}$ nad $\mathbb {Z} _{p}$. Stąd w szczególności grupa addytywna ciała ${\bf {F}}$ jest izomorficzna z produktem $k$ kopii grupy $\mathbb {Z} _{p}$.

Obserwacja 6.21

Grupa multyplikatywna ciała skończonego jest cykliczna.

Dowód

Niech $(F,+,\cdot ,0,1)$ będzie ciałem o $q$ elementach. Jednym z warunków równoważnych cykliczności grupy multyplikatywnej $(F^{*},\cdot ,1)$ jest to, że

(*)dla każdego $d|q-1$ liczba elementów $f\in F^{*}$ spełniających $f^{d}=1$ wynosi $d$.

Ponieważ rząd elementu grupy dzieli rząd grupy, to

$f^{q-1}=1\qquad$ dla dowolnego $f\in F^{*}$.

To oznacza, że wszystkie elementy $F^{*}$ są pierwiastkami wielomianu $x^{q-1}-1$. Niech teraz $d|q-1$, czyli $q-1=dk$ dla pewnego $k$. Łatwo sprawdzić, iż

$x^{q-1}-1=(x^{d}-1)(x^{d(k-1)}+x^{d(k-2)}+\ldots +x^{d}+1)$

Z Obserwacji 6.18 wielomian $x^{d}-1$ ma co najwyżej $d$ pierwiastków, a $x^{d(k-1)}+x^{d(k-2)}+\ldots +x^{d}+1$ ma co najwyżej $d(k-1)$. Jednak ich iloczyn $x^{q-1}-1$ ma dokładnie $q-1$ pierwiastków, więc oba wielomiany mają odpowiednio $d$ i $d(k-1)$ pierwiastków.

Fakt, iż $x^{d}-1$ ma dokładnie $d$ pierwiastków to dokładnie warunek (*).

Podsumowując nasze rozważania, pokazaliśmy, że:

• dowolne ciało skończone ma $p^{k}$ elementów, dla pewnej liczby pierwszej $p$ i $k\geqslant 1$,

• grupa addytywna dowolnego ciała $p^{k}$-elementowego jest izomorficzna z $({\mathbf {\mathbb {Z} } _{p}})^{n}$,

• grupa multyplikatywna dowolnego ciała $p^{k}$-elementowego jest izomorficzna z ${\mathbf {\mathbb {Z} } _{p^{k}-1}}$.

W tym kontekście nie jest zbyt zaskakujące, iż dowolne dwa ciała $p^{k}$-elementowe okażą się być izomorficzne. W dowodzie Obserwacji 6.20 widzieliśmy, że ciało skończone charakterystyki $p$ zawiera ciało izomorficzne z $\mathbb {Z} _{p}$. Odtąd będziemy więc zakładać, że $\mathbb {Z} _{p}$ jest po prostu podciałem takiego ciała.

Dla lepszego zrozumienia grupy i multyplikatywnej ciała przeanalizujemy jeszcze pojęcie pokrewne do pojęcia rzędu elementu $a$. W ciele skończonym, o $p^{k}$ elementach, rząd $r$ elementu $a$ dzieli rząd $p^{k}-1$ grupy multyplikatywnej, w szczególności ${\mathsf {NWD}}(p,r)=1$. Ale również lista

$a,a^{p},a^{p^{2}},a^{p^{3}},\ldots$

nie może być nieskończona. Wyrazy na niej muszą się powtarzać. Co więcej, $a^{p^{i}}=a^{p^{j}}$ wtedy i tylko wtedy, gdy $p^{i}-p^{j}$ dzieli się przez rząd $r$ elementu $a$. Niech więc $i<j$ czyli $a^{p^{i}(p^{j-i}-1)}=1$. Wtedy $r\mid p^{i}(p^{j-i}-1)$ i wobec ${\mathsf {NWD}}(p,r)=1$ mamy $p^{j-i}\equiv _{r}1$. Niech $s$ będzie multyplikatywnym rzędem liczby $p$ modulo $r$, tzn najmniejsza taka liczba naturalną $s$, że $p^{s}\equiv _{r}1$. Wtedy mamy

$a^{p^{i}}=a^{p^{j}}$ wtedy i tylko wtedy, gdy $i\equiv _{s}j$

.

A zatem nasza lista redukuje się do:

$a,a^{p},a^{p^{2}},a^{p^{3}},\ldots ,a^{p^{s-1}}$

Stopień elementu $a\neq 0$ ciała charakterystyki $p$ to najmniejsza liczba $d$, dla której $a^{p^{s}}=a$.

Wniosek 6.22

W skończonym ciele o $p^{k}$ elementach, stopień każdego elemetu jest dzielnikiem liczby $k$.

Obserwacja 6.23

Dla dowolnego ciała ${\bf {F}}$ charakterystyki $p$ oraz $n\in \mathbb {N}$ mamy:

• jeśli $a,b\in F$, to $(a+b)^{p^{n}}=a^{p^{n}}+b^{p^{n}}$,

• jeśli $w(x)\in \mathbb {Z} _{p}[x]$, to $w(x^{p^{n}})=w(x)^{p^{n}}$,

Dowód

Tak jak w ciele liczb rzeczywistych, można łatwo pokazać, że

$(a+b)^{p}=\sum _{i=0}^{p}{p \choose i}a^{i}b^{p-i}$

To, wraz z faktem, że $p$ jako liczba pierwsza dzieli wszystkie współczynniki dwumianowe poza ${p \choose 0}$ i ${p \choose p}$ oraz, że ${\bf {F}}$ ma charakterystykę $p$, daje $(a+b)^{p}=a^{p}+b^{p}$. Łatwa indukcja względem $n$ pokazuje teraz punkt pierwszy.

Dla dowodu punktu drugiego załóżmy, że $w(x)=\sum _{i}c_{i}x^{i}$. Mamy wtedy $w(x)^{p^{n}}=\sum _{i}c_{i}^{p^{n}}x^{ip^{n}}=\sum _{i}c_{i}x^{ip^{n}}=w(x^{p^{n}})$, gdzie równość $c_{i}^{p^{n}}=c_{i}$ użyta w środkowym przejściu wynika z faktu, że $c_{i}\in \mathbb {Z} _{p}$.

Obserwacja 6.24

Niech ${\bf {F}}$ będzie ciałem skończonym charakterystyki $p$. Wtedy dla dowolnego $a\in F^{*}$ istnieje dokładnie jeden unormowany i nierozkładalny wielomian $w_{a}(x)\in \mathbb {Z} _{p}[x]$ taki, że w ciele ${\bf {F}}$ zachodzi $w_{a}(a)=0$. Wielomian ten to:

$w_{a}(a)=\prod _{i=0}^{d-1}(x-a^{p^{i}})$,

gdzie $d$ jest stopniem elementu $a$.

Dowód

Wielomian $w_{a}$ zdefiniowany w wypowiedzi obserwacji używa współczynników z ciała ${\bf {F}}$, które nie muszą być w ciele $\mathbb {Z} _{p}$. Aby zobaczyć, że w istocie po wymnożeniu dostajemy współczynniki z $\mathbb {Z} _{p}$ niech $w_{a}(x)=\sum _{i=0}^{d-1}c_{i}x^{i}$. Zauważmy, że zgodnie z Obserwacją 6.23

$w_{a}(x)^{p}=w_{a}(x^{p})=\sum _{i=0}^{d-1}c_{i}^{p}x^{ip}$

Z drugiej strony fakt, że $d$ jest stopniem elementu $a$, czyli równość $a^{p^{d}}=a=a^{p^{0}}$, daje środkowe przejście w ciągu:

$w_{a}(x)^{p}=\prod _{i=0}^{d-1}(x-a^{p^{i}})^{p}=\prod _{i=0}^{d-1}(x^{p}-a^{p^{i+1}})=\prod _{i=0}^{d-1}(x^{p}-a^{p^{i}})=w_{a}(x^{p})=\sum _{i=0}^{d-1}c_{i}x^{ip}$

Przyrównując więc teraz współczynniki, dostajemy $c_{i}^{p}=c_{i}$. Oznacza to, że $c_{0},\ldots ,c_{d-1}\in F$ są pierwiastkami wielomianu $x^{p}-x\in {\bf {F}}[x]$. Ponieważ wszystkie elementy z ciała $\mathbb {Z} _{p}\subseteq {\bf {F}}$ są już pierwiastkami tego wielomianu stopnia $p$, to $c_{0},\ldots ,c_{d-1}$ muszą być wśród nich, a zatem $c_{0},\ldots ,c_{d-1}\in \mathbb {Z} _{p}$.

Oczywiście wielomian $w_{a}(x)$ jest unormowany. By zobaczyć, że jest nierozkładalny, załóżmy, że $w_{a}(x)=p(x)q(x)$. Skoro $w_{a}(a)=0$, to bez straty ogólności możemy założyć, że $p(a)=0$. Ale gdyby wielomian $p(x)$ miał współczynniki w podciele $\mathbb {Z} _{p}$, to wobec Obserwacji 6.23 mielibyśmy $p(a^{p^{d-1}})=p(a^{p^{d-2}})=\ldots =p(a^{p^{2}})=p(a^{p})=p(a)=0$, czyli

$a^{p^{d-1}},a^{p^{d-2}},\ldots ,a^{p^{2}},a^{p},a$

byłyby różnymi pierwiastkami wielomianu $p(x)$, skąd ${\mathsf {deg}}(p(x))=d={\mathsf {deg}}(w_{a}(x))$ i wielomian $q(x)$ jest stały.

Pozostaje pokazać, że $w_{a}(x)$ jest jedynym wielomianem spełniającym warunki podane w Obserwacji. Niech więc $v(a)$ będzie takim wielomianem. Wtedy, ponieważ $v(x)$ ma współczynniki w $\mathbb {Z} _{p}$, to wraz z $a$ również potęgi $a^{p},a^{p^{2}},\ldots ,a^{p^{d-2}},a^{p^{d-1}}$ są pierwiastkami wielomianu $v(x)$. To na mocy Twierdzenia Bezout daje, że $w_{a}(x)$ dzieli $v(x)$. Ponieważ jednak $v(x)$ jest nierozkładalny (nad $\mathbb {Z} _{p}$), to $v(x)=c\cdot w_{a}(x)$ dla pewnego $c\in \mathbb {Z} _{p}$. Ale skoro obydwa wielomiany $v(x)$ i $w_{a}(x)$ sa unormowane, to $c=1$ i $v(x)=w_{a}(x)$.

Następne twierdzenie wskaże nam jak konstruować ciała liczności $p^{k}$ dla $k>1$. Dla niezerowego wielomianu $q(x)$ nad ciałem ${\bf {F}}=(F,+,\cdot ,0,1)$ rozważmy dwuargumentową relację $\sim _{q(x)}$ na zbiorze $F$ zadaną przez

$a(x)\sim _{q(x)}b(x){\text{ wtedy i tylko wtedy, gdy }}q(x)|a(x)-b(x)$

Łatwo sprawdzić, iż $\sim _{q(x)}$ jest relacja równoważności zachowującą dodawanie i mnożenie wielomianów. W istocie jest to kongruencja wyznaczona przez ideał główny pierścienia wielomianów ${\bf {F}}[x]$ generowany wielomianem $q(x)$. Zbiór klas równoważności tworzy więc pierścień ilorazowy ${\bf {F}}[x]/q(x)$.

Twierdzenie 6.25

Jeśli $q(x)$ jest nierozkładalnym wielomianem stopnia $k$ nad ciałem $\mathbb {Z} _{p}$, to pierścień ilorazowy $\mathbb {Z} _{p}[x]/q(x)$ jest $p^{k}$-elementowym ciałem.

Dowód

Po pierwsze w każdej klasie równoważności relacji $\sim _{q(x)}$ jest jakiś wielomian stopnia mniejszego niż $k$. Istotnie, gdy $p(x)=a(x)\cdot q(x)+r(x)$, gdzie $r(x)$ jest wielomianem zerowym lub stopnia mniejszego niż $k$, to $p(x)\sim _{q(x)}r(x)$. Ponadto, różne wielomiany stopnia mniejszego niż $k$ nie mogą być $\sim _{q(x)}$ równoważne. A zatem każda klasa równoważności jest wyznaczona przez dokładnie jeden wielomian stopnia mniejszego niż $k$. Wielomianów takich jest tyle co wektorów postaci $(a_{k-1},\ldots ,a_{0})$, gdzie $a_{i}\in \mathbb {Z} _{p}$. A więc $\sim _{q(x)}$ ma dokładnie $p^{k}$ klas równoważności.

Pozostało sprawdzić, że (przemienny) pierścień ilorazowy jest ciałem, tzn. każdy jego niezerowy element jest odwracalny. W tym miejscu kluczowa jest nierozkładalność wielomianu $q(x)$.

Niech więc $a(x)$ będzie niezerowym wielomianem stopnia mniejszego od $k$. Z nierozkładalności $q(x)$ wiemy, że $1\in \mathbb {Z} _{p}[x]$ jest największym wspólnym dzielnikiem $a(x)$ i $q(x)$. Z Wniosku 6.13 istnieją $\lambda (x),\mu (x)\in {\bf {F}}[x]$ takie, że

$\lambda (x)a(x)+\mu (x)q(x)=1$

To oczywiście oznacza, że

$\lambda (x)a(x)\sim _{q(x)}1$,

czyli klasa $[\lambda ]_{q(x)}$ jest odwrotna do $[a(x)]_{q(x)}$.

Ciało reszt modulo nierozkładalny wielomian $w(x)\in \mathbb {Z} _{p}[x]$, to ciało ilorazowe $\mathbb {Z} _{p}[x]/q(x)$ opisane w Twierdzeniu 6.25.

Twierdzenie 6.26

Jeśli dwa skończone ciała są równoliczne, to są izomorficzne.

Dowód

Niech ciała ${\bf {F}}$ i ${\bf {G}}$ mają $p^{k}$ elementów. Przez $a$ oznaczmy generator grupy multyplikatywnej ciała ${\bf {F}}$. Wtedy stopień elementu $a$ wynosi $k$. Pokażemy, że ${\left\{{1,a,a^{2},\ldots ,a^{k-1}}\right\}}$ stanowi bazę dla przestrzeni wektorowej ${\bf {F}}$ nad $\mathbb {Z} _{p}$. Istotnie, gdyby zbiór ten był liniowo zależny, to $\sum _{i=0}^{k-1}c_{i}a^{i}=0$ dla pewnych współczynników $c_{i}\in \mathbb {Z} _{p}$. Ale wtedy wielomian $\sum _{i=0}^{k-1}c_{i}x^{i}$ miałby w swoim rozkładzie pewien nierozkładalny i unormowany wielomian $w'(x)$ stopnia co najwyżej $k-1$ taki, że $w'(a)=0$. To jednak na mocy Twierdzenia 6.24 nie jest możliwe, bo jedyny taki wielomian w $\mathbb {Z} _{p}[x]$ to $w_{a}(x)$ stopnia $k$. Ponieważ liniowo niezależny zbiór ${\left\{{1,a,a^{2},\ldots ,a^{k-1}}\right\}}$ ma liczność równa wymiarowi przestrzeni wektorowej ${\bf {F}}$ nad $\mathbb {Z} _{p}$, to jest jej bazą.

Podobnie, startując od generatora $b$ grupy multyplikatywnej ciała ${\bf {G}}$, dostaniemy bazę ${\left\{{1,b,b^{2},\ldots ,b^{k-1}}\right\}}$ przestrzeni wektorowej ${\bf {G}}$ nad $\mathbb {Z} _{p}$. Teraz łatwo już sprawdzić, że jedyne odwzorowanie liniowe $F\longrightarrow G$ posyłające $a^{i}$ w $b^{i}$ jest izomorfizmem nie tylko przestrzeni wektorowych, ale i ciał ${\bf {F}}$ i ${\bf {G}}$.

Twierdzenie 6.25 pozwala na konstrukcję ciał skończonych o $p^{k}$ elementach, gdzie $p$ jest liczbą pierwszą i $k>1$, o ile tylko mamy nierozkładalny wielomian $k$-tego stopnia nad $\mathbb {Z} _{p}$. Fakt, iż taki wielomian istnieje dla dowolnej liczby pierwszej $p$ i dowolnego $k\geq 1$ jest nietrywialny i jego dowód przeprowadzimy w serii ćwiczeń do tego wykładu.

Twierdzenie 6.27

Dla dowolnej liczby pierwszej $p$ i $k\geqslant 1$ istnieje nierozkładalny wielomian $k$-tego stopnia nad ciałem $\mathbb {Z} _{p}$.

Wniosek 6.28

Dla dowolnej liczby pierwszej $p$ i $k\geq 1$ istnieje dokładnie jedno, z dokładnością do izomorfizmu, ciało $p^{n}$-elementowe.

Ciało Galois ${\bf {GF}}(q)$, gdzie $q=p^{k}$ jest potęgą liczby pierwszej, to jedyne z dokładnością do izomorfizmu ciało $q$-elementowe.

Przykład

Opiszemy ciała ${\bf {GF}}(4)$ i ${\bf {GF}}(9)$.

• ${\bf {GF}}(4)$:
  • $4=2^{2}$ zatem potrzebujemy nierozkładalnego wielomianu stopnia $2$ nad ${\bf {\mathbb {Z} _{2}}}$.

W jednym z poprzednich przykładów widzieliśmy, iż jest tylko jeden taki wielomian:

$x^{2}+x+1$

• • elementami konstruowanego ciała są $4$ klasy reszt z dzielenia wielomianów nad ${\bf {\mathbb {Z} _{2}}}$ przez $x^{2}+x+1$, o reprezentantach: $0,1,x,x+1$.
  • oto tabelki działań dla ciała ${\bf {GF}}(4)$

${\begin{array}{c|cccc}+&0&1&x&x+1\\\hline 0&0&1&x&x+1\\1&1&0&x+1&x\\x&x&x+1&0&1\\x+1&x+1&x&1&0\end{array}}$

${\begin{array}{c|cccc}\cdot &0&1&x&x+1\\\hline 0&0&0&0&0\\1&0&1&x&x+1\\x&0&x&x+1&1\\x+1&0&x+1&1&x\end{array}}$

• ${\bf {GF}}(9)$.
  • $9=3^{2}$, potrzebujemy zatem nierozkładalnego wielomianu stopnia $2$ nad $\mathbb {Z} _{3}$. Możemy tak jak wcześniej wygenerować wszystkie wielomiany rozkładalne stopnia $2$ nad $\mathbb {Z} _{3}$ i wziąć dowolny spoza tej listy. Jednak jest to bardzo żmudne. Dlatego podajemy od razu nierozkładalny wielomian: $x^{2}+2x+2$. Na szczęście łatwo sprawdzić, że rzeczywiście podany wielomian jest nierozkładalny. Gdyby był rozkładalny musiałby mieć w rozkładzie czynniki stopnia $1$, których istnienie łatwo zweryfikować przy pomocy Twierdzenia Bezout:
    • $0^{2}+2\cdot 0+2=2$,
    • $1^{2}+2\cdot 1+2=2$,
    • $2^{2}+2\cdot 2+2=1$,

zatem rzeczywiście wielomian $x^{2}+2x+2$ jest nierozkładalny nad $\mathbb {Z} _{3}$.

• • elementy konstruowanego ciała to $9$ klas reszt z dzielenia wielomianów nad ${\bf {\mathbb {Z} _{3}}}$ przez $x^{2}+2x+2$, o reprezentantach: $0,1,2,x,x+1,x+2,2x,2x+1,2x+2$