\documentclass[oneside,a4paper,12pt]{book} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amssymb} \usepackage{amsfonts} \usepackage{amsmath} \usepackage[croatian]{babel} \usepackage{geometry} \setcounter{MaxMatrixCols}{10} %TCIDATA{OutputFilter=LATEX.DLL} %TCIDATA{Version=4.00.0.2312} %TCIDATA{Created=Thursday, December 05, 2002 08:17:53} %TCIDATA{LastRevised=Thursday, December 26, 2002 14:35:52} %TCIDATA{} %TCIDATA{} %TCIDATA{CSTFile=LaTeX Book.cst} \newtheorem{theorem}{Teorem}[section] \newtheorem{acknowledgement}[theorem]{Acknowledgement} \newtheorem{algorithm}[theorem]{Algorithm} \newtheorem{axiom}{Aksiom}[section] \newtheorem{case}[theorem]{Case} \newtheorem{claim}[theorem]{Claim} \newtheorem{conclusion}[theorem]{Conclusion} \newtheorem{condition}[theorem]{Condition} \newtheorem{conjecture}[theorem]{Conjecture} \newtheorem{corollary}{Korolar}[section] \newtheorem{criterion}[theorem]{Criterion} \newtheorem{definition}{Definicija}[section] \newtheorem{example}{Primjer}[section] \newtheorem{exercise}[theorem]{Exercise} \newtheorem{lemma}{Lema}[section] \newtheorem{notation}{Napomena}[section] \newtheorem{problem}[theorem]{Problem} \newtheorem{proposition}{Propozicija}[section] \newtheorem{remark}[theorem]{Remark} \newtheorem{solution}[theorem]{Solution} \newtheorem{summary}[theorem]{Summary} \newenvironment{proof}[1][Proof]{\noindent\textbf{Dokaz.} }{\ \rule{0.5em}{0.5em}} \geometry{top=3cm,left=3.5cm,right=2.5cm,bottom=2.5cm,foot=0.5cm} \input{tcilatex} \begin{document} \frontmatter \title{O kona\v{c}nim poljima i pripadnim projektivnim geometrijama} \author{Sun\v{c}ica Bla\v{z}ev} \date{} \maketitle \tableofcontents \chapter{Uvod} U ovom radu, podijeljenom na dva poglavlja, ispreple\'{c}u se i povezuju poznate i \v{s}iroko razvijene teorije polja, projektivnih prostora i dizajna, koje same po sebi mogu odvesti istra\v{z}ivanja u sasvim novim i neovisnim smjerovima. Tema prvog poglavlja su polja sa kona\v{c}nim brojem elemenata, tj. kona\v{c}% na polja. Pokazat \'{c}emo da su svaka dva kona\v{c}na polja istog reda izomorfna, \v{s}to nam daje za pravo govoriti o jedinstvenom kona\v{c}nom polju $F_{q}$ kojeg zovemo Galoisovo polje reda $q$, (u spomen na njegovog pronalaza\v{c}a E. Galoisa) pri \v{c}emu je $q$ potencija prostog broja. U literaturi se \v{c}esto umjesto $F_{q}$ upotrebljava oznaka $GF(q)$. Dokazat \'{c}emo i egzistenciju kona\v{c}nog polja $F_{q}$, za proizvoljnu potenciju $q$ prostog broja. Cilj \'{c}e nam biti konstrukcija kona\v{c}nog polja $F_{q^{n}}$. U tu svrhu dokazat \'{c}e se da za prirodan broj $n$ i kona\v{c}no polje $F_{q}$ postoji polinom $f(x)\in F_{q}[x]$ stupnja $n$ ireducibilan nad $F_{q}$. Vidjet \'{c}emo da je polje razlaganja polinoma $f(x)$ nad $F_{q\text{ }}$ upravo $F_{q^{n}}$, koje je jednostavno algebarsko pro\v{s}irenje polja $% F_{q}$ generirano korijenom $y$ polinoma $f(x)$, tj. vrijedi $% F_{q^{n}}=F_{q}(y)\cong F_{q}[x]/(f(x))$. Polje $F_{q^{n}}$ je $n-$% dimenzionalni vektorski prostor nad $F_{q}$, s pripadnom bazom $\{1,y,\ldots ,y^{n-1}\}$. Prona\dj emo li primitivan element $z$ polja $F_{q^{n}}$, tj. generator cikli\v{c}ke multiplikativne grupe $F_{q^{n}}^{\ast }$ polja $% F_{q^{n}}$, odnosno $F_{q^{n}}^{\ast }=\langle z\rangle $, preostalo je ispisati elemente polja $F_{q^{n}}$ u spomenutoj bazi. Dakle, da bi izgradili kona\v{c}no polje $F_{q^{n}}$ nad $F_{q}$ potrebno je prona\'{c}i ireducibilan polinom stupnja $n$ nad $F_{q}$, a u tu svrhu upotrijebit \'{c}% emo ciklotomi\v{c}ke polinome nad poljem $F_{q}$. U drugom poglavlju ovog rada definiraju se projektivne geometrije $P(V)$ kao skup svih potprostora kona\v{c}nodimenzionalnog lijevog ili desnog vektorskog prostora $V$ nad tijelom $K$. Ulaze\'{c}i dublje u geometriju kao disciplinu, projektivne geometrije definirane na spomenuti na\v{c}in, predstavljaju samo jedan od modela takozvanih projektivnih prostora, incidencijskih struktura koje zadovoljavaju odre\dj ena svojstva, a koji se ponekad u literaturi nazivaju i projektivne geometrije. Posebno \'{c}emo prou\v{c}avati projektivne geometrije $P(V)$ $g-$dimenzije $% 2$, koje zovemo projektivnim ravninama, s pripadnim trodimenzionalnim vektorskim prostorom $V$. Ovakve projektivne geometrije op\'{c}enito se nazivaju Desarguesove projektivne ravnine, a kao takve predstavljaju jedan od modela projektivne ravnine definirane na apstraktan na\v{c}in. Ako je $K$ polje, projektivna se ravnina $P(V)$ naziva Pappusova projektivna ravnina. Bavit \'{c}emo se svojstvima projektivnih geometrija, te pripadnih izomorfizama i polariteta, koordinatizacijom elementa projektivnih geometrija, a na kraju i konikama u Pappusovoj projektivnoj ravnini, nad poljem karakteristike razli\v{c}ite od $2$. Posebno je interesantan dio drugog poglavlja koji se direktno ve\v{z}e na prvo, a radi se o izgradnji projektivnih geometrija tipa $P_{n}(q)$ za koje je pripadni vektorski prostor $V$ $n+1-$dimenzionalan nad kona\v{c}nim poljem $F_{q}$, a koje se u literaturi \v{c}esto bilje\v{z}e i sa $PG(n,q)$. Zalaze\'{c}i u teoriju dizajna, tra\v{z}it \'{c}emo diferencijske prikaze spomenutih geometrija, pri \v{c}emu je neophodna izgradnja kona\v{c}nog polja $F_{q^{n+1}}$ nad poljem $F_{q}$, jer je $P_{n}(q)$ skup svih potprostora $n+1-$dimenzionalnog vektorskog prostora $F_{q^{n+1}}$ nad poljem $F_{q}$. Iskreno se zahvaljujem svom mentoru prof. dr. Vladi Cigi\'{c}u na strpljenju, pomo\'{c}i u radu i motivaciji. Prof. dr. Mirjani Vukovi\'{c} i prof. dr. Hasanu Jamaku hvala za \v{c}itanje teksta i za korisne primjedbe. \mainmatter \chapter{Kona\v{c}na polja} \section{Osnovni pojmovi} \subsection{Grupe, prsteni i polja} \begin{definition} \textbf{Binarna relacija} ili kra\'{c}e \textbf{relacija }na skupu $S$ je neprazan podskup $\rho \subseteq S\times S$. \end{definition} Ako je $\rho $ relacija na skupu $S$, \v{c}injenicu da je $(a,b)\in \rho $ bilje\v{z}imo sa $a\rho b$. \begin{definition} Ako binarna relacija $\rho $ na skupu $S$ zadovoljava slijede\'{c}a tri svojstva: \begin{enumerate} \item[1)] \textbf{Refleksivnost}, tj. vrijedi $x\rho x$, $\forall x\in S$; \item[2)] \textbf{Simetri\v{c}nost}, tj. vrijedi $x\rho y\Rightarrow y\rho x$% , $\forall x,y\in S$; \item[3)] \textbf{Tranzitivnost}, tj. vrijedi $x\rho y$, $y\rho z\Rightarrow x\rho z$, $\forall x,y,z\in S$; ka\v{z}emo da je $\rho $ \textbf{relacija ekvivalencije} na skupu $S$. \end{enumerate} \end{definition} \begin{definition} Neka je $\rho $ relacija ekvivalencije na skupu $S$, $x\in S$. Skup% \begin{equation*} \lbrack x]=\{y\in S\text{; }y\rho x\} \end{equation*}% zovemo \textbf{klasa ekvivalencije }elementa $x$. \end{definition} \begin{theorem} Neka su $x$ i $y$ proizvoljni elementi$\ $skupa $S$, a $\rho $ relacija ekvivalencije na $S$. Vrijedi ili $[x]=[y]$ ili $[x]\cap \lbrack y]=\varnothing $. Pri tome je $[x]=[y]$ ako i samo ako $x\rho y$. \end{theorem} \textbf{Kvocijentni skup }$S/\rho $ skupa $S$ u odnosu na relaciju ekvivalencije $\rho $ je skup svih klasa ekvivalencije s obzirom na $\rho $. Iz prethodnog teorema slijedi da je $S/\rho $ particija skupa $S$. \begin{definition} Neka je $n\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $. Relaciju $\rho $ na skupu cijelih brojeva $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ definiranu sa% \begin{equation*} a\rho b\Leftrightarrow n\mid a-b \end{equation*}% zovemo \textbf{relacija kongruencije modulo }$n$. \end{definition} \v{C}injenicu da je $a\rho b$, gdje je $\rho $ relacija kongruencije modulo $% n$, bilje\v{z}imo sa% \begin{equation*} a\equiv b(\func{mod}n). \end{equation*} Poka\v{z}e se da je $\rho $ relacija ekvivalencije na $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $, te da su pripadne klase ekvivalencije oblika \begin{equation*} \lbrack k]=\{n\cdot l+k\text{; }l\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \}\text{, }\forall k\in \{0,\ldots ,n-1\}\text{,} \end{equation*}% a zovemo ih \textbf{klase ostataka modulo }$n$. \begin{definition} Neka je $S$ neprazan skup. \textbf{Binarna operacija }ili kra\'{c}e \textbf{% operacija} na skupu $S$ je preslikavanje $\ast :S\times S\rightarrow S$. \end{definition} \begin{definition} Ure\dj en par $(G,\ast )$ koji se sastoji od nepraznog skupa $G$ i binarne operacije $\ast $\ na $G$ zovemo \textbf{grupom}, ako su zadovoljeni slijede% \'{c}i uvjeti: \begin{enumerate} \item[1)] Operacija $\ast $ je \textbf{asocijativna}, tj. $\forall a,b,c\in G $ vrijedi $(a\ast b)\ast c=a\ast (b\ast c)$. \item[2)] Postoji \textbf{jedini\v{c}ni element} ili \textbf{jedinica} $e\in G$ takav da $\forall a\in G$ vrijedi $a\ast e=e\ast a=a$. \item[3)] Za svaki $a\in G$ postoji \textbf{inverzni element} ili \textbf{% inverz} $a^{-1}\in G$ takav da vrijedi $a\ast a^{-1}=a^{-1}\ast a=e$. \end{enumerate} \end{definition} Grupa $(G,\ast )$ je \textbf{komutativna} ili \textbf{Abelova} ako $\forall a,b\in G$ vrijedi $a\ast b=b\ast a$. \begin{lemma} Ako je $(G,\ast )$ grupa tada vrijedi: \begin{enumerate} \item[1)] Postoji jedinstveni jedini\v{c}ni element u $G$. \item[2)] Za svaki element iz $G$ postoji jedinstveni, njemu inverzni element u $G$. \item[3)] Za svaki $a,b\in G$ vrijedi $(a\ast b)^{-1}=b^{-1}\ast a^{-1}$. \end{enumerate} \end{lemma} Grupu $(G,\ast )$ kra\'{c}e ozna\v{c}avamo sa $G$. Dva naj\v{c}e\v{s}\'{c}a zapisa binarne operacije $\ast $, a time i grupe $G$ su \textbf{aditivan} i \textbf{multiplikativan} zapis. U multiplikativnom zapisu umjesto $a\ast b$ pi\v{s}emo $a\cdot b$, odnosno $ab$, a u aditivnom zapisu $a\ast b$ bilje\v{z}imo sa $a+b$. Jedini\v{c}ni element grupe u aditivnom zapisu zovemo \textbf{nula} i bilje\v{z}imo ga sa $0$. \begin{definition} Za svaki $k\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ u grupi $(G,\cdot )$ definira se \textbf{potencija} elementa $a\in G$ s \textbf{eksponentom }$k$ na slijede\'{c}i na\v{c}in% \begin{equation*} a^{k}=\left\{ \begin{array}{ll} \underset{k\text{ faktora}}{\underbrace{a\cdots a}\text{ }}\text{\ \ \ } & ;k>0 \\ e & ;k=0 \\ \underset{k\text{ faktora}}{\underbrace{a^{-1}\cdots a^{-1}}}\text{ } & ;k<0% \end{array}% \right. \text{.} \end{equation*} \end{definition} \begin{lemma} Neka je $(G,\cdot )$ grupa. Za svaki $a\in G$, $m,n\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ vrijedi: \begin{enumerate} \item[1)] $(a^{m})^{n}=a^{mn}$ \item[2)] $a^{m}a^{n}=a^{m+n}$. \end{enumerate} \end{lemma} Za grupu ka\v{z}emo da je \textbf{kona\v{c}na}, odnosno \textbf{beskona\v{c}% na}, ako ima kona\v{c}an, odnosno beskona\v{c}an broj elemenata. Broj elemenata kona\v{c}ne grupe $G$ zovemo \textbf{red grupe }i bilje\v{z}imo ga sa $\left\vert G\right\vert $. \begin{definition} Neprazan podskup $H\subseteq G$ je \textbf{podgrupa }grupe $G$ ako je $H$ grupa u odnosu na binarnu operaciju u $G$. \end{definition} Podgrupe grupe $G$ razli\v{c}ite od \textbf{trivijalnih podgrupa} $\left\{ e\right\} $ i $G$ zovemo \textbf{prave podgrupe} od $G$. \v{C}injenicu da je $H$ podgrupa od $G$ bilje\v{z}imo sa $H1$, jer $R$ osim $0$ sadr\v{z}i i jedinicu $e\neq 0$. Pretpostavimo da je $p$ slo\v{z}en broj, tj. $p=k\cdot l$, gdje su $k,$ $l\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $, $1k$, pa je $l-k\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $ i $(l-k)\cdot e=0$. Iz Leme \ref{karak}, slijedi da je karakteristika polja $F$ prirodan broj. \end{proof} \begin{lemma} Ako je $p$ prost broj, tada je kvocijentni prsten $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$ prstena $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ po glavnom idealu $(p)$ kona\v{c}no polje reda $p$. \end{lemma} \begin{proof} Vidjeli smo da je $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$ komutativan prsten s jedinicom koji ima $p$ razli\v{c}itih elemenata, jer je $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)\cong %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion _{p}$. Kako je svaka kona\v{c}na integralna domena polje, da bi dokazali da je $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$ polje dovoljno je pokazati da nema djelitelja nule. Elementi iz $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$ su klase \begin{equation*} \lbrack 0]=0+(p),\text{ }[1]=1+(p),\ldots ,[p-1]=p-1+(p) \end{equation*}% ostataka prstena $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ modulo $(p)$. Ako je $[a]\cdot \lbrack b]=[0]$, tada je $[a\cdot b]=[0],$ tj. \begin{equation*} a\cdot b\in (p)=\{k\cdot p;\text{ }k\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \}\text{.} \end{equation*}% Dakle, $p\mid ab$, a kako je $p$ prost broj, tada $p$ dijeli barem jednog od faktora tog produkta. Prema tome, iz $[a]\cdot \lbrack b]=[0]$, zaklju\v{c}% ujemo da je barem jedan od $[a]$ i $[b]$ jednak nuli u $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$. Dakle, $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$ nema djelitelja nule, a tada je $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$ kona\v{c}no polje reda $p$. \end{proof} Preslikavanja mogu biti kori\v{s}tena za preno\v{s}enje algebarske strukture na skup bez strukture. Pokazat \'{c}emo kako strukturu prstena prenjeti na skup $S$ bez stukture. Neka je $\psi :R\rightarrow S$ bijekcija sa prstena $% R $ na skup $S$. Za $s_{1}$\ , $s_{2}\in S$ postoje jedinstveni $r_{1}$\ , $% r_{2}\in R$ takvi da vrijedi $\psi (r_{i})=s_{i}$, $i\in \{1,2\}$. Ako definiramo zbrajanje i mno\v{z}enje na $S$ sa% \begin{eqnarray*} s_{1}+s_{2} &:&=\psi (r_{1}+r_{2}), \\ s_{1}\cdot s_{2} &:&=\psi (r_{1}\cdot r_{2}), \end{eqnarray*}% tada je $S$ prsten u odnosu na definirane binarne operacije, a zovemo ga \textbf{prsten induciran preslikavanjem }$\psi $. Bijekcija $\psi :R\rightarrow S$ je izomorfizam prstena $R$ i $S$. Na ovaj na\v{c}in se sva svojstva prstena $R$ prenose se na $S$. \begin{definition} Neka je $F_{p}=\{0,1,\ldots ,p-1\}$, gdje je $p$ prost broj. Definiramo li preslikavanje $\psi :% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)\rightarrow F_{p}$ sa $\psi ([a])=a$, $\forall a\in F_{p}$, tada polje $% (F_{p},+,\cdot )$ inducirano preslikavanjem $\psi $ zovemo \textbf{Galoisovo polje }reda $p.$ \end{definition} \v{C}esto se za Galoisovo polje $F_{p}$ reda $p$ koristi oznaka $GF(p)$. Iz definicija binarnih operacija na $F_{p}$ vidimo da su to operacije zbrajanja, mno\v{z}enja cijelih brojeva modulo $p$. Nula i jedinica u $F_{p}$ su $0$ i $1$, te vrijedi $F_{p}\cong %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)$. \subsection{Prsten polinoma} Neka je $R$ prsten. \textbf{Polinom} $n-$\textbf{tog stupnja\ }nad $R$ je izraz oblika% \begin{equation*} f(x)=a_{0}+a_{1}x+\cdots +a_{n}x^{n}=\tsum\limits_{i=0}^{n}a_{i}x^{i}, \end{equation*}% gdje su $a_{0},\ldots ,a_{n}\in R$ \textbf{koeficijenti} polinoma $f(x)$, $% a_{n}\neq 0$ , $n\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $, a $x$ je neki simbol. Koeficijent $a_{n}$ zovemo \textbf{vode\'{c}i koeficijent polinoma }$f(x)$, a \v{c}injenicu da je $f(x)$ stupnja $n$ bilje% \v{z}imo sa $\deg f(x)=n$. Polinom $f(x)=0$ zovemo \textbf{nulpolinom }nad $R$. Za nulpolinom ka\v{z}% emo da je stupnja $-\infty $. Polinome oblika $f(x)=a$, $\forall a\in R^{\ast }$, zovemo \textbf{konstantama} ili \textbf{konstantnim polinomima }% nad $R$. Stupanj konstante je nula. Skup svih polinoma nad $R$ bilje\v{z}imo sa $R[x]$. Za dva polinoma nad prstenom $R$ ka\v{z}emo da su \textbf{jednaki} ako su im jednaki koeficijenti uz iste potencije od $x$. Ako $R$ ima jedinicu $1$ i ako je vode\'{c}i koeficijent nekog polinoma jednak $1$, takav polinom zovemo \textbf{normirani polinom}. Na skupu $R[x]$ svih polinoma nad prstenom $R$ definirat \'{c}emo operacije zbrajanja i mno\v{z}enja. Zbroj polinoma $f(x)=\tsum% \nolimits_{i=0}^{n}a_{i}x^{i}$, $g(x)=\tsum\nolimits_{i=0}^{m}b_{i}x^{i}\in R[x]$ je polinom% \begin{equation*} (f+g)(x)=f(x)+g(x)=\tsum\nolimits_{i=0}^{\max (m,n)}(a_{i}+b_{i})x^{i}\text{,% } \end{equation*} gdje za $i>n$ definiramo $a_{i}=0$, a za $i>m$ definiramo $b_{i}=0$. Umno% \v{z}ak polinoma $f(x)$, $g(x)\in R[x]$ je polinom% \begin{equation*} (f\cdot g)(x)=f(x)\cdot g(x)=\tsum\nolimits_{k=0}^{m+n}c_{k}x^{k}\text{,} \end{equation*}% gdje je $c_{k}=\tsum\nolimits_{i=0}^{k}a_{i}b_{k-i}$. O\v{c}ito su $(f+g)(x)$% , $(f\cdot g)(x)\in R[x].$ Uz ovako definirane binarne operacije ure\dj ena trojka $(R[x],+,\cdot )$ je prsten kojeg zovemo \textbf{prsten polinoma }nad $R$. Prsten $R$ je potprsten tog prstena. \begin{lemma} \label{stupanj}Neka je $R$ prsten, a $f(x)$, $g(x)\in R[x]$. Tada je \begin{eqnarray*} \deg (f+g)(x) &\leqslant &\max \{\deg f(x)\text{, }\deg g(x)\}, \\ \deg (f\cdot g)(x) &\leqslant &\deg f(x)+\deg g(x). \end{eqnarray*}% Ako je $R$ integralna domena, tada je $\deg (f\cdot g)(x)=\deg f(x)+\deg g(x).$ \end{lemma} \begin{lemma} Neka je $R$ prsten. \begin{enumerate} \item[1)] $R[x]$ je komutativan prsten ako i samo ako je $R$ komutativan prsten. \item[2)] $R[x]$ je prsten s jedinicom ako i samo ako je $R$ prsten s jedinicom. \item[3)] $R[x]$ je integralna domena ako i samo ako je $R$ integralna domena. \end{enumerate} \end{lemma} Od sada pa nadalje promatrat \'{c}emo polinome nad poljem $F$. \begin{definition} Neka su $f(x)$ i $g(x)$ polinomi nad poljem $F$. Ka\v{z}emo da polinom $g(x)$ \textbf{dijeli} polinom $f(x)$ ako postoji takav $q(x)\in F[x]$ da vrijedi $% f(x)=g(x)q(x)$. Polinom $g(x)$ je \textbf{djelitelj} ili \textbf{faktor} od $% f(x)$. \end{definition} \begin{theorem} (\textbf{o dijeljenju polinoma})Neka su $f(x)$ i $g(x)$ polinomi nad poljem $% F$, $g(x)\neq 0$. Tada postoje jedinstveni $q(x)$, $r(x)\in F[x]$ tako da vrijedi \begin{equation*} f(x)=g(x)\cdot q(x)+r(x), \end{equation*}% gdje je $\deg r(x)<\deg g(x)$. \end{theorem} \begin{proof} Prvo \'{c}emo dokazati egzistenciju. Ako je $\deg f(x)<\deg g(x)$, tada je $% r(x)=f(x),$ $q(x)=0$. Pretpostavimo da je $\deg f(x)\geqslant \deg g(x)$. Dokaz \'{c}emo izvr\v{s}iti indukcijom po stupnju polinoma $f(x)$. \underline{Baza indukcije}. Ako je $\deg f(x)=0$, tada je tvrdnja trivijalna. \underline{Pretpostavka indukcije}. Pretpostavimo da tvrdnja vrijedi za polinome $f(x)$ stupnja strogo manjeg od $n$. \underline{Korak indukcije}. Doka\v{z}imo da tvrdnja vrijedi za polinome $% f(x)$ stupnja $n$. Neka je $f(x)=\tsum\nolimits_{i=0}^{n}a_{i}x^{i}$, $% g(x)=\tsum\nolimits_{i=0}^{m}b_{i}x^{i}\in F[x]$. Definiramo li \begin{equation*} f_{1}(x)=f(x)-(a_{n}b_{m}^{-1})x^{n-m}g(x)\in F[x], \end{equation*}% tada je $\deg f_{1}(x)1$. U Teoremu \ref{izgra}, pokazali smo da za svaki $\beta $ $\in K(\alpha )$ $\exists !$ $k(x)\in K[x]$ sa svojstvom $% \deg k(x)<\deg f_{\alpha }(x)$, te $\beta =k(\alpha )$, pa definiramo li preslikavavanje $\Phi :K(\alpha )\rightarrow \overline{K}(\overline{\alpha }% ) $ sa $\Phi (\beta )=\Phi (k(\alpha ))=\overline{k}(\overline{\alpha })$ poka\v{z}imo da je $\Phi $ tra\v{z}eni izomorfizam. Lako se provjeri da je $% \Phi $ homomorfizam. Ako je $\Phi (\beta _{1})=\Phi (\beta _{2})$, gdje su $\beta _{1}$ i $\beta _{2}\in K(\alpha )$, tada postoje jedinstveni $k_{1}(x)$, $k_{2}(x)\in K[x]$ takvi da je $\deg k_{1}(x)$, $\deg k_{2}(x)<\deg f_{\alpha }(x)$, te $\beta _{1}=k_{1}(\alpha )$, $\beta _{2}=k_{2}(\alpha )$. Kako je $\Phi (\beta _{1})=\overline{k_{1}}(\overline{\alpha })$ i $\Phi (\beta _{2})=\overline{% k_{2}}(\overline{\alpha })$, tada je $(\overline{k_{1}}-\overline{k_{2}})(% \overline{\alpha })=0$. Prema Teoremu \ref{minim}, tada $\overline{f}_{% \overline{\alpha }}(x)\mid (\overline{k_{1}}-\overline{k_{2}})(x)$, a kako je $\deg (\overline{k_{1}}-\overline{k_{2}})(x)<\deg \overline{f}_{\overline{% \alpha }}(x)=\deg f_{\alpha }(x)$, slijedi da je $(\overline{k_{1}}-% \overline{k_{2}})(x)=0$, tj. $\overline{k}_{1}(x)=\overline{k}_{2}(x)$, odnosno $k_{1}(x)=k_{2}(x)$. Dakle, $\beta _{1}=k_{1}(\alpha )=k_{2}(\alpha )=\beta _{2}$, pa je $\Phi $ injekcija. Uzmemo li neki $\delta \in \overline{K}(\overline{\alpha })$, tada postoji jedinstveni $\overline{h}(x)\in \overline{K}[x]$ sa svojstvom \begin{equation*} \deg \overline{h}(x)<\deg \overline{f}_{\overline{\alpha }}(x)=\deg f_{\alpha }(x), \end{equation*}% te $\delta =\overline{h}(\overline{\alpha })$. Definiramo li $\gamma =h(\alpha )$, slijedi $\Phi (\gamma )=\Phi (h(\alpha ))=\overline{h}(% \overline{\alpha })=\delta $, pa je $\Phi $ izomorfizam. Za polinom $l(x)=x\in K[x]$ vrijedi $l(\alpha )=\alpha $ i \begin{equation*} \deg l(x)=1<\deg f(x)=\deg f_{\alpha }(x), \end{equation*} pa je $\Phi (\alpha )=\Phi (l(\alpha ))=\overline{l}(\overline{\alpha })=% \overline{\alpha }$. Ako za proizvoljan $a\in K$ definiramo $m(x)=a\in K[x]$, vrijedi $m(\alpha )=a$ i $\deg m(x)=0<\deg f(x)=\deg f_{\alpha }(x)$, pa je $\Phi (a)=\Phi (m(\alpha ))=\overline{m}(\overline{\alpha })=\overline{a}$. \end{proof} \begin{corollary} Neka je $K$ polje, $f(x)\in K[x]$ ireducibilan polinom nad poljem $K$, $% \alpha $ i$\ \beta $ korijeni polinoma $f(x)$ u nekim pro\v{s}irenjima polja $K$. Tada postoji izomorfizam jednostavnih algebarskih pro\v{s}irenja $% K(\alpha )$ i $K(\beta )$, koji fiksira elemente polja $K$, a $\alpha $ pridru\v{z}i $\beta $. \end{corollary} \begin{theorem} \label{razlag}(\textbf{postojanje i jedinstvenost polja razlaganja})Za bilo koji polinom $f(x)$ pozitivnog stupnja nad poljem $K$, postoji pripadno polje razlaganja nad $K$, te postoji izomorfizam izme\dj u svaka dva polja razlaganja polinoma $f(x)$\ nad $K$, koji fiksira elemente polja $K$, a permutira korijene polinoma $f(x)$. \end{theorem} \begin{proof} Doka\v{z}imo egzistenciju. Na\dj imo kanonski rastav polinoma $f(x)\in K[x]$ u prstenu $K[x]$, tj. zapi\v{s}imo $f(x)$ kao umno\v{z}ak vode\'{c}eg koeficijenta i normiranih, ireducibilnih polinoma nad poljem $K$. Ako je stupanj svakog od spomenutih ireducibilnih polinoma $1$, tada je $K$ polje razlaganja polinoma $f(x)$ nad $K$. Ina\v{c}e, postoji polinom $f_{1}(x)\in K[x]$, stupnja ve\'{c}eg od $1$, koji je normiran, ireducibilan nad $K$, a dijeli $f(x)$. Prema Teoremu \ref{jednpr}, postoji jednostavno algebarsko pro% \v{s}irenje $K(\alpha _{1})$ polja $K$ generirano korijenom $\alpha _{1}$ polinoma $f_{1}(x)$, a koje \'{c}emo ozna\v{c}iti sa $K_{1}$. U polju $K_{1}$ polinom $f_{1}(x)$, a time i $f(x)$ ima linearan faktor $(x-\alpha _{1})$. Ako se u $K_{1}$ polinom $f(x)$ potpuno razla\v{z}e, tada je $K_{1}$ polje razlaganja polinoma $f(x)$ nad $K$. Ina\v{c}e, u kanonskom rastavu polinoma $% f(x)$ nad poljem $K_{1}$ postoji polinom $f_{2}(x)\in K_{1}[x]$, stupnja ve% \'{c}eg od $1$, koji je normiran, ireducibilan nad $K_{1}$, a dijeli $f(x)$. Ozna\v{c}imo sa $K_{2}$ jednostavno algebarsko pro\v{s}irenje $K_{1}(\alpha _{2})=K(\alpha _{1},\alpha _{2})$ polja $K_{1}$ generirano korijenom $\alpha _{2}$ polinoma $f_{2}(x)$. Dakle, u polju $K_{2}$ polinom $f(x)$ ima linearne faktore $(x-\alpha _{1})$ i $(x-\alpha _{2})$. Ako se u $K_{2}$ polinom $f(x)$ potpuno razla\v{z}e, tada je $K_{2}$ polje razlaganja polinoma $f(x)$ nad $K$. Ina\v{c}e, nastavimo postupak i u kona\v{c}no mnogo koraka polinom $f(x)$ razlo\v{z}it \'{c}e se na linearne faktore u nekom pro% \v{s}irenju polja $K$, koje je upravo polje razlaganja polinoma $f(x)$ nad $% K $, \v{s}to je, iz upravo opisanog postupka, o\v{c}igledno. Jedinstvenost slijedi kao poseban slu\v{c}aj tvrdnje: Neka je $\Psi $ neki izomorfizam polja $K$ i $\overline{K}$, $f(x)\in K[x]$ polinom pozitivnog stupnja, a $\overline{f}(x)\in \overline{K}[x]$ slika polinoma $f(x)$ pri izomorfizmu izme\dj u $K[x]$ i $\overline{K}[x]$ kojeg $% \Psi $ inducira. Ako je $K(\alpha _{1},\ldots ,\alpha _{n})$ polje razlaganja polinoma $f(x)$ nad poljem $K$, $\overline{K}(\overline{\alpha }% _{1},\ldots ,\overline{\alpha }_{n})$ polje razlaganja polinoma $\overline{f}% (x)$ nad $\overline{K}$, tada postoji izomorfizam izme\dj u polja $K(\alpha _{1},\ldots ,\alpha _{n})$ i $\overline{K}(\overline{\alpha }_{1},\ldots ,% \overline{\alpha }_{n})$, sa svojstvom da elementima $\alpha _{1},\ldots ,\alpha _{n}$ pridru\v{z}i elemente $\overline{\alpha }_{1},\ldots ,% \overline{\alpha }_{n}$, a produ\v{z}enje je izomorfizma $\Psi $. Dokaz tvrdnje je sli\v{c}an dokazu egzistencije, uz kori\v{s}tenje Leme \ref% {produz}. \end{proof} Iz Leme \ref{kon} slijedi: \begin{lemma} Polje razlaganja bilo kojeg polinoma nad poljem $K$ je kona\v{c}no pro\v{s}% irenje polja $K$. \end{lemma} \section{Izgradnja kona\v{c}nih polja} \subsection{Karakterizacija kona\v{c}nih polja} \begin{lemma} \label{redkp}Ako je $F$ kona\v{c}no polje, a $K$ potpolje od $F$, tada je $% |F|=q^{n}$, gdje je $q=|K|,$ $n=[F:K]$. \end{lemma} \begin{proof} Polje $F$ je kona\v{c}no pro\v{s}irenje polja $K,$ jer $F$ ima kona\v{c}no mnogo elemenata, pa je kona\v{c}nodimenzionalan vektorski prostor nad $K$. Ako je $[F:K]=n$, slijedi da svaka baza tog vektorskog prostora ima $n$ elemenata, a neka je $\{a_{1},\ldots ,a_{n}\}$ jedna od tih baza. Tada se svaki element iz $F$ mo\v{z}e jednozna\v{c}no prikazati kao linearna kombinacija $\alpha _{1}a_{1}+\cdots +\alpha _{n}a_{n}$, gdje su $\alpha _{i}\in K$, $\forall i\in \{1,\ldots ,n\}$. Polje $F$ ima $q^{n}$ elemenata, jer svaki od koeficijenata $\alpha _{i}$ mo\v{z}e poprimiti $q$ razli\v{c}% itih vrijednosti. \end{proof} \begin{theorem} \label{rrred}Red kona\v{c}nog polja $F$ je $p^{n}$, gdje je prost broj $p$ karakteristika polja $F$, dok je $n\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $ stupanj pro\v{s}irenja polja $F$ nad svojim prostim potpoljem. \end{theorem} \begin{proof} Po Teoremu \ref{prost}, karakteristika kona\v{c}nog polja $F$ je prost broj $% p,$ pa iz Teorema \ref{galo}, slijedi da je prosto potpolje $K$ polja $F$, izomorfno Galoisovom polju $F_{p}$. Budu\'{c}i da je $|F_{p}|=p$, tada je $% |K|=p$, pa iz prethodne leme slijedi $|F|=p^{n}$, gdje je $[F:K]=n$. \end{proof} \begin{lemma} Ako je $f(x)\in F_{p}[x]$ ireducibilan polinom stupnja $n$ nad $F_{p}$, tada jednostavno algebarsko pro\v{s}irenje $F_{p}(\alpha )$ polja $F_{p}$ generirano korijenom $\alpha $ tog polinoma ima red $p^{n}$. \end{lemma} \begin{proof} Element $\alpha $ je algebarski nad $F_{p}$, pa postoji jedinstven minimalni polinom $f_{\alpha }(x)\in F_{p}[x]$ pridru\v{z}en $\alpha $ nad poljem $% F_{p}$. Budu\'{c}i da je $\alpha $ korijen ireducibilnog polinoma $f(x)$, tada je $n=\deg f(x)=\deg f_{\alpha }(x)$. Iz Teorema \ref{izgra} slijedi \begin{equation*} \lbrack F_{p}(\alpha ):F_{p}]=\deg f_{\alpha }(x)=n, \end{equation*} a prema Lemi \ref{redkp}, $|F_{p}(\alpha )|=|F_{p}|^{n}=p^{n}$. \end{proof} Nas zanima da li za svaki prost broj $p$ i prirodan broj $n$ postoji kona% \v{c}no polje reda $p^{n}$. Prethodna lema nam ne daje rje\v{s}enje tog problema, jer ne znamo da li postoji ireducibilan polinom stupnja $n$ nad poljem $F_{p}$. \begin{lemma} \label{elem}Ako je $F$ kona\v{c}no polje reda $q$, tada za svaki $a\in F$ vrijedi $a^{q}=a$. \end{lemma} \begin{proof} Tvrdnja je o\v{c}ita za $a=0$. Po\v{s}to je $(F^{\ast },\cdot )$ multiplikativna grupa reda $q-1$, a iz Lagrangeovog teorema slijedi da red svakog elementa dijeli red grupe, tada $a^{q-1}=1$, $\forall a\in F^{\ast }$% . Pomno\v{z}imo li zadnju jednakost s elementom $a$ dobijemo $a^{q}=a$, $% \forall a\in F^{\ast }$. \end{proof} \begin{lemma} \label{potp}Neka je $F$ kona\v{c}no polje reda $q$, a $K$ potpolje od $F$. Tada je $F$ polje razlaganja polinoma $x^{q}-x\in K[x]$ nad $K$ i vrijedi $% x^{q}-x=\tprod\limits_{a\in F}(x-a)$. \end{lemma} \begin{proof} Polinom $x^{q}-x$ ima najvi\v{s}e $q$ razli\v{c}itih korijena u polju $F$, a prema prethodnoj lemi, svi elementi polja $F$ su korijeni tog polinoma. Dakle, $x^{q}-x$ ima to\v{c}no $q$ korijena u $F$ i vrijedi $% x^{q}-x=\tprod\limits_{a\in F}(x-a)$, tj. polinom $x^{q}-x$ se potpuno razla% \v{z}e u $F$. Polje $F$ je upravo i polje razlaganja polinoma $x^{q}-x$ nad $% K$, jer se taj polinom ne mo\v{z}e potpuno razlo\v{z}iti ni u jednom pravom potpolju od $F$, koje sadr\v{z}i $K$. \end{proof} \begin{theorem} \label{pjkp}(\textbf{postojanje i jedinstvenost kona\v{c}nog polja}) Za svaki prost broj $p$ i prirodan broj $n$ postoji kona\v{c}no polje reda $% p^{n}$. Svako kona\v{c}no polje reda $p^{n}$ izomorfno je polju razlaganja polinoma $x^{p^{n}}-x\in F_{p}[x]$ nad poljem $F_{p}$. \end{theorem} \begin{proof} \underline{Egzistencija.} Poka\v{z}imo da je polje razlaganja polinoma $% f(x)=x^{p^{n}}-x$ nad poljem $F_{p}$ kona\v{c}no polje reda $p^{n}$. Prema Teoremu \ref{razlag}, postoji polje razlaganja $F$ polinoma $f(x)$ nad $F_{p}$, za koje vrijedi da je kona\v{c}no pro\v{s}irenje polja $F_{p}$, a tada je $F$ kona\v{c}no polje. Budu\'{c}i da je $F_{p}$ potpolje od $F$, tada je po Teoremu \ref{galo}, karakteristika polja $F$ upravo $p$. Svi korijeni polinoma $f(x)$ u $F$ su razli\v{c}iti, jer derivacija $% f^{\prime }(x)=p^{n}x^{p^{n}-1}-1=-1$ tog polinoma nema nulto\v{c}ki u $F$ (koristiti Lemu \ref{deriv}). Dakle, postoji to\v{c}no $p^{n}$ korijena polinoma $f(x)$ u polju $F$. Promotrimo skup $S=\{a\in F;$ $a^{p^{n}}=a\}$ svih nulto\v{c}ki polinoma $% f(x)$ u polju $F$. Poka\v{z}emo li da je $S$ potpolje od $F$, tada kako je $% F $ polje razlaganja polinoma $f(x)$ nad $F_{p}$, slijedi $S=F$, pa je $% |F|=|S|=p^{n}$, s \v{c}ime je dokazana egzistencija. Budu\'{c}i da je $F$ karakteristike $p$, koriste\'{c}i Teorem \ref{bin}, dobijemo \begin{eqnarray*} (a-b)^{p^{n}} &=&a^{p^{n}}-b^{p^{n}}=a-b,\text{ }\forall a,b\in S, \\ (a\cdot b^{-1})^{p^{n}} &=&a^{p^{n}}\cdot (b^{-1})^{p^{n}}=a^{p^{n}}\cdot (b^{p^{n}})^{-1}=a\cdot b^{-1},\text{ }\forall a\in S,\forall b\in S\backslash \{0\}. \end{eqnarray*}% Dakle, $S$ je potpolje polja $F$. O\v{c}ito je da $F_{p}\subseteq S$. \underline{Jedinstvenost.} Neka je $L$ kona\v{c}no polje reda $p^{n}$, tada je prema Teoremu \ref{rrred}, karakteristika polja $L$ upravo $p$, a prosto potpolje tog polja je izomorfno polju $F_{p}$. Iz prethodne leme, slijedi da je $L$ polje razlaganja polinoma $x^{p^{n}}-x\in F_{p}[x]$ nad poljem $% F_{p}. $ Kako su svaka dva polja razlaganja nekog polinoma, pozitivnog stupnja, nad poljem $F_{p}$ izomorfna, zaklju\v{c}ujemo $L\cong F$. \end{proof} Iz prethodnog teorema slijedi da za prost broj $p$ i prirodan broj $n$ mo% \v{z}emo govoriti o jednozna\v{c}no definiranom kona\v{c}nom polju reda $% q=p^{n}$. To polje zovemo\textbf{\ Galoisovo polje reda }$q$ i bilje\v{z}imo ga sa $F_{q}$. \begin{corollary} Dva su kona\v{c}na polja izomorfna ako i samo ako imaju isti red. \end{corollary} \begin{theorem} \label{cikl}Svaka kona\v{c}na podgrupa multiplikativne grupe $F^{\ast }$ polja $F$ je cikli\v{c}ka grupa. \end{theorem} \begin{proof} Neka je $G$ podgrupa reda $l\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $ grupe $(F^{\ast },\cdot )$. Dokaz je trivijalan, ako je $l=1$, tj. $% G=\{1\} $. Pretpostavimo da je $l>1$. Neka je $l=p_{1}^{e_{1}}\cdots p_{n}^{e_{n}}$ rastav broja $l$ na proste faktore, gdje su svi $p_{i}$ me\dj usobno razli% \v{c}iti prosti brojevi, a svi $e_{i}\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $. Polinom $x^{l/p_{i}}-1\in F[x]$ ima najvi\v{s}e $\tfrac{l}{p_{i}}$ korijena u $G$, $\forall i\in \{1,\ldots ,n\}.$ Po\v{s}to je $\tfrac{l}{p_{i}% }$ $1$. Iz dokaza tvrdnje 1) slijedi da je $n-$to ciklotomi\v{c}ko polje $K^{(n)}$ nad poljem $K=% %TCIMACRO{\U{211a} }% %BeginExpansion \mathbb{Q} %EndExpansion $ upravo jednostavno algebarsko pro\v{s}irenje $K(\zeta )$ polja $K$ generirano primitivnim korijenom $\zeta $ $n$-tog stupnja iz jedinice nad poljem $K$, tj. da je $K^{(n)}=K(\zeta )$. Prema Teoremu \ref{z}, vrijedi $Q_{n}(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]\subset K[x]$. Doka\v{z}emo li da je $n-$ti ciklotomi\v{c}ki polinom $Q_{n}(x)$ ireducibilan nad $K$, tada budu\'{c}i da je $\zeta $ korijen tog polinoma, o\v{c}ito je $Q_{n}(x)$ upravo minimalan polinom elementa $\zeta $ nad $K$, pa je $[K^{(n)}:K]=\deg Q_{n}(x)=\varphi (n)$ (koristiti Teorem \ref{izgra}). Da bi dokazali da je polinom $Q_{n}(x)$ ireducibilan nad $K=% %TCIMACRO{\U{211a} }% %BeginExpansion \mathbb{Q} %EndExpansion $, dovoljno je pokazati da je $Q_{n}(x)$ ireducibilan nad $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $, jer je $K$ polje razlomaka Gausovog prstena $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ (vidjeti \cite{peric}, I. dio, str.81.). Neka je $k(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$ ireducibilan polinom nad $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ koji je djelitelj polinoma $Q_{n}(x)$. Ako poka\v{z}emo da je $% k(x)=Q_{n}(x)$, dokazali smo tvrdnju. Ozna\v{c}imo li sa $\zeta \in K^{(n)}$ neki korijen polinoma $k(x)$, tada je $\zeta $ primitivan korijen $n-$tog stupnja iz jedinice nad poljem $K$. Poka\v{z}imo da je $\zeta ^{p}\in K^{(n)}$ tako\dj er korijen polinoma $k(x)$% , za bilo koji prost broj $p$, takav da $p\nmid n$. Pretpostavimo li suprotno, tada postoji dijelitelj $l(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$ polinoma $Q_{n}(x)$, takav da je $l(x)$ ireducibilan nad $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ i $l(\zeta ^{p})=0$. Neka je \begin{equation} Q_{n}(x)=k(x)\cdot l(x)\cdot m(x)\text{,} \tag*{(4)} \label{c4} \end{equation}% gdje je $m(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$. Kako je polinom $Q_{n}(x)$ normiran polinom, tada to vrijedi i za $k(x)$, $l(x)$ i $m(x)$. Polinom $k(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$ je upravo minimalan polinom elementa $\zeta $ nad poljem $K=% %TCIMACRO{\U{211a} }% %BeginExpansion \mathbb{Q} %EndExpansion $, jer je normiran i ireducibilan polinom nad poljem $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $, a time i nad $K$. Budu\'{c}i da je $\zeta $ korijen polinoma $l(x^{p})\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]\subset K[x]$, tada iz Teorema \ref{minim}\ slijedi da $k(x)$ dijeli $l(x^{p})$, pa postoji polinom $t(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$, tako da vrijedi \begin{equation} l(x^{p})=k(x)\cdot t(x). \tag*{(5)} \label{c5} \end{equation} Ozna\v{c}imo sa $\overline{a}$ sliku, pri prirodnom epimorfizmu $\Psi :% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \rightarrow %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)=P$, definiranom sa $\Psi (a)=a+(p)$, $\forall a\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $. Epimorfizam $\Psi $ inducira epimorfizam izme\dj u prstena $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$ i $P[x]$, \v{c}ije se djelovanje mo\v{z}e zapisati u obliku $% \tsum a_{i}x^{i}\rightarrow \tsum \overline{a}_{i}x^{i}$, $\forall a_{i}\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $. Sliku polinoma $f(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$ pri spomenutom, induciranom epimorfizmu ozna\v{c}imo sa $% \overline{f}(x)$. Na ovaj na\v{c}in izraz \ref{c4} prelazi u \begin{equation} \overline{Q}_{n}(x)=\overline{k}(x)\cdot \overline{l}(x)\cdot \overline{m}(x)% \text{,} \tag*{(6)} \label{c6} \end{equation}% a izraz \ref{c5} u \begin{equation} \overline{l}(x^{p})=\overline{k}(x)\cdot \overline{t}(x). \tag*{(7)} \label{c7} \end{equation}% Kako, prema Teoremu \ref{z}, polinom $Q_{n}(x)\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$ dijeli polinom $x^{n}-1\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion \lbrack x]$, tada polinom $\overline{Q}_{n}(x)\in P[x]$ dijeli $x^{n}-% \overline{1}\in P[x]$. Svi korijeni polinoma $\overline{Q}_{n}(x)$ u $n-$tom ciklotomi\v{c}kom polju nad poljem $P$ su me\dj usobno razli\v{c}iti, jer to vrijedi i za korijene polinoma $x^{n}-\overline{1}\in P[x]$, budu\'{c}i da karakteristika $p$ polja $% %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion /(p)=P$ ne dijeli $n$ (Teorem \ref{primit}). Tako\dj er, koriste\'{c}i Teorem \ref{bin}, iz \ref{c7} dobijemo $[\overline{l}(x)]^{p}=\overline{l}% (x^{p})=\overline{k}(x)\cdot \overline{t}(x)$, pa je svaki korijen polinoma $% \overline{k}(x)$ ujedno i korijen od $\overline{l}(x)$, a tada iz \ref{c6} slijedi da polinom $\overline{Q}_{n}(x)$ ima vi\v{s}estrukih korijena u $n-$% tom ciklotomi\v{c}kom polju nad poljem $P$. Do\v{s}li smo do kontradikcije, a time dokazali da je $\zeta ^{p}\in K^{(n)}$ korijen polinoma $k(x)$, za svaki prost broj $p$, takav da $p\nmid n$. U kona\v{c}no mnogo koraka, koriste\'{c}i prethodno dokazano, te rastav prirodnog broja na proste faktore, lako se poka\v{z}e da su svi primitivni korijeni $n-$tog stupnja iz jedinice nad poljem $K$, a koji su oblika $\zeta ^{i}$, gdje je $i\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $, $i1$. Nije te\v{s}ko dokazati da je \textbf{normalizator }$N(a)=\{k\in K;$ $% ka=ak\} $ \textbf{elementa }$a\in K$ \textbf{u tijelu }$K$, podtijelo od $K$% . Budu\'{c}i da $N(a)$ sadr\v{z}i polje $Z(K)$, tada je $|N(a)|=q^{r}$, gdje je $r\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $ dimenzija kona\v{c}nodimenzionalnog vektorskog prostora $N(a)$ nad $Z(K)$. Poka\v{z}imo da $r\mid n$. Kako je $N(a)^{\ast }$ podgrupa grupe $(K^{\ast },\cdot )$, tada prema Lagrangeovom teoremu $|N(a)^{\ast }|=q^{r}-1$ dijeli $% |K^{\ast }|=q^{n}-1$. Po\v{s}to postoje jedinstveni $t$, $s\in %TCIMACRO{\U{2124} }% %BeginExpansion \mathbb{Z} %EndExpansion $ takvi da je $0\leq s1$, slijedi \begin{equation*} Q_{n}(q)=|Q_{n}(q)|=\tprod\limits_{\QTATOP{i=1}{Nzm(i,n)=1}}^{n}|q-\zeta ^{i}|>\tprod\limits_{\QTATOP{i=1}{Nzm(i,n)=1}}^{n}(q-1)\geq q-1\text{,} \end{equation*}% \v{s}to je u kontradikciji s \v{c}injenicom $Q_{n}(q)\mid q-1$. Time smo dokazali da je $n=1$. \end{proof} \begin{lemma} \label{q-1}Polje $F_{q}$ je $(q-1)$-vo ciklotomi\v{c}ko polje nad bilo kojim svojim potpoljem. \end{lemma} \begin{proof} Promotrimo polinom $f(x)=x^{q-1}-1\in F_{q}[x]$. Njegovi su korijeni u $% F_{q} $ svi elementi iz $F_{q}^{\ast }$ i samo oni, tj. $f(x)$ se potpuno razla\v{z}e u polju $F_{q}$. Kako se taj polinom ne mo\v{z}e faktorizirati ni u jednom pravom potpolju od $F_{q}$, slijedi da je $F_{q}$ polje razlaganja polinoma $x^{q-1}-1$ nad bilo kojim potpoljem polja $F_{q}$. \end{proof} \begin{notation} Prethodna lema mo\v{z}e se dokazati i kori\v{s}tenjem Teorema \ref{gemo}. \end{notation} \begin{notation} \label{napa}Iz dokaza Leme \ref{q-1} o\v{c}ito je da vrijedi $F_{q}^{\ast }=E^{(q-1)}$, gdje je $E^{(q-1)}$ skup svih korijena $(q-1)-$vog stupnja iz jedinice nad bilo kojim potpoljem polja $F_{q}$, pa su svi primitivni korijeni $(q-1)-$vog stupnja iz jedinice nad bilo kojim potpoljem polja $% F_{q}$ upravo primitivni elementi polja $F_{q}$ i obratno. Ozna\v{c}imo li sa $p$ karakteristiku polja $F_{q}$, tada $p\nmid q-1$, pa iz Teorema \ref{z} slijedi $Q_{q-1}(x)\in F_{p}[x]$, gdje je $Q_{q-1}(x)$ $(q-1)$-vi ciklotomi% \v{c}ki polinom nad bilo kojim potpoljem polja $F_{q}$. \end{notation} \begin{definition} Minimalni polinom nad $F_{q}$ primitivnog elementa polja $F_{q^{n}}$ zovemo \textbf{primitivni polinom} polja $F_{q^{n}}$ nad $F_{q}$. \end{definition} \begin{corollary} Bilo koji primitivan polinom polja $F_{q^{n}}$ nad $F_{q}$ je normiran, ireducibilan polinom nad $F_{q}$ stupnja $n$, s pripadnim poljem razlaganja $% F_{q^{n}}$, a svi njegovi korijeni u $F_{q^{n}}$ su me\dj usobno razli\v{c}% iti, primitivni elementi polja $F_{q^{n}}$. \end{corollary} \begin{proof} Neka je $f_{\alpha }(x)\in F_{q}[x]$ minimalan polinom nad $F_{q}$ primitivnog elementa $\alpha $ polja $F_{q^{n}}$, tj. $f_{\alpha }(x)$ je primitivan polinom polja $F_{q^{n}}$ nad $F_{q}$. Iz Definicije \ref{m} i Teorema \ref{minim} slijedi da je $f_{\alpha }(x)$ normiran, ireducibilan polinom nad $F_{q}$. Budu\'{c}i da, prema Lemi \ref{prim}, vrijedi $% F_{q^{n}}=F_{q}(\alpha )$, a po\v{s}to je $[F_{q}(\alpha ):F_{q}]=\deg $ $% f_{\alpha }(x)$ (pogledati Teorem \ref{izgra}), zaklju\v{c}ujemo da je stupanj polinoma $f_{\alpha }(x)$ upravo $n$. Po Teoremu\ \ref{jednos}, $% F_{q^{n}}$ je polje razlaganja ireducibilnog polinoma $f_{\alpha }(x)$, stupnja $n$, nad poljem $F_{q}$, a svi korijeni tog polinoma u $F_{q^{n}}$ su me\dj usobno razli\v{c}iti elementi iz $F_{q^{n}}$ konjugirani s $\alpha $ u odnosu na $F_{q}$, koji su prema Teoremu \ref{redpe}, primitivni elementi polja $F_{q^{n}}$. \end{proof} \begin{corollary} \label{muka}Umno\v{z}ak svih razli\v{c}itih primitivnih polinoma polja $% F_{q^{n}}$ nad $F_{q}$, kojih ima to\v{c}no $\frac{\varphi (q^{n}-1)}{n}$, je $(q^{n}-1)$-vi ciklotomi\v{c}ki polinom $Q_{q^{n}-1}(x)$ nad poljem $% F_{q} $. \end{corollary} \begin{proof} Iz Leme \ref{q-1} slijedi da je polje $F_{q^{n}}$ $(q^{n}-1)-$vo ciklotomi% \v{c}ko polje nad poljem $F_{q}$, a prema Napomeni \ref{napa} primitivni korijeni $(q^{n}-1)-$vog stupnja iz jedinice nad $F_{q}$ su upravo primitivni elementi polja $F_{q^{n}}$ i samo oni. Koriste\'{c}i te \v{c}% injenice, tvrdnja korolara slijedi iz Teorema \ref{gemo}. \end{proof} \subsection{Konstrukcija ireducibilnih polinoma i kona\v{c}nih polja nad $% F_{q}$} \subsubsection{Konstrukcija ireducibilnih polinoma stupnja $n$ nad $F_{q}$} \begin{definition} Neka su $m$, $q\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $. Prirodan broj $n$ je \textbf{pokazatelj kojemu pripada }$q$\textbf{\ modulo }$m$ ako je $n$ najmanji prirodni broj za koji vrijedi $q^{n}\equiv 1(% \func{mod}m)$. \end{definition} \begin{theorem} \label{i}Neka je $n>1$ prirodan broj, a $I(q,n;x)$ umno\v{z}ak svih normiranih, ireducibilnih polinoma nad poljem $F_{q}$, stupnja $n$. Tada vrijedi \begin{equation*} I(q,n;x)=\prod\limits_{m}Q_{m}(x), \end{equation*}% gdje se produkt uzima po svim prirodnim djeliteljima $m$ broja $q^{n}-1$ za koje je $n$ je pokazatelj kojemu pripada $q$ modulo $m$. \end{theorem} \begin{proof} Iz Teorema \ref{jednos} znamo da je $F_{q^{n}}$ polje razlaganja bilo kojeg ireducibilnog polinoma nad $F_{q}$, stupnja $n$ i svi korijeni tog polinoma su razli\v{c}iti, tj. kratnosti $1.$ Tako\dj er, bilo koja dva razli\v{c}% ita, normirana, ireducibilna polinoma nad $F_{q}$, stupnja $n$ nemaju zajedni% \v{c}kih korijena u $F_{q^{n}}$, jer ako je $\beta \in F_{q^{n}}$ zajedni% \v{c}ki korijen tih polinoma, svi ostali njihovi korijeni su jednaki, a to su upravo svi elementi iz $F_{q^{n}}$ konjugirani s $\beta $ u odnosu na $% F_{q}$. Tada bi spomenuti polinomi bili jednaki, \v{s}to je u kontradikciji s po\v{c}etnom pretpostavkom. Iz ovog razmatranja, zaklju\v{c}ujemo da su svi korijeni polinoma $I(q,n;x)$ elementi polja $F_{q^{n}}$, a kratnosti su $% 1$. Svaki element iz $F_{q^{n}}$ je algebarski nad poljem $F_{q}$, jer je $% F_{q^{n}}$ kona\v{c}no, a time i algebarsko pro\v{s}irenje nad poljem $F_{q}$% . Ozna\v{c}imo sa $S$ skup elemenata iz $F_{q^{n}}$ koji su stupnja $n$ nad $% F_{q}$. Kako je $n>1$, vrijedi $S\subseteq F_{q^{n}}^{\ast }$. Doka\v{z}imo da je $\alpha \in F_{q^{n}}$ korijen polinoma $I(q,n;x)$ ako i samo ako je $\alpha \in S$. Ako je $\alpha \in F_{q^{n}}$ korijen od $I(q,n;x)$, tada je $\alpha $ korijen nekog normiranog, ireducibilnog polinoma nad $F_{q}$, stupnja $n$. Lako se poka\v{z}e da je taj polinom upravo minimalni polinom elementa $% \alpha $ nad $F_{q}$, a tada je stupanj elementa $\alpha $ nad $F_{q}$ upravo $n$, tj. $\alpha \in S$. Ako je $\alpha \in S\subseteq F_{q^{n}}$, tada je minimalni polinom elementa $\alpha $ nad $F_{q}$ stupnja $n$. To je normirani, ireducibilni polinom nad $F_{q}$, pa je djelitelj polinoma $I(q,n;x)$. Po\v{s}to je $\alpha $ korijen svog minimalnog polinoma, slijedi da je korijen i od $I(q,n;x)$. Iz upravo dokazane tvrdnje i \v{c}injenice da su svi korijeni polinoma $% I(q,n;x)$ kratnosti $1$ slijedi \begin{equation*} I(q,n;x)=\prod\limits_{\alpha \in S}(x-\alpha )\text{.} \end{equation*}% Poka\v{z}imo da je za svaki $\alpha \in S$ broj $n$ pokazatelj kojem pripada $q$ modulo $|\alpha |$. Budu\'{c}i da $\alpha $ pripada skupu $S\subseteq F_{q^{n}}$ slijedi $|\alpha |$ dijeli $q^{n}-1$. Pretpostavimo suprotno, tj. postoji $k\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $, $kk\geq t$. Incidencijsku strukturu $D=(\mathcal{X},\mathfrak{B})$ u kojoj je relacija incidencije $\mathcal{I}=\in $, a vrijedi: \begin{enumerate} \item[a)] skup $\mathcal{X}$ sastoji se od to\v{c}no $v$ to\v{c}aka, \item[b)] elementi skupa $\mathfrak{B}$, tj. blokovi su podskupovi od $% \mathcal{X}$, \item[c)] svakom bloku pripada to\v{c}no $k$ to\v{c}aka, \item[d)] svaki podskup od $t$ razli\v{c}itih to\v{c}aka nalazi se u to\v{c}% no $\lambda $ blokova, zovemo $t-(v,k,\lambda )$ dizajn. \end{enumerate} \end{definition} Brojeve $t,v$, $k$ i $\lambda $ iz prethodne definicije zovemo \textbf{% parametrima} dizajna $D$. Zahtjevati \'{c}emo da u promatranim dizajnima nema ponavljanja blokova. \begin{example} \label{pr2}Ako je $\mathcal{X}=\{1,2,3,4,5,6,7\}$, a skup $\mathfrak{B}$ se sastoji od tro\v{c}lanih podskupova skupa $\mathcal{X}$ i to $\{1,2,4\}$, $% \{2,3,5\}$, $\{3,4,6\}$, $\{4,5,7\}$, $\{5,6,1\}$, $\{6,7,2\}$ i $\{7,1,3\}$% , te vrijedi $\mathcal{I}=\in $, tada je incidencijska struktura $D=(% \mathcal{X},\mathfrak{B})$ $2-(7,3,1)$ dizajn.\FRAME{fhF}{1.6189in}{1.7789in% }{0pt}{}{}{slika9.dxf}{\special{language "Scientific Word";type "GRAPHIC";display "USEDEF";valid_file "F";width 1.6189in;height 1.7789in;depth 0pt;original-width 4.5463in;original-height 5.0021in;cropleft "0.009125";croptop "0.999161";cropright "1.009125";cropbottom "-0.000839";filename '../../WINDOWS/Desktop/susa/ACAD_crteži/slika9.dxf';file-properties "XNPEU";}% } Slika 2.4. je shematski prikaz ovog dizajna, \v{c}ije su to\v{c}ke prikazane upravo to\v{c}kama, blokovi su predo\v{c}eni kao du\v{z}ine incidentne sa po tri to\v{c}ke, osim bloka $\{4,5,7\}$ koji je, na navedenoj slici, kru\v{z}% nica. \end{example} \begin{example} \label{pr1}Neka je $\mathcal{X}$ skup ostataka dijeljenja cijelih brojeva sa $11$, tj. $\mathcal{X}=\{0,1,\ldots ,10\}$, $\Delta =\{1,3,4,5,9\}\subset \mathcal{X}$. Ako su blokovi podskupovi $\Delta +i=$ $\{x+i;$ $x\in \Delta \} $ skupa $\mathcal{X}$, $\forall i\in \mathcal{X}$, a navedena operacija zbrajanje modulo $11$, te $\mathcal{I}=\in $, tada je incidencijska struktura $D=(\mathcal{X},\mathfrak{B})$ $2-(11,5,2)$ dizajn. \end{example} \begin{lemma} U $t-(v,k,\lambda )$ dizajnu ukupan broj blokova iznosi:% \begin{equation*} b=\lambda \frac{\binom{v}{t}}{\binom{k}{t}}. \end{equation*} \end{lemma} \begin{proof} Neka je $D$ $t-(v,k,\lambda )$ dizajn. U dizajnu $D$ ima ukupno $\binom{v}{t} $ $t-$\v{c}lanih podskupova razli\v{c}itih to\v{c}aka, a po\v{s}to je svaki od tih podskupova incidentan s to\v{c}no $\lambda $ blokova, na taj na\v{c}% in dobili smo $\lambda \binom{v}{t}$ blokova. Svaki blok iz $D$ ima to\v{c}% no $k\geq t$ to\v{c}aka, a time ukupno $\binom{k}{t}$ podskupova od po $t$ razli\v{c}itih to\v{c}aka. Dakle, u skupu od $\lambda \binom{v}{t}$ blokova ima po $\binom{k}{t}$ jednakih, \v{s}to zna\v{c}i da razli\v{c}itih blokova u $D$ ima ukupno $\lambda \frac{\binom{v}{t}}{\binom{k}{t}}$. \end{proof} Na sli\v{c}an se na\v{c}in doka\v{z}e i slijede\'{c}a lema \begin{lemma} \label{r}U $t-(v,k,\lambda )$ dizajnu svaka to\v{c}ka incidentna je s to\v{c}% no% \begin{equation*} r=\lambda \frac{\binom{v-1}{t-1}}{\binom{k-1}{t-1}}\text{ blokova.} \end{equation*} \end{lemma} Iz prethodne dvije leme slijedi: \begin{proposition} \label{bk}U $t-(v,k,\lambda )$ dizajnu vrijedi $b\cdot k=v\cdot r$. \end{proposition} Nas \'{c}e posebno interesirati $2-(v,k,\lambda )$ dizajni. \begin{definition} Neka je $D=(\mathcal{X},\mathfrak{B})$ $2-(v,k,\lambda )$ dizajn, gdje je $% \mathcal{X}=\{P_{1},\ldots ,P_{v}\}$ i $\mathfrak{B}=\{l_{1},\ldots ,l_{b}\}$% . \textbf{Incidencijska matrica} dizajna $D$ je $(v\times b)$ matrica $% A=(a_{ij})$ sa svojstvom% \begin{equation*} a_{ij}=\left\{ \begin{array}{c} 1,\text{ ako }P_{i}\in l_{j} \\ 0,\text{ ako }P_{i}\notin l_{j}% \end{array}% \right. \text{.} \end{equation*} \end{definition} Ozna\v{c}imo sa $I_{v}$ jedini\v{c}nu $(v\times v)$ matricu, a sa $J_{v}$ matricu tipa $(v\times v)$, kojoj su svi elementi jednaki $1$. \begin{lemma} \label{det}Za incidencijsku matricu $A\ 2-(v,k,\lambda )$ dizajna vrijedi \begin{equation*} AA^{T}=(r-\lambda )I_{v}+\lambda J_{v}\text{ i }\det (AA^{T})=rk(r-\lambda )^{v-1}\neq 0. \end{equation*} \end{lemma} \begin{proof} Umno\v{z}ak $i$-tog i $j$-tog retka matrice $A$ je $(AA^{T})_{ij}=% \tsum_{k=1}^{b}a_{ik}a_{jk}$, a predstavlja ukupan broj blokova incidentnih s to\v{c}kama $P_{i}$ i $P_{j}$. Dakle,% \begin{equation*} (AA^{T})_{ij}=\left\{ \begin{array}{c} r,\text{ ako }i=j \\ \lambda ,\text{ ako }i\neq j% \end{array}% \right. . \end{equation*}% Pa vrijedi $AA^{T}=(r-\lambda )I_{v}+\lambda J_{v}$. Po\v{s}to je $r=\lambda \frac{v-1}{k-1}$ (iz Leme \ref{r}) slijedi $r\neq \lambda $, jer ako $% r=\lambda $ tada je $v=k$, \v{s}to je u kontradikciji sa Definicijom \ref% {dizajn}. Determinantu matrice $AA^{T}$\ \'{c}emo izra\v{c}unati tako da svedemo tu matricu na donje trokutastu. Najprije od svakog retka oduzmemo slijede\'{c}i, izlu\v{c}imo $r-\lambda $ iz prvih $v-1$ redaka, zatim prvom stupcu dodamo preostale stupce. Naposlijetku, razvijemo determinantu po prvom stupcu. \end{proof} \begin{proposition} \textbf{(Fisherova nejednakost)} U $2-(v,k,\lambda )$ dizajnu vrijedi $b\geq v$. \end{proposition} \begin{proof} Neka je $A$ incidencijska matrica nekog $2-(v,k,\lambda )$ dizajna. Iz prethodne leme slijedi da je $AA^{T}$ regularna matrica ranga $v$. Po\v{s}to rang produkta dviju matrica ne smije biti ve\'{c}i od ranga bilo kojeg faktora tog produkta, slijedi \begin{equation*} v=r(AA^{T})\leq r(A)\leq b. \end{equation*} \end{proof} \begin{definition} \textbf{Simetri\v{c}ni dizajn }je $2-(v,k,\lambda )$ dizajn u kojem je ukupan broj blokova jednak ukupnom broju to\v{c}aka. \end{definition} Po\v{s}to je u simetri\v{c}nom $2-(v,k,\lambda )$ dizajnu $b=v$, tada prema Propoziciji \ref{bk}, vrijedi $k=r$. Dizajni iz Primjera \ref{pr2}\ i Primjera \ref{pr1} su simetri\v{c}qni. Iz Leme \ref{broj} slijedi: \begin{proposition} \label{proj}Projektivna geometrija $P_{n}\left( q\right) $ je simetri\v{c}ni $2-(\frac{q^{n+1}-1}{q-1},\frac{q^{n}-1}{q-1},\frac{q^{n-1}-1}{q-1})$ dizajn u kojem su blokovi hiperravnine u $P_{n}\left( q\right) $, a to\v{c}ke su upravo to\v{c}ke u $P_{n}\left( q\right) .$ \end{proposition} \begin{lemma} \label{blok}Svaka dva razli\v{c}ita bloka simetri\v{c}nog $2-(v,k,\lambda )$ dizajna sijeku se u to\v{c}no $\lambda $ to\v{c}aka. \end{lemma} \begin{proof} Neka je $A$ incidencijska matrica simetri\v{c}nog $2-(v,k,\lambda )$ dizajna $D$. Po\v{s}to u dizajnu $D$ vrijedi $k=r$, tada dobijemo $AJ_{v}=J_{v}A$, jer umno\v{z}ak $(AJ_{v})_{ij}$ predstavlja ukupan broj blokova incidentnih s to\v{c}kom $P_{i}$, a umno\v{z}ak $(J_{v}A)_{ij}$ predstavlja ukupan broj to\v{c}aka incidentnih s blokom $l_{j}$. Iz Leme \ref{det}, slijedi da je $% \det (AA^{T})\neq 0$, pa je $(v\times v)$ matrica $A$ regularna, a vrijedi i $AA^{T}=(r-\lambda )I_{v}+\lambda J_{v}$. Pomno\v{z}imo li s desna tu jednakost matricom $A$ i iskoristimo li $AJ_{v}=J_{v}A$ dobijemo \begin{equation*} A(A^{T}A)=A[(r-\lambda )I_{v}+\lambda J_{v}]\text{,} \end{equation*}% a \v{s}to zbog regularnosti od $A$ daje $A^{T}A=(r-\lambda )I_{v}+\lambda J_{v}$. Umno\v{z}ak $i$-tog i $j$-tog stupca matrice $A$ je $% (A^{T}A)_{ij}=\tsum_{k=1}^{v}a_{ki}a_{kj}$, a predstavlja ukupan broj to\v{c}% aka incidentnih s blokovima $l_{i}$ i $l_{j}$. Po\v{s}to je \begin{equation*} (A^{T}A)_{ij}=\left\{ \begin{array}{c} r,\text{ ako }i=j \\ \lambda ,\text{ ako }i\neq j% \end{array}% \right. \text{, } \end{equation*}% slijedi da su svaka dva razli\v{c}ita bloka dizajna $D$ incidentna s to\v{c}% no $\lambda $ to\v{c}aka. \end{proof} \begin{definition} \label{izo}\textbf{Izomorfizam }simetri\v{c}nih dizajna $D_{1}=(\mathcal{X}% _{1},\mathfrak{B}_{1})$ i $D_{2}=(\mathcal{X}_{2},\mathfrak{B}_{2})$ je bijekcija $\alpha :\mathcal{X}_{1}\rightarrow \mathcal{X}_{2}$ za koju vrijedi% \begin{equation*} \forall l\in \mathfrak{B}_{1}\Longrightarrow \{P^{\alpha }\text{; }P\in l\}\subset \mathfrak{B}_{2}\text{.} \end{equation*} \end{definition} Pro\v{s}irimo li domenu izomorfizma $\alpha $, iz prethodne definicije, na skup $\mathfrak{B}_{1}$, tako da definiramo $l^{\alpha }:=\{P^{\alpha }$; $% P\in l\}$, $\forall $ $l\in \mathfrak{B}_{1}$, lako se poka\v{z}e da je $% \alpha $ bijekcija sa skupa $\mathfrak{B}_{1}$ na $\mathfrak{B}_{2}$ i da vrijedi% \begin{equation*} P\in l\Leftrightarrow P^{\alpha }\in l^{\alpha },\forall P\in \mathcal{X}% _{1},\forall l\in \mathfrak{B}_{1}. \end{equation*}% Za dva simetri\v{c}na dizajna ka\v{z}emo da su \textbf{izomorfna}, ako postoji barem jedan izomorfizam tih dizajna. O\v{c}ito je da izomorfni simetri\v{c}ni dizajni imaju iste parametre. \begin{definition} \textbf{Automorfizam} ili \textbf{kolineacija} simetri\v{c}nog dizajna $D$ je izomorfizam dizajna $D$ na samog sebe. \end{definition} Skup svih automorfizama simetri\v{c}nog dizajna $D$ je grupa s obzirom na kompoziciju kao operaciju. Tu grupu ozna\v{c}avamo sa $AutD$, a zovemo je \textbf{puna grupa kolineacija }dizajna $D$. Podgrupu grupe $AutD$ nazivamo \textbf{grupa kolineacija }dizajna $D$. \begin{definition} Neka je $G$ permutacijska grupa skupa $\mathcal{X}$. \textbf{Orbita }elementa $x\in \mathcal{X}$ je skup $x^{G}=\{x^{g};$ $g\in G\}\subseteq \mathcal{X}$. \textbf{Stabilizator }elementa $x\in \mathcal{X}$ je skup $G_{x}=\{g\in G;$ $% x^{g}=x$ $\}\subseteq G$. \end{definition} Lako se doka\v{z}e slijede\'{c}a lema. \begin{lemma} Ako je $G$ permutacijska grupa skupa $\mathcal{X}$, tada $G_{x}k$, a $G$ je kona\v{c}na grupa reda $v$. Za $k$-\v{c}lani podskup $\Delta $ grupe $G$ ka\v{z}emo da je $(v,k,\lambda )$\textbf{\ diferencijski skup} grupe $G$, ako za svaki $g\in $ $G$ razli\v{c}it od identitete postoji to% \v{c}no $\lambda $ ure\dj enih parova $(x,y)$ elemenata iz $\Delta $\ tako da vrijedi $g=xy^{-1}$ i to\v{c}no $\lambda $ ure\dj enih parova $(z,w)\in \Delta \times \Delta $\ za koje vrijedi $g=z^{-1}w$. \end{definition} \begin{theorem} \label{vkl}Svaki diferencijski skup Singerove grupe $G$ simetri\v{c}nog $% 2-(v,k,\lambda )$ dizajna $D=(\mathcal{X},\mathfrak{B})$ je $(v,k,\lambda )$ diferencijski skup grupe $G$. \end{theorem} \begin{proof} Neka je $\Delta (P,l)\subseteq G$ diferencijski skup grupe $G$, gdje je $% P\in \mathcal{X}$ i $l\in \mathfrak{B}$. Iz prethodne leme slijedi $|G|=v$ i $|\Delta (P,l)|=k$. Uzmemo li u grupi $G$ element $g$ razli\v{c}it od identitete, tada je $P^{g}\neq P$, jer po Lemi \ref{permut} svaka permutacija razli\v{c}ita od identitete iz regularne permutacijske grupe $G$ skupa $\mathcal{X}$, nema fiksnih elemenata u skupu $\mathcal{X}$. Po\v{s}to postoji to\v{c}no $\lambda $\ blokova dizajna $D$ kojima to\v{c}ke $P^{g}$ i $P$ pripadaju, tada prema navedenoj lemi, a zbog regularnosti od $G$ na skupu blokova dizajna $D$, postoje jedinstveni $h_{i}\in G$ tako da su tra% \v{z}eni blokovi upravo $l^{h_{i}}$, $\forall i\in \{1,\ldots ,\lambda \}$. Iz $P\in l^{h_{i}}$ i $P^{g}\in l^{h_{i}}$ slijedi $P^{h_{i}^{-1}}\in l$ i $% P^{gh_{i}^{-1}}\in l$, odnosno $h_{i}^{-1}$, $gh_{i}^{-1}$ $\in \Delta $. Ozna\v{c}imo li $b_{i}=h_{i}^{-1}$, $a_{i}=gh_{i}^{-1}$, tada su $a_{i}$ i $% b_{i}\in \Delta $ i $g=a_{i}b_{i}^{-1}$. \v{Z}elimo pokazati da postoji to% \v{c}no $\lambda $ parova $(x,y)$ elemenata iz $\Delta $,\ tako da se $g$ mo% \v{z}e zapisati u obliku $xy^{-1}$. Poka\v{z}imo da su $(a_{i},b_{i})$, $% \forall $ $i\in \{1,\ldots ,\lambda \}$, jedini takvi parovi. Neka su $% (e,f)\in \Delta \times \Delta $ takvi da je $g=ef^{-1}$. Tada je $gf=e\in \Delta $, pa $P^{gf}\in l$, iz \v{c}ega $P^{g}\in l^{f^{-1}}$. Po\v{s}to je $% f\in \Delta $, tada $P^{f}\in l$, pa $P\in l^{f^{-1}}$. Dakle $P$, $P^{g}\in l^{f^{-1}}$, a prema prethodnom razmatranju $\exists j\in \{1,\ldots ,\lambda \}$ tako da je $f^{-1}=h_{j}$. Slijedi $f=b_{j}$, $% e=gf=gh_{j}^{-1}=a_{j}$, tj. $(e,f)=(a_{j},b_{j})$. Polaze\'{c}i od regularnosti grupe $G$ na skupu blokova dizajna $D$, na sli% \v{c}an na\v{c}in mo\v{z}emo pokazati ostatak tvrdnje. \end{proof} \begin{definition} Neka je $\Delta $ podskup grupe $G$. \textbf{Desni translati} skupa $\Delta $ su podskupovi grupe $G$ oblika $\Delta g=\{dg$; $d\in \Delta \}$, gdje je $% g\in G$. \end{definition} \begin{theorem} \label{dev1}Ako je $\Delta $ $(v,k,\lambda )$ diferencijski skup grupe $G$, tada je incidencijska struktura $dev\Delta =(G,\{\Delta g$; $g\in G\})$ sa pripadnom relacijom incidencije $\mathcal{I}=\in $, simetri\v{c}ni $% 2-(v,k,\lambda )$ dizajn. \end{theorem} \begin{proof} Iz definicije $(v,k,\lambda )$ diferencijskog skupa grupe $G$, slijedi da je $|\Delta |=k$, te da u incidencijskoj strukturi $dev\Delta $ ima to\v{c}no $% |G|=v$ to\v{c}aka. Neka je $\Delta =\{d_{1},\ldots ,d_{k}\}$, gdje su svi $% d_{i}$ razli\v{c}iti. Odaberemo li proizvoljan desni translat $\Delta g$ skupa $\Delta $, tada vrijedi $\Delta g=\{d_{1}g,\ldots ,d_{k}g\}$, gdje je $% g\in G$. Razli\v{c}itost svih $d_{i}$ povla\v{c}i razli\v{c}itost svih $% gd_{i}$. Dakle, $|\Delta g|=k$, $\forall g\in G$, tj. u incidencijskoj strukturi $dev\Delta $ svaki blok ima to\v{c}no $k$ to\v{c}aka. Ako poka\v{z}emo da su svake dvije razli\v{c}ite to\v{c}ke iz $dev\Delta $ incidentne sa to\v{c}no $\lambda $ blokova, tada je $dev\Delta $ $% 2-(v,k,\lambda )$ dizajn. Uzmimo proizvoljne i razli\v{c}ite elemente $g_{1}$% , $g_{2}$ iz grupe $G$, tj. vrijedi $g_{1}g_{2}^{-1}\neq i_{G}$. Iz Definicije \ref{dif} slijedi da postoji to\v{c}no $\lambda $ ure\dj enih parova $(x,y)\in \Delta \times \Delta $\ tako da vrijedi $g=xy^{-1}$, a neka su to upravo $(a_{i},b_{i})$, za $i\in \{1,\ldots ,\lambda \}$. Definirajmo $% h_{i}=b_{i}^{-1}g_{2}$, $\forall i\in \{1,\ldots ,\lambda \}$. Fiksirajmo neki od navedenih $i$. Iz $h_{i}=b_{i}^{-1}g_{2}$ slijedi $% g_{2}=b_{i}h_{i}\in \Delta h_{i}$. Po\v{s}to je $% g_{1}g_{2}^{-1}=a_{i}b_{i}^{-1}$, tada je $% g_{1}=a_{i}b_{i}^{-1}g_{2}=a_{i}h_{i}\in \Delta h_{i}$. Time smo pokazali da su to\v{c}ke $g_{1}$, $g_{2}$ incidentne sa blokovima $\Delta h_{i}=\Delta b_{i}^{-1}g_{2}$, $\forall i\in \{1,\ldots ,\lambda \}$. Treba jo\v{s} samo pokazati da su to jedini blokovi s kojima su navedene to\v{c}ke incidentne. Neka su $g_{1}$, $g_{2}\in \Delta f$. Po\v{s}to je $G$ grupa, tada postoji jedinstveni $y\in G$ takav da je $f=y^{-1}g_{2}$. Stoga je $g_{2}=yf$, pa iz $g_{2}\in \Delta f$ slijedi $yf\in \Delta f$, odnosno $y\in \Delta $. Tako% \dj er, $g_{1}\in \Delta f=\Delta y^{-1}g_{2}$ povla\v{c}i $% g_{1}g_{2}^{-1}\in \Delta y^{-1}$, tj. postoji $m\in \Delta $ tako da vrijedi $g_{1}g_{2}^{-1}=my^{-1}$. Po\v{s}to su $m$, $y\in \Delta $, tada iz prethodno pokazanog, vrijedi da $\exists j\in \{1,\ldots ,\lambda \}$ tako da je $m=a_{j}$ i $y=b_{j}$. Stoga je $f=y^{-1}g_{2}=b_{j}^{-1}g_{2}$, pa su $g_{1}$, $g_{2}\in \Delta b_{j}^{-1}g_{2}$. Ako poka\v{z}emo da $2-(v,k,\lambda )$ dizajn $dev\Delta $ ima to\v{c}no $v$ blokova, tada je on simetri\v{c}an. Po\v{s}to je $|G|=v$, slijedi da je $% |\{\Delta g;g\in G\}|\leq v$ (zbog eventualnih $\Delta g=\Delta )$. Kako po Fisherovoj nejednakosti, broj blokova $2-(v,k,\lambda )$ dizajna ne smije biti manji od broja to\v{c}aka, slijedi $|\{\Delta g;g\in G\}|\geq v$, dakle $|\{\Delta g;g\in G\}|=v$. \end{proof} \begin{theorem} \label{dev2}Ako je $\Delta $ diferencijski skup Singerove grupe $G$ simetri% \v{c}nog dizajna $D=(\mathcal{X},\mathfrak{B})$, tada vrijedi $dev\Delta \cong D$. \end{theorem} \begin{proof} Neka je $D$ simetri\v{c}ni $2-(v,k,\lambda )$ dizajn, to\v{c}ka $P\in \mathcal{X}$ i blok $l\in \mathfrak{B}$ su bazni elementi diferencijskog skupa $\Delta $ Singerove grupe $G$ dizajna $D$, tj. vrijedi $\Delta =\Delta (P,l)$. Iz Teorema \ref{vkl}, slijedi da je $\Delta (P,l)$ $(v,k,\lambda )$ diferencijski skup grupe $G$, a u prethodnom teoremu dokazali smo da je $% dev\Delta =(G,\{\Delta g$; $g\in G\})$ simetri\v{c}ni $2-(v,k,\lambda )$ dizajn. Definirajmo sa $\alpha (g)=P^{g}$, $\forall g\in G$, pridru\v{z}% ivanje $\alpha :G\rightarrow \mathcal{X}$. Izaberimo proizvoljnu to\v{c}ku $% R\in \mathcal{X}$. Zbog regularnosti grupe $G$ na to\v{c}kama dizajna $D$, a prema Lemi \ref{permut}b), postoji jedinstveni$\ h\in G$ tako da vrijedi $% P^{h}=R$. Tada je $\alpha (h)=R$, pa je preslikavanje $\alpha $ bijektivno. Po\v{s}to je $|\Delta |=k$, neka je $\Delta =\{d_{1},\ldots ,d_{k}\}$, gdje su svi $d_{i}$ razli\v{c}iti. Odaberemo li proizvoljan blok $\Delta g$ u $% dev\Delta $, tada vrijedi $\Delta g=\{d_{1}g,\ldots ,d_{k}g\}$, gdje je $% g\in G$, a razli\v{c}itost svih $d_{i}$ povla\v{c}i razli\v{c}itost svih $% d_{i}g$. Poka\v{z}imo da je skup \begin{equation*} \alpha (\Delta g):=\{\alpha (d_{1}g),\ldots ,\alpha (d_{k}g)\}=\{P^{d_{1}g},\ldots ,P^{d_{k}g}\} \end{equation*}% blok u dizajnu $D$. Po\v{s}to su $d_{i}\in \Delta $, tada\ $P^{d_{i}g}\in l^{g}$, $\forall i\in \{1,\ldots ,k\}$, tj. \begin{equation*} \alpha (\Delta g)=\{P^{d_{1}g},\ldots ,P^{d_{k}g}\}\subseteq l^{g}\in \mathfrak{B}\text{.} \end{equation*}% Ako poka\v{z}emo da su sve navedene to\v{c}ke $P^{d_{i}g}$ razli\v{c}ite, tada je $\alpha (\Delta g)=l^{g}\in \mathfrak{B}$. Pretpostavimo li suprotno tj. $P^{d_{i}g}=P^{d_{j}g}$, gdje su $i$, $j\in \{1,\ldots ,k\}$, $i\neq j$, tada je $P^{d_{i}d_{j}^{-1}}=P$. Zbog regularnosti grupe $G$ na to\v{c}kama dizajna $D$, a prema Lemi \ref{permut}a) svaka permutacija iz $G$ razli\v{c}% ita od identitete nema fiksnih to\v{c}aka u $D$. Stoga je $% d_{i}d_{j}^{-1}=i_{G}$, pa je $d_{i}=$ $d_{j}$, \v{s}to je u kontradikciji s \v{c}injenicom da su svi $d_{i}$ razli\v{c}iti. Time smo za proizvoljan blok $\Delta g$ $\in dev\Delta $ pokazali da je $\alpha (\Delta g)\in \mathfrak{B} $, pa vrijedi $\{\alpha (\Delta g)$; $g\in G\}\subseteq \mathfrak{B}$, a tada je po, Definiciji \ref{izo}, $\alpha $ izomorfizam simetri\v{c}nih dizajna $dev\Delta $ i $D$. \end{proof} U uvjetima pro\v{s}log teorema, za dizajn $dev\Delta $ $\cong D$ ka\v{z}emo da je \textbf{diferencijski prikaz }simetri\v{c}nog\textbf{\ }dizajna $D$. \subsection{Diferencijski prikaz projektivnih geometrija tipa $P_{n}(q)$} \begin{theorem} \textbf{(Singerov teorem) }Simetri\v{c}ni dizajn $P_{n}(q)$ ima cikli\v{c}ku Singerovu grupu reda $\frac{q^{n+1}-1}{q-1}$. \end{theorem} \begin{proof} Prona\dj emo li Singerovu grupu dizajna $P_{n}(q)$, tada iz Leme \ref{sinred} zaklju\v{c}ujemo da je red te grupe jednak broju to\v{c}aka dizajna $% P_{n}(q) $, a prema Propoziciji \ref{proj}, spomenuti broj iznosi $\frac{% q^{n+1}-1}{q-1}$. Neka je $K=F_{q}$. Za $n\in %TCIMACRO{\U{2115} }% %BeginExpansion \mathbb{N} %EndExpansion $ postoji jedinstveno polje reda $q^{n+1}$, a ozna\v{c}it \'{c}emo ga sa $% V=F_{q^{n+1}}$. Polje $V$ je $(n+1)$-dimenzionalni vektorski prostor nad $K$% . Skup svih potprostora prostora $V$ nad poljem $K$ \v{c}ini projektivnu geometriju $P(V)=P_{n}(q)$. Za $f\in V^{\ast }$ definirajmo pridru\v{z}ivanje $\mathbf{R}% _{f}:V\rightarrow V$ tako da je $v^{\mathbf{R}_{f}}=vf$, $\forall v\in V$. Preslikavanja $\{\mathbf{R}_{f}$; $f\in V^{\ast }\}$ su linearne transformacije vektorskog prostora $V$, jer za proizvoljan $f\in V^{\ast }$ vrijedi:% \begin{eqnarray*} (v+w)^{\mathbf{R}_{f}} &=&(v+w)f=vf+wf\text{; }\forall v,w\in V\text{ i} \\ (kv)^{\mathbf{R}_{f}} &=&(kv)f=k(vf)\text{; }\forall v\in V\text{, }\forall k\in K\text{.} \end{eqnarray*}% Fiksirajmo $f\in V^{\ast }$. Preslikavanje $\mathbf{R}_{f}$ je injekcija, jer iz $vf=wf$, slijedi $v=w$; za svaki $v$, $w\in V$. Za to preslikavanje vrijedi i surjektivnost, jer ako za proizvoljan $y\in V^{\ast }$ definiramo $% x=yf^{-1}$, tada $x^{\mathbf{R}_{f}}=xf=y$, dok je za $y=0$ pripadni $x$ jednak $0$. Dakle, slijedi $\mathbf{R}_{V^{\ast }}:=\{\mathbf{R}_{f}$; $f\in V^{\ast }\}\subseteq GL(V)$. Skup $\mathbf{R}_{V^{\ast }}:=\{\mathbf{R}_{f}$; $f\in V^{\ast }\}$ je podgrupa grupe $GL(V)$ s obzirom na mno\v{z}enje transformacija, jer iz% \begin{equation*} v^{\mathbf{R}_{f}\mathbf{R}_{g}}=(vf)^{\mathbf{R}_{g}}=v(fg)=v^{\mathbf{R}% _{fg}}\text{, }\forall v\in V\text{,} \end{equation*}% slijedi $\mathbf{R}_{f}\mathbf{R}_{g}=\mathbf{R}_{fg}$, $\forall f,g\in V^{\ast }$, tj. grupoidnost je zadovoljena, sli\v{c}no se poka\v{z}e da vrijedi asocijativnost. Jedinica u $\mathbf{R}_{V^{\ast }}$ je $\mathbf{R}% _{1}$, a inverz svakog $\mathbf{R}_{f}\in \mathbf{R}_{V^{\ast }}$ je $% \mathbf{R}_{f^{-1}}\in \mathbf{R}_{V^{\ast }}$. Poka\v{z}imo da vrijedi $\mathbf{R}_{V^{\ast }}\cong V^{\ast }$. Definirajmo pridru\v{z}ivanje $\Phi :V^{\ast }\rightarrow \mathbf{R}_{V^{\ast }}$ tako da je $\Phi (f)=\mathbf{R}_{f}$, $\forall f\in V^{\ast }$. Iz% \begin{equation*} \Phi (fg)=\mathbf{R}_{fg}=\mathbf{R}_{f}\mathbf{R}_{g}=\Phi (f)\Phi (g)\text{% , }\forall f\text{ i }g\in V^{\ast }\text{, } \end{equation*}% slijedi da je $\Phi $ homomorfizam grupa $V^{\ast }$ i $\mathbf{R}_{V^{\ast }}$, a po\v{s}to je bijektivnost preslikavanja $\Phi $ o\v{c}ita, tada je $% \mathbf{R}_{V^{\ast }}\cong V^{\ast }$. Grupa $\mathbf{R}_{V^{\ast }}