Zenbaki aljebraikoen teoria

**Zenbaki aljebraikoen teoria** zenbakien teoriaren adar bat da, non zenbaki kontzeptua zenbaki aljebraikoetara zabaltzen den; hau da, koefiziente arrazionalak dituzten polinomioen erroak dira.

Zenbaki aljebraikoen eremua zenbaki arrazionalaren eremuaren luzapen finitua (aljebraikoa) da. Zenbaki aljebraikoen eremu bateko zenbaki osoen eraztuna eremu horretako zenbaki osoen multzoa da; hau da, koefiziente osoak dituzten polinomioen erroak diren elementuek osatzen duten eremuaren azpimultzoa.

Zenbaki aljebraikoen eremua zenbaki arrazionalen analogo gisa ikus eta trata daiteke, eta bere zenbaki osoen eraztuna, osoen analogo gisa. Baina analogia ez da perfektua, arrazionalen eta zenbaki osoen propietate ezagun batzuek ez dira mantentzen, adibidez, faktorizazio bakarra. (Idealen teoriak, neurri batean, faktorizazio berezirik eza osatzen du).

Zenbaki aljebraikoen eremuei, baita funtzio eremuei ere, eremu global deitzen zaie. Teoriaren zati handi bat bi objektu motetarako garatu daiteke, paraleloki. Lokalizazioa eremu global batetik tokiko eremu batera igarotzean datza; funtzio-eremuen kasuan, prozedura hori aztergai dugun gainazaleko edo anizkoitzetako puntu jakin bat aztertzean datza, eta haien inguruko funtzioek, nola jokatzen duten aztertzean.

## Zenbaki aljebraikoen teoriaren historia 
### Diofanto 
Zenbaki aljebraikoen teoriaren hastapenak Diofantoren ekuazioetan aurki daitezke, horrela izendatua III. mendeko Diofanto matematikari alexandriarrarengatik, zeinak ekuazio diofandar mota batzuk ebazteko metodoak aztertu eta garatu zituen. Problema diofandar tipiko bat da  *x* eta *y* bi zenbaki osoak aurkitzea, zienen haien batura eta karratuen batura *A* eta *B* bi zenbaki berdinak izan daitezen, hurrenez hurren:

: A = x + y\ 
: B = x^2 + y^2.\ 

Ekuazio diofandarrak milaka urtez aztertu dira. Esaterako, *x*2 + *y*2 = *z*2 ekuazio koadratiko diofandarraren soluzioak hiruko pitagorikoekin adierazten dira, jatorriz babiloniarrek ebatzitakoak (K.a. 1800. urtean). Ekuazio diofandar  linealen soluzioak, hala nola 26*x* + 65*y* = 13, Euklidesen algoritmoa erabiliz kalkula daitezke (K.a. V. mendea).

Diofantoren lan nagusia *Arithmetica* izan zen, eta zati bat baino ez du iraun.

### Fermat 
Fermat-en Azken Teorema Pierre de Fermatek 1637an aieru zuen lehen aldiz, *Arithmetica*-ren kopia baten ertzean, non marjinan sartzeko handiegia zen froga bat zuela esan baitzuen. 1995era arte, ez zen froga arrakastatsurik argitaratu, 358 urteetan zehar matematikari ugarik ahalegindu arren. Ebatzi gabeko problemak zenbaki aljebraikoen teoriaren garapena bultzatu zuen XIX. mendean, eta modulartasun teoremaren frogantza XX. mendean.

### Gauss 
Zenbaki aljebraikoen teoriaren sorrerako lanetako bat, ***Disquisitiones Arithmeticae*** Carl Friedrich Gaussek 1798an, 21 urte zituela, latinez idatzitako zenbakien teoriako testuliburua da, eta 1801ean argitaratu zuen lehen aldiz, 24 urte zituela. Liburu horretan, Fermat, Euler, Lagrange eta Legendre bezalako matematikariek lortutako zenbaki teoriaren emaitzak biltzen ditu Gaussek eta bere emaitza berri garrantzitsuak gehitzen ditu. *Disquisitiones* argitaratu baino lehen, zenbakien teoria teorema eta aieru isolatuen bildumaz osatuta zegoen. Gaussek, bere aurrekoen lana, bere jatorrizko lanarekin, marko sistematiko batera eraman zuen; hutsuneak bete zituen; froga ahulak zuzendu, eta gaia modu askotan zabaldu zuen.

XIX. mendeko Europako beste matematikari batzuen lanen abiapuntua izan zen *Disquisitiones*, hala nola Ernst Kummer, Peter Gustav Lejeune Dirichlet eta Richard Dedekind-enak. Gaussen oharpen asko, hain zuzen ere, bere ikerketen iragarpenak dira, eta horietako batzuk argitaratu gabe geratu ziren. Haien garaikideei bereziki kriptikoak iruditu behar zitzaizkien; orain, L-funtzioen eta, bereziki, biderketa konplexuaren teorien germenak jasoko balituzte bezala irakur ditzakegu,

### Dirichlet 
1838an eta 1839an, Peter Gustav Lejeune Dirichlet-ek klaseko lehen zenbakien formula frogatu zuen forma koadratikoetarako (gero, Leopold Kronecker bere ikasleak findua). Jacobik «giza ikusmenaren gailurra ukitzen duen emaitza» deitu zuen formulak, izan ere, antzeko emaitzak lortzeko bidea ireki zuen zenbaki-eremu orokorragoei dagokienez. Eremu koadratikoen unitateen taldearen egituraren ikerketan oinarrituta, Dirichleten unitateen teorema frogatu zuen, zenbaki aljebraikoen teorian oinarrizko emaitza dena.

Lehenik eta behin, laukitxo-printzipioa erabili zuen (oinarrizko zenbaketa-argudioa) hurbilketa diofandarreko teorema baten frogan, geroago Dirichleten hurbilketa-teorema izendatu zena. Fermaten azken teoremari, ekarpen garrantzitsuak egin zizkion, zeinarentzat *n* = 5 eta *n* = 14 kasuak frogatu zituen; elkarrekikotasun-lege bikoadratikoari ere, ekarpenak egin zizkion. Dirichleten zatitzailearen problema, zeinarentzat lehen emaitzak aurkitu zituen, zenbakien teorian konpondu gabeko arazoa izaten jarraitzen du, gerora beste ikertzaile batzuek ekarpenak egin arren.

## Oinarrizko nozioak 
### Faktorizazio berezirik eza 
Zenbaki osoen eraztunaren propietate garrantzitsu bat da aritmetikaren oinarrizko teorema betetzen duela, zenbaki oso (positibo) bakoitzak zenbaki lehenen produktu batean faktorizazioa duela eta faktoreen ordenaren arabera bakarra dela faktorizazio hori. Baliteke hori egia ez izatea  zenbaki aljebraiko eremu bateko  zenbaki osoen eraztunean.

*Elementu lehen* bat -ren  elementu bat da, non -k  produktu bat zatitzen badu,  edo  faktoreetako bat zatitzen du orduan. Propietate hori oso lotuta dago lehentasunarekin, propietate hori betetzen duen edozein zenbaki oso positibo  edo zenbaki lehen bat delako. Hala ere, zorrozki, ahulagoa da. Adibidez,  ez da zenbaki lehena negatiboa delako, baina elementu lehena da. Elementu lehenen faktorizazioak onartzen badira, orduan, zenbaki osoetan ere, faktorizazio alternatiboak daude, hala nola

: 6 = 2 \cdot 3 = (-2) \cdot (-3).

Orokorrean,  unitatea bada (hau da, -n alderantzizko biderkatzailea duen zenbakia) eta  elementu lehena bada, orduan,  ere elementu lehena da.  eta  bezalako zenbakiak *elkartuta* daudela esaten da. Zenbaki osoetan,  eta  zenbaki lehenak elkartuta daude, baina horietako bakarra da positiboa. Zenbaki lehenak positiboak izatea eskatzean, elkartutako elementu lehenen multzo batetik elementu bakar bat hautatzen da. Hala ere, *K* zenbaki arrazionalak ez direnean, ez dago positibotasunaren analogorik. Adibidez, zenbaki oso gaussiarretan ,  eta  zenbakiak elkartuta daude bigarrena lehenengoa -ren biderkadura delako, baina ez dago modurik bat bestea baino kanonikoagoa zehazteko. Horrek honelako ekuazioak sortzen ditu:

: 5 = (1 + 2i)(1 - 2i) = (2 + i)(2 - i),

horrek erakusten du ez dela egia -en faktoreen ordenara arte faktorizazioak bakarrak direnik. Hori dela eta, faktorizazio bakarraren domeinuetan (UFD) erabiltzen den faktorizazio bakarraren definizioa hartzen da. UFD batean, faktorizazio batean agertzen diren elementu lehenak unitateen eta haien ordenaren arabera bakarrak izatea espero da.

Hala ere, definizio ahulagoa izanda ere, zenbaki-eremu aljebraikoetako zenbaki osoen eraztun askok ez dute faktorizazio bakarra onartzen. Klase idealen multzoa izeneko oztopo aljebraiko bat dago. Klase idealen taldea hutsala denean, eraztuna UFD bat da. Hala ez denean, elementu lehen eta murriztu ezin baten arteko bereizketa dago.  *elementu murriztu ezina* da:  bada,  edo  unitatea da. Horiek dira gehiago faktorizatu ezin diren elementuak. *O* elementu bakoitzak faktorizazio bat onartzen du elementu murriztu ezinetan, baina bat baino gehiago onar ditzake. Hau da, elementu lehen guztiak murriztu ezinak diren bitartean, elementu murriztu ezin batzuk, agian, ez dira  lehenak. Adibidez, kontuan haru  . Eraztun honetan, ,  eta  zenbakiak murriztu ezinak dira. Horrek esan nahi du  zenbakiak bi faktorizazio dituela elementu murriztu ezinetan,

: 9 = 3^2 = (2 + \sqrt{-5})(2 - \sqrt{-5}).

Ekuazio horrek erakusten du k  produktua zatitzen duela.  elementu lehena balitz, orduan,  edo  zatituko luke, baina ez da hala, zeren tik zati daitezkeen elementu guztiak  formakoak direlako. Era berean,  eta  zatitzen du  produktua, baina ez batak ez besteak ez du ra zatitzen, beraz, ez bata, ez bestea, ez dira lehenak. ,  eta  elementuak baliokide bihur daitezkeen zentzurik ez duenez, faktorizazio bakarrak huts egiten du -en. Unitateen egoera ez bezala, non berezitasuna konpon zitekeen definizioa ahulduz, hutsegite hori gainditzeak ikuspegi berri bat eskatzen du.

### Faktorizazioa ideal lehenetan 
 ideal bat bada -n, orduan, beti dago I = \mathfrak{p}_1^{e_1} \cdots \mathfrak{p}_t^{e_t},  faktorizazio bat, non \mathfrak{p}_i bakoitza ideal lehen bat den eta non adierazpen hori bakarra den faktoreen ordenaren arabera. Bereziki, hori egia da  bada elementu bakar batek sortutako ideal nagusia. Hori da zenbaki-eremu orokor baten zenbaki osoen eraztunak faktorizazio bakarra onartzen duen zentzurik indartsuena. Eraztun teoriaren hizkuntzan, zenbaki osoen eraztunak Dedekind domeinuak direla esaten da.

 UFD denean, ideal lehen bakoitza elementu lehen batek sortzen du. Bestela, elementu lehenek sortzen ez dituzten ideal lehenak daude. {{Math|*Z*[√{Overline|-5}}-n, adibidez, ideala  elementu bakar batek sortu ezin duen ideal lehen bat da.

Historikoki, idealak ideal lehenetan faktorizatzearen ideia Ernst Kummer-ek zenbaki idealak sartu aurretik sortu zen. Hauek -ren  hedapen eremuan dauden zenbakiak dira. Luzapen-eremu hori Hilbert klase-eremua bezala ezagutzen da. Idealaren teorema nagusiaren arabera, -ren ideal lehen orok -ren eraztunaren ideal nagusi bat sortzen du. Ideal lehen horren sortzaileari zenbaki ideal deitzen zaio. Kummerrek eremu ziklotomikoko faktore bakarreko porrotaren ordezko gisa erabili zituen. Horrek, azkenean, idealen aitzindari bat sartzera eta idealen faktorizazio berezia frogatzera eraman zuen Richard Dedekind.

Zenbaki-eremu bateko zenbaki osoen eraztunean lehena den ideala horrelakoa izateari utziko dio zenbaki-eremu handiago batera hedatzen denean. Demagun, adibidez, zenbaki lehenak. Dagozkion  idealak  eraztunaren ideal lehenak dira. Dena den, ideal hori zenbaki gaussiar osoetara zabaltzen denean } lortzeko, lehena izan daiteke edo ez. Adibidez,  faktorizazioak dakar:

: 2\mathbf{Z}[i] = (1 + i)\mathbf{Z}[i] \cdot (1 - i)\mathbf{Z}[i] = ((1 + i)\mathbf{Z}[i])^2;

Kontuan har  denez,  eta  k sortutako idealak berdinak direla. Zenbaki gaussiar osoetan, zein idealak jarraitzen duten lehen izaten galderari, erantzun osoa ematen dio Fermaten bi karraturen batuketei buruzko teoremari. Horrek esan nahi du  zenbaki lehen bakoiti baterako,  ideal lehena dela  bada eta ez dela ideal lehena  bada. Horrek,  ideal lehena dela dioen behaketarekin batera, zenbaki gaussiar osoen ideal lehenen deskribapen osoa ematen du. Emaitza sinple hori zenbaki oso orokorragoen eraztunetara orokortzea zenbaki aljebraikoen teorian oinarrizko arazoa da. Klaseen eremu-teoriak helburu hori lortzen du *K*  luzapen abeldarra denean **Q**-rena (hau da, Galois-en luzapen bat Galois talde abeldarra duena).

### Klase talde ideal 
Faktorizazio bakarrak soilik huts egiten du lehen izaten huts egiten duten ideal lehenak soilik baldin badaude. Ideal lehenen porrota lehen izateko neurtzen duen objektuari klase talde ideala deitzen zaio. Klase talde ideala definitzeko, idealen multzoa zenbaki oso aljebraikoen eraztun batetik zabaltzea eskatzen du, talde-egitura onartzen dutelako. Hori idealak zatiki idealetara orokortuz egiten da. Ideal zatiki bat -ren  azpitalde gehigarri bat da, -ren elementuen biderkaduraz itxita dagoena; hau da,   dela. -ren ideal guztiak ere ideal zatikiak dira.  eta  zatiki-idealak badira, orduan, -ko elementu baten eta  -ko elementu baten produktu guztien  multzoa ere ideal zatikia da. Eragiketa horrek zero ez diren zatiki idealen multzoa talde bihurtzen du. Taldearen identitatea ideala da , eta  -ren alderantzizkoa zatidura ideal (orokortua) da:

: J^{-1} = (O:J) = \{x \in K: xJ \subseteq O\}.

Zatiki Ideal nagusiak, hau da,  formakoak, non , zero ez diren, zatiki ideal guztien taldearen azpitalde bat osatzen dute. Azpitalde horren arabera, zero ez diren zatiki idealen taldearen zatidura klase talde ideala da. Bi ideal zatikiko  eta  ideal klase-taldearen elementu bera adierazten dute, baldin eta  elementu bat existitzen bada, hau da, . Beraz, klase talde idealak bi ideal zatiki baliokide bihurtzen ditu bata lehenetik bestea bezain hurbil badago. Klase talde ideala ,  edo  bezala adierazi ohi da (azken notazio horrek, geometria aljebraikoan, Picard taldearekin identifikatzen duelarik).

Klase-taldeko elementu kopuruari *K* **klase**-zenbakia deitzen zaio.  klasearen zenbakia 2 da. Horrek esan nahi du bi klase ideal soilik daudela, zatiki-ideal nagusien klasea eta  bezalako zatiki ideal ez-nagusi baten klasea.

Klaseko talde idealak beste deskribapen bat du zatitzaileei dagokienez. Horiek zenbakien faktorizazio posibleak adierazten dituzten objektu formalak dira.  zatitzaile taldea -ren ideal nagusiek barne hartzen duten talde abeliar askea bezala definitzen da. -ren talde-homomorfismoa dago, -ren nuluak ez diren elementuetatik biderketara, K zatiketa *K*}}. Demagun  betetzen duela

: (x) = \mathfrak{p}_1^{e_1} \cdots \mathfrak{p}_t^{e_t}.

Orduan,  zatitzaile gisa definitzen da

: \operatorname{div} x = \sum_{i=1}^t e_i[\mathfrak{p}_i].

-ren nukleoa -ren unitateen taldea da, cokernel-a klase idealen taldea den bitartean. Aljebra homologiakoaren hizkuntzan, horrek dio talde abeldarren segida zehatz bat dagoela (biderkabidez idatzita),

: 1 \to O^\times \to K^\times \xrightarrow{\text{div}} \operatorname{Div} K \to \operatorname{Cl} K \to 1.

## Erreferentziak 
## Bibliografia 
* Kenneth Ireland eta Michael Rosen, *A Classical Introduction to Modern Number Theory, Second Edition*, Springer-Verlag, 1990.
* Ian Stewart eta David O. Tall, *Zenbaki aljebraikoen teoria eta Fermat-en azken teorema*, A. K. Peters, 2002.
* Daniel A. Marcus, *Zenbaki eremuak*
* 
* 
* 

## Kanpo estekak