14.13. Tétel
Az egész számok gyűrűje
A 13.8. Definícióban bevezetett \Z halmaz egy kommutatív és egységelemes gyűrűt alkot a 13.13. Definíció szerinti \oplus és a 14.3. Definíció szerinti \odot műveletekkel. Ezt a gyűrűt az egész számok gyűrűjének nevezzük.
♣