\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 }}