Gaŭsa entjero: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Oryanw (diskuto | kontribuoj)
e prilaboris
Oryanw (diskuto | kontribuoj)
+ŝablono Finpolurinda; +korektetoj
Linio 1:
{{Finpolurinda|Gaŭsa entjero}}
'''Gaŭsa entjero''' estas [[kompleksa nombro]] kies reela kaj imaginara partoj ambaŭ estas [[Entjero|entjeroj]]. La Gaŭsaj entjeroj, kun ordinara adicio kaj multipliko de kompleksaj nombroj, formas [[integrala domajno|integralan domajnon]], kutime skribita '''Z'''[''i'']. Ĉi tiu domajno ne povas esti konvertita en [[ordita ringo|orditan ringon]], ĉar ĝi enhavas kvadratan radikon -1.
 
Linio 15 ⟶ 16:
:N(''z''·''w'') = N(''z'')·N(''w'').
 
La [[Unuo (ringa teorio)|unuoj]] de '''Z'''[''mii''] estas pro tio precize tiuj eroj kun normo 1, tio estas la eroj
 
:1, −1, ''mii'' kaj −''mii''.
 
La primaj eroj de '''Z'''[''i''] estas ankaŭ sciataj kielnomataj '''Gaŭsa primoj'''. Iuj [[Primo|primoj]] (kiuj, kontraste, estas iam nomitaj "racionalaj primoj") estas ne Gaŭsaj primoj; ekzemple 2 = (1 + ''i'')(1 − ''i'') kaj 5 = (2 + ''i'')(2 − ''i'').
Tiuj racionalaj primoj kiuj estas kongruaj al 3 ([[Modula aritmetiko|mod]] 4) estas Gaŭsaj primoj; tiuj kiuj estas kongruaj al 1 (mod 4) ne estas. Tio estas pro tio, ke primoj de la formo 4''k'' + 1 ĉiam povas esti skribitaj kiel la sumo de du kvadratoj ([[teoremo de Fermat]]), do, ni havas
 
Linio 32 ⟶ 33:
== Historia fono ==
 
La ringon de Gaŭzaj entjeroj prezentis [[Carl Friedrich Gauss]] en 1829 - 1831 (vidu ) dum li studis leĝojn drde reciprkecoreciprokeco kiuj estas ĝeneraligoj de la teoremo de [[kvadratikakvadrata reciproko]] kiun li sukcesis pruvi por la unua fojo en 1796. Aparte, li serĉis rilatojn inter ''p'' kaj ''q'' tiajn, ke ''q'' estu kuba restaĵo de ''p'' (t.e. ''x''<sup>3</sup> = ''q''(mod ''p'')) aŭ tia, ke ''q'' estu bikvadrata restaĵo de ''p'' (t.e. ''x''<sup>4</sup> = ''q''(mod ''p'')). Dum tiu esplorado li malkovris, ke iuj rezultoj pli facile pruveblas per traktado en la ringo de Gaŭzaj entjeroj, anstataŭ de ordinaraj entjeroj.
 
Li ellaboris la propraĵojn de faktorigado kaj pruvis la unikecon de faktorado en primojn en '''Z'''[i], kaj malgraŭ tio, ke li malmulte eldonigis, li faris iujn komentojn indikantajn, ke li konscias la signifojgravecon de [[entjeropj de Eisenstein]] enal tiola diridirado kaj pruvipruvado de la rezultojnrezultoj superpri kuba reciprokeco.
 
==Vidi ankaŭ==
 
* [[Entjero de Eisenstein]]
* [[Forkiĝado de primaj idealoj en galezaj superkorpoj]] priskribas la strukturostrukturon de primaj idealoj en la Gaŭsaj entjeroj
 
== Eksteraj ligoj ==
Linio 45 ⟶ 46:
* [http://www.alpertron.com.ar/GAUSSIAN.HTM http://www.alpertron.com.ar/GAUSSIAN.HTM] estas Ĝava apleto, kiu (komputas, pritaksas) esprimojn enhavantajn Gaŭsajn entjerojn kaj faktoras ilin en Gaŭsajn primojn.
* [http://www.alpertron.com.ar/GAUSSPR.HTM http://www.alpertron.com.ar/GAUSSPR.HTM] estas Ĝava apleto, kiu esprimas grafikan vidon de Gaŭsaj primoj.
* [http://fermatslasttheorem.blogspot.com/2005/06/norms-for-gaussian-integers.html Gaŭsaj Entjeroj], Blogo pri la Lasta TeoremaTeoremo de Fermat (spuroj, spuras) la historiohistorion de Fermat-a's Lasta Teoremo de Diofantus de Aleksandrio al Andreo Wiles.
* [http://home.pipeline.com/~hbaker1/Gaussian.html] Komplekso Gaŭsaj Entjeroj por 'Gaŭsa Grafiko'