14.5. Tétel
Természetes számok beágyazása szorzattartó
Jelölje \odot a 14.3. Definícióban bevezetett műveletet. Tegyük fel továbbá, hogy \N_1 a 11.1. Definíció szerinti Peano-axiómarendszer által meghatározott természetes számok halmaza, valamint adva van egy f:\N_1 \to \Z függvény az alábbiak szerint:
f(n)=[(n;0)]
Ekkor tetszőleges a és b természetes számokra teljesül, hogy f(a\cdot b)=f(a)\odot f(b). Más szavakkal f egy injektív homomorfizmus az (\N_1, \cdot) és a (\Z ,\odot ) algebrai struktúrák között.
♣