„Egész számok” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
→‎Hasonló konstrukciók: Van ezekről szócikkünk, csak a megfelelő elnevezést kell használni.
Címke: 2017-es forrásszöveg-szerkesztő
Címke: 2017-es forrásszöveg-szerkesztő
74. sor:
Vagyis minden nemnegatív egész számhoz hozzárendeljük a páros természetes számokat, minden negatív számhoz pedig a páratlanokat. Az egész számok minden elemét képezzük valahova, és az összes természetes számba képezünk, ezért ez bijekció, azaz a két halmaz számossága megegyezik.
==Hasonló konstrukciók==
* Általánosabban, kommutatív félcsoportokkal[[félcsoport]]okkal megismételhető a konstrukció. Az így létrejött csoport a [[Grothendieck-csoport]]. Így az egész számok a természetes számok Grothendieck-csoportja.
* A [[Gauss-egész]]ek és az [[Eisenstein-egész]]ek az egész számok két különböző bővítése komplex számokká.
* Az egész számok Proendlich-féle teljessé tétele <math>\Z</math> összes véges faktorcsoportjának projektív vagy inverz határértéke. Így jönnek létre a Proendlich-egészek, melyeket a <math>\widehat{\Z}</math> szimbólum jelöl.