A 13.7. Definícióban bevezetett \Z halmaz egy kommutatív, egységelemes gyűrűt alkot a 13.12. Definíció szerinti \oplus és a 14.3. Definíció szerinti \odot műveletekkel.