„Gauss-egész” változatai közötti eltérés

A Gauss-egészek körében igaz a maradékos osztás tétele, így <math>{\mathbf Z}[i]</math> [[euklideszi gyűrű]]: ha <math>a,b\in{\mathbf Z}[i]</math>, <math>b\neq 0</math>, akkor létezik <math>q</math> és <math>r</math>, hogy <math>a=bq+r</math> és <math>N(r)<N(b)</math>. Innen adódik, hogy <math>{\mathbf Z}[i]</math>-ben igaz a [[számelmélet alaptétele]] is: a felbonthatatlan elemek (azon <math>\pi</math> nemnulla, nemegység elemek, amelyekre igaz, hogy <math>\pi=xy</math> esetén ''x'' vagy ''y'' asszociáltja <math>\pi</math>-nek) azonosak a prímelemekkel, azaz Gauss-prímekkel (azon <math>\pi</math> nemnulla, nemegység elemek, amelyekre igaz, hogy <math>\pi\mid xy</math> esetén <math>\pi\mid x</math> vagy <math>\pi\mid y</math> teljesül) és minden 0-tól és egységtől különböző ''x'' felírható <math>x=\pi_1\cdots\pi_r</math> alakban, ahol <math>\pi_1,\dots,\pi_r</math> prímelemek, továbbá, ha <math>x=\rho_1\cdots\rho_s</math> egy másik felírás, akkor <math>s=r</math> és a tényezők úgy indexezhetők, hogy ''j''=1,…,''r''-re <math>\rho_j</math> asszociáltja <math>\pi_j</math>-nek.

 

* [[algebrai számelmélet]]

* [[Eisenstein-egész]]

{{Prímszámok osztályozása}}

{{DEFAULTSORT:Gaussegesz}}

[[Kategória:Számelmélet]]