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² + y² = z² ekuazio koadratiko diofandarraren soluzioak hiruko pitagorikoekin adierazten dira, jatorriz babiloniarrek ebatzitakoak (K.a. 1800. urtean). Ekuazio diofandar linealen soluzioak, hala nola 26x + 65y = 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 Txantiloi:Math zenbaki aljebraiko eremu bateko Txantiloi:Math zenbaki osoen eraztunean.

Elementu lehen bat Txantiloi:Math-ren Txantiloi:Math elementu bat da, non Txantiloi:Math-k Txantiloi:Math produktu bat zatitzen badu, Txantiloi:Math edo Txantiloi:Math faktoreetako bat zatitzen du orduan. Propietate hori oso lotuta dago lehentasunarekin, propietate hori betetzen duen edozein zenbaki oso positibo Txantiloi:Math edo zenbaki lehen bat delako. Hala ere, zorrozki, ahulagoa da. Adibidez, Txantiloi:Math 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, Txantiloi:Math unitatea bada (hau da, Txantiloi:Math-n alderantzizko biderkatzailea duen zenbakia) eta Txantiloi:Math elementu lehena bada, orduan, Txantiloi:Math ere elementu lehena da. Txantiloi:Math eta Txantiloi:Math bezalako zenbakiak elkartuta daudela esaten da. Zenbaki osoetan, Txantiloi:Math eta Txantiloi:Math 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 Txantiloi:Math, Txantiloi:Math eta Txantiloi:Math zenbakiak elkartuta daude bigarrena lehenengoa Txantiloi:Math-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 Txantiloi:Math-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. Txantiloi:Math elementu murriztu ezina da: Txantiloi:Math bada, Txantiloi:Math edo Txantiloi:Math 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 Txantiloi:Math . Eraztun honetan, Txantiloi:Math, Txantiloi:Math eta Txantiloi:Math zenbakiak murriztu ezinak dira. Horrek esan nahi du Txantiloi:Math zenbakiak bi faktorizazio dituela elementu murriztu ezinetan,

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

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

Faktorizazioa ideal lehenetan

Txantiloi:Math ideal bat bada Txantiloi:Math-n, orduan, beti dago $I={𝔭}_1^{e_1}\cdots {𝔭}_t^{e_t},$ faktorizazio bat, non ${𝔭}_i$ bakoitza ideal lehen bat den eta non adierazpen hori bakarra den faktoreen ordenaren arabera. Bereziki, hori egia da Txantiloi:Math 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.

Txantiloi:Math UFD denean, ideal lehen bakoitza elementu lehen batek sortzen du. Bestela, elementu lehenek sortzen ez dituzten ideal lehenak daude. Txantiloi:Math-n, adibidez, ideala Txantiloi:Math 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 Txantiloi:Math-ren Txantiloi:Math hedapen eremuan dauden zenbakiak dira. Luzapen-eremu hori Hilbert klase-eremua bezala ezagutzen da. Idealaren teorema nagusiaren arabera, Txantiloi:Math-ren ideal lehen orok Txantiloi:Math-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 Txantiloi:Math idealak Txantiloi:Math eraztunaren ideal lehenak dira. Dena den, ideal hori zenbaki gaussiar osoetara zabaltzen denean Txantiloi:Math} lortzeko, lehena izan daiteke edo ez. Adibidez, Txantiloi:Math faktorizazioak dakar:

$2𝐙[i]=(1+i)𝐙[i]\cdot (1-i)𝐙[i]=((1+i)𝐙[i]{)}^2;$

Kontuan har Txantiloi:Math denez, Txantiloi:Math eta Txantiloi:Math 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 Txantiloi:Math zenbaki lehen bakoiti baterako, Txantiloi:Math ideal lehena dela Txantiloi:Math bada eta ez dela ideal lehena Txantiloi:Math bada. Horrek, Txantiloi:Math 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 Txantiloi:Math-ren Txantiloi:Math azpitalde gehigarri bat da, Txantiloi:Math-ren elementuen biderkaduraz itxita dagoena; hau da, Txantiloi:Math Txantiloi:Math dela. Txantiloi:Math-ren ideal guztiak ere ideal zatikiak dira. Txantiloi:Math eta Txantiloi:Math zatiki-idealak badira, orduan, Txantiloi:Math-ko elementu baten eta Txantiloi:Math -ko elementu baten produktu guztien Txantiloi:Math multzoa ere ideal zatikia da. Eragiketa horrek zero ez diren zatiki idealen multzoa talde bihurtzen du. Taldearen identitatea ideala da Txantiloi:Math, eta Txantiloi:Math -ren alderantzizkoa zatidura ideal (orokortua) da:

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

Zatiki Ideal nagusiak, hau da, Txantiloi:Math formakoak, non Txantiloi:Math, 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 Txantiloi:Math eta Txantiloi:Math ideal klase-taldearen elementu bera adierazten dute, baldin eta Txantiloi:Math elementu bat existitzen bada, hau da, Txantiloi:Math. Beraz, klase talde idealak bi ideal zatiki baliokide bihurtzen ditu bata lehenetik bestea bezain hurbil badago. Klase talde ideala Txantiloi:Math, Txantiloi:Math edo Txantiloi:Math bezala adierazi ohi da (azken notazio horrek, geometria aljebraikoan, Picard taldearekin identifikatzen duelarik).

Klase-taldeko elementu kopuruari K klase-zenbakia deitzen zaio. Txantiloi:Math klasearen zenbakia 2 da. Horrek esan nahi du bi klase ideal soilik daudela, zatiki-ideal nagusien klasea eta Txantiloi:Math 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. Txantiloi:Math zatitzaile taldea Txantiloi:Math-ren ideal nagusiek barne hartzen duten talde abeliar askea bezala definitzen da. Txantiloi:Math-ren talde-homomorfismoa dago, Txantiloi:Math-ren nuluak ez diren elementuetatik biderketara, K zatiketa K}}. Demagun Txantiloi:Math betetzen duela

$(x)={𝔭}_1^{e_1}\cdots {𝔭}_t^{e_t}.$

Orduan, Txantiloi:Math zatitzaile gisa definitzen da

$\mathrm{div}x=\sum _{i=1}^t{e}_i[{𝔭}_i].$

Txantiloi:Math-ren nukleoa Txantiloi:Math-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 }\stackrel{\text{div}}{\to }\mathrm{Div}K\to \mathrm{Cl}K\to 1.$

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
• Txantiloi:Erreferentzia
• Txantiloi:Erreferentzia
• Txantiloi:Erreferentzia