Gorputz finitu

Matematikan, gorputz finitua edo Galoisen gorputza elementu kopuru finitua duen gorputza da. Gorputz bat multzo bat da zeinetan bi eragiketa definituta ditugun, batuketa eta biderketa deritzegunak. Gorputza izateko eragiketek baldintza batzuk bete behar dituzte. Gorputz finituak, beraz, gorputzen kasu berezi bat dira zeinetan elementu kopurua finitua den.

Gorputz finitu baten ordena bere elementu kopurua da. Hau beti p zenbaki lehen bat edo p zenbaki lehenaren berretura bat da. Gainera, edozein zenbaki lehenetarako eta beraien berreturetarako, beti existitzen da ordena hori duen gorputz finitu bat. Bestalde, ordena bereko bi gorputz finitu beti isomorfoak dira.

Gorputz finituak funtsezkoak dira matematikaren eta informatikaren hainbat arlotan, besteak beste, zenbakien teorian, geometria aljebraikoan, Galoisen teorian, geometria finituan, kriptografian eta kodifikazioaren teorian.

 Historia 
Gorputz finituen teoriaren hastapena XIX. mendearen bigarren erdialdean kokatzen da, Richard Dedekind matematikari alemaniarrak Körper terminoa asmatu zuenean, euskaraz gorputza esaten dena. Hala ere, honen definizioa Heinrich Weber-ek zehaztu zuen, baina gaur egun erabiltzen den definizioa Ernest Steinitz matematikariak idatzi zuen 1910. urtean.

Lehen aldiz gorputz finituak erabili zituen matematikaria Ferdinand George Frobenius izan zen XIX. mende amaieran. Frobenius matematikariak gorputz finituak erabili zituen talde finituen aurkezpenak lortzeko. Horrekin erlazionaturik, Frobenius-en endomorfismoa sortu zuen, Galois-en teoria gorputz finituetan erabiltzea ahalbidetuz.

Gorputz finituen azterketa sistematikoa XX. mendean hasi zen Leonard Dickinson-en azterlanekin. Dickinsonek gorputz finitu abeldarren lehenengo sailkapena egin zuen. Halaber, 1905. urtean argitaraturiko lanean frogatu zuen ez dela existitzen gorputz finitu ez abeldarrik. Bestalde, Wedderburn matematikariarekin lan egin zuenez, teorema honi Wedderburn-en teorema izena eman zitzaion.

 Notazioa 
Hurrengo notazioak honela ulertu behar dira:

  zenbaki osoa bada,  -ko elementua honela definitzen da:
   bada.
   bada.
   bada.
  arrunta edo zero bada, -ko elementua honela definitzen da:
   bada.
   bada.
  zenbaki osoa negatiboa bada, -ko elementua honela definitzen da: 

 Propietateak 
Propietateak azaldu baino lehen, komenta dezagun zer den gorputz baten karakteristika. Gorputz baten karakteristika   zenbaki arruntik txikiena da zeinetarako   aldiz batuz  ematen duen. Horrela bada,  idazten da. Ohartu definizio hau goian aipatutako notazioarekin azaldu dela.
 gorputz finitua bada, existitzen dira  zenbaki lehena eta  zenbaki arrunta non  den. Kasu horretan, froga daiteke  dela.

 bada,  ordenako gorputz guztiak isomorfoak dira. Gainera, gorputz batek ezin ditu ordena bereko bi azpigorputz izan.

 ordenako gorputz finitua  polinomioaren erroek osatzen dute. Gainera, gorputz honen unitateek talde bat osatzen dute biderketarekiko. Talde hau ziklikoa da eta bere sortzaileari unitatearen jatorrizko . erroa deritzo.

 ordenako edozein gorputz finituren elementuak  bezala adieraz daitezke,  eta  isomorfoak baitira.

-ren karakteristika  denez,  eta  -ko bi elementu hartzen baditugu, hurrengoa betetzen da:

 Existentzia eta bakartasuna 
Izan bitez  non  zenbaki lehena den eta   polinomioaren deskonposizio gorputza  gainean.

1893. urtean E. H. Moore matematikariak lehen aldiz frogatutako teoremaren arabera, edozein  zenbaki lehen baten berreturarako ordena horretako gorputz finitua existitzen da, eta ordena bereko gorputz finitu guztiak isomorfoak dira. Gorputz hauetako edozein elementutarako, beti betetzen da  berdintza.

Halaber,  gorputzak  erako azpigorputza du baldin eta soilik baldin -k n zatitzen badu. Gainera, azpigorputz hori bakarra da. Bereziki,  polinomioak  polinomioa zatitzen du.

 Gorputz finituen eraikuntza 
Dagoeneko azaldu den bezala,  zenbaki lehena denean,  isomorfoa da  gorputzarekin. Baina, ohartu,  zenbaki lehena ez den kasuan, isomorfismo hau ez dela egia; izan ere,  ez da gorputza. Orduan,  zenbaki lehena ez den kasurako, atal honetan ikusiko dugu zein gorputzekiko den isomorfoa. 

Demagun  dela,  izanik; kasu honetan, aukeratu  -ren  mailako polinomio irreduzible bat. Orduan,  isomorfoa da-rekiko.

 Adibideak 
1. Adibidea: Kalkula dezagun  gorputza zein zatidura gorputzekiko den isomorfoa.  denez, 

 eginik eraikiko dugu  gorputzean,   gaineko polinomio bat izanik. Gainera, -ren gainean, bigarren mailako polinomio irreduzible bakarra  da (hau erraz frogatu daiteke irreduzibilitatearen baldintzak probatuz, soilik bigarren mailakoa baita). Ondorioz,  sortzeko  zatidura-eraztuna egin behar dugu. Honekin, lau elementuko gorputz finitua lortuko dugu. Laburbilduz, isomorfismo hau dugu: .

2. Adibidea: Kalkula dezagun  gorputza zein zatidura gorputzekiko den isomorfoa. Ohartu  dela. Hortaz,  eraztuna eta eraztun honen 3. mailako polinomio irreduzible bat behar dugu.  polinomio irreduziblea denez -n,  isomorfoa da .

3. Adibidea: Kalkula dezagun  gorputza zein zatidura gorputzekiko den isomorfoa.  denez  eraztuna eta eraztun honen 4. mailako polinomio irreduzible bat behar dugu. Kasu honetan,  polinomioa -n irreduziblea denez,  isomorfoa da  zatidura gorputzarekiko.

 Egitura biderkakorra 
Izan bedi   elementudun edozein gorputz. Gorputz guztiekin gertatzen den bezala, bertako elementu guztiak  izan ezik unitateak dira. Beraz, izan bedi  -ren unitateen multzoa. Esan bezala, bertan -ko elementu guztiak daude  izan ezik. Hori dela eta, -n  elementu daude. Gorputzen izateko baldintzak aztertuz gero, berehala ikusten da -k gorputz egitura duela (eta  finitua denez, bereziki  ere finitua izango da).

Baldintza hauen artean, -k talde abeldar egitura izateko bete behar diren baldintzak daude. Hori dela eta, esaten da -k talde abeldar egitura duela biderketarekiko. Hori dela eta, askotan -k talde biderkakor egitura duela esaten da. Talde teorian ezaguna den Lagrange-ren teorema erabiliz, existitzen da   zenbakiaren zatitzaile bat zeinak  betetzen duen, edozein -rentzat. Nabaria den bezala, ekuazio horrek asko jota  soluzio ezberdin ditu edozein gorputzen gainean (bereziki  gainean). Gainera, esan dugu  zenbakiak  zatitu behar duela. Hori dela eta, -k hartu ahal duen baliorik txikiena  izango da.

Talde abeldar finituen oinarrizko teoremagatik,  taldeak talde zikliko egitura duela ondorioztatu daiteke. Ondorioz, talde hori modu honetan idatzi daiteke:

Kasu horretan,  -ren jatorrizko elementua dela esaten da.

 Teorema garrantzitsuenak 
Gorputz finituei buruzko ondoko teorema hauek ezagutu behar dira, haien funtsezko propietateak baitira.

Teorema: Edozein gorputz finituren karakteristika zenbaki lehen bat da.

Froga: -k gorputz egitura badu, bereziki talde abeldar egitura izango du. Gainera,  finitua denez, taldea ere finitua izango da. Ondorioz, esan genezake  talde abeldar finitua izango dela. Edozein taldetan eragiketarekiko identitatea dago. Gure kasuan identitate hori  denez,  idatzi daiteke. Lagrangeren teorema aplikatuz, elementu horren ordenak taldearen ordena zatitzen du: -ek  zaitzen du. Beraz, taldearen karakteristika ezin da  izan (bestela, taldea infinitua izango zen eta hori absurdua litzateke). Ezaguna den bezala, gorputzen karakteristika  edo zenbaki lehen bat da. Lehenengoa ezin denez bete, nahitaez -ren karakteristika lehena izan behar da.

Teorema: Izan bedi  gorputz finitua non . Orduan -ko elementuak  polinomioaren erroak dira. Gainera, mota horretako polinomioen deskonposizio gorputzak isomorfoak direnez beraien artean, askotan  izendatzen da.

Froga: Frogatu behar da edozein  hartuz  dela. Bi kasu daude:  bada, nabaria da esandakoa betetzen dela.

Beste kasua frogatzeko, demagun  dela. Orduan  alderanzgarria da, hau da,  da.  taldea finitua da eta  betetzen da. Ondorioz  beteko da eta hortik  dela ondorioztatzen da. Beraz, oraingoz {-ren erroak} dela frogatu dugu. Beste noranzkoa frogatzeko, ohartu  dela eta -ren erro kopuru ezberdin kopurua  edo txikiagoa dela. Hori dela eta, nahi genuen partekotasuna betetzen da,  {-ren erroak}.

 Polinomioen faktorizazioa 
Gorputz finituetan, finituak ez diren gorputzetan ez bezala, polinomio monikoen irreduzibilitatearen azterketa errazagoa da. Demagun  gorputz finituaren gaineko  polinomio monikoa dugula. Orduan  polinomioa irreduziblea izango da -n baldin eta soilik baldin ez badira existitzen beste bi polinomio ez-konstante,  eta , non  polinomioa horrela idatzi ahal den: . Propietate hori hurrengo moduan berridatzi daiteke:  gaineko edozein  polinomio irreduziblea izango da  idatzi ahal bada,  eta   gaineko beste bi polinomio izanik, orduan  edo  (gutxienez bietako bat) -ko unitatea bada. Ohartu elementu bat unitatea izateko -n, bere alderantzizkoa izan behar duela. -ko elementuak polinomioak ez direnez, alderantzizkoa duten polinomio bakarrak polinomio konstanteak izango dira.

Gorputz orokorretan gertatzen den bezala, gorputz finituak ere faktorizazio bakarreko domeinuak dira. Hori dela eta, aurreko atalean idatzitako -ren deskonposizioa bakarra izango da, gaien ordena salbu.

Gainera, lehen mailako polinomioen bidez polinomio berezi bat lortu daiteke: izan bedi   elementudun gorputza. Izan bedi  -n koefizienteak dituzten lehen mailako polinomio ezberdin guztiak,  zenbaki arrunta izanik. Ohartu printzipioz ez dagoela erlaziorik  eta  zenbakien artean. Orduan, polinomio horien biderketa eginez, beti hurrengo polinomioa lortzen da:

Propietate hori erabiliz, frogatu daiteke gorputz finituen gaineko edozein mailatako polinomio irreduzibleen kopurua zehaztu daitekeela. Demagun   elementudun gorputza dela eta  ordenako polinomio irreduzible monikoen kopurua lortu nahi dugula. Orduan, zenbaki hori (deitu ) hurrengoa da:Formula horretan  Möbius-en funtzioa da eta  notazioaren bidez  zatitzen dituzten  zenbakiak adierazi nahi dira. Formula horren frogapena aipaturiko -ren deskonposizioaren eta Möbius-en inbertsio formularen bidez egiten da.

Formula hori egokitu daiteke monikoak ez diren polinomio kopurua zehazteko. Aurretik esandako egoeran, deitu diezaiogun   gaineko  ordenako polinomio irreduzibleen kopuruari (monikoak eta ez monikoak). Orduan betetzen da:Horren frogapenean hurrengo formulara iristen gara:Gainera, formula hori hertsia da baldin eta soilik baldin  zenbaki lehen baten berredura gisa idatzi ahal bada (hau da,  idatzi ahal bada,  zenbaki lehena izanik eta  zenbaki arrunt bat izanik). Eskuineko zenbakia beti positiboa denez, zuzenean ondoriozta daiteke gutxienez maila bakoitzeko polinomio irreduzible bana dagoela  gainean.

 Aplikazioak 
Kriptografian, logaritmo diskretuaren problema, bai gorputz finituetan bai kurba eliptikoetan, hainbat metodoren oinarria da, haien artean Diffie-Hellman metodoa. Kode teorian, kode asko gorputz finituen gaineko espazio bektorialen azpiespazio gisa eraikitzen dira.

Errore-zuzenketa kode askok gorputz finituak erabiltzen dituzte, hala nola Reed-Solomon errore-zuzenketa kodeak edo BCH kodeak. Praktikan, gorputz finituen karakteristika 2 izan ohi da; izan ere, ordenagailuetan informazioa sistema bitarrean gordetzen da. Adibidez, informazioko “byte” bat GF()-ko elementutzat ikus har daiteke. Salbuespen bat PDF417 kode-barra da, GF(929)-ko elementuak erabiltzen dituelako. CPU batzuek 2 karakteristika duten gorputz finituentzat erabilgarriak izan daitezkeen agindu bereziak dituzte, oro har “carry-less”  biderkadura aldaketak.

Gorputz finituak oso erabiliak dira zenbaki-teorian, zenbaki osoen gaineko problema asko ebatz baitaitezke 1 moduluarekin edo zenbaki lehen baten moduluarekin. Esate baterako, polinomioak faktorizatzeko algoritmo azkarrenek metodo hau erabiltzen dute eta, honen ondoren, soluzioa berreraikitzeko hondarraren metodo txinatarra, Hensel lifting edo “LLL” algoritmoa erabiltzen.

Halaber, problema teoriko asko zenbaki-teoriaren bidez ebatz daitezke zenbaki lehen batzuen moduluarekin edo zenbaki lehen guztien moduluarekin sinplifikatuz, haien artean Hasse printzipioa. Metodo hauen indarra handitzeko beharrari esker, aljebra geometrikoko hainbat aurkikuntza sustatu ziren. Fermat-en azken teoremaren Wiles-en froga gorputz finituak erabiltzen dituen emaitza sakon baten adibidea da.

Weil-en aieruek gorputz finituen gaineko barietate aljebraikoen puntu kopuruei buruz hitz egiten dute. Teoriak aplikazio asko ditu esponentzialen eta karaktere batuketen estimazioetan.

Gorputz finituek aplikazio oso zabala dute matematika konbinatorioan; bi adibide oso ezagun ditugu: Paley grafoen definizioak eta Hadamard matrizeen eraiketa. Aritmetikan, gorputz finitu konbinatorioak eta gorputz finituen ereduak oso erabiliak dira, hala nola Szemerédi-ren teorema progresio aritmetikoetan.

 Erreferentziak 

 Kanpo estekak 

Kategoria:Eraztunen teoria
Kategoria:Aljebra abstraktua