youproof.orgDeep Math. Human Access.

13.13. Definíció

Egész számok összeadása

A Z\Z halmazon az alábbi képlet szerint értelmezett ⊕\oplus-szal jelölt kétváltozós műveletet összeadásnak nevezzük:

[(a;b)]⊕[(c;d)]=[(a+c;b+d)][(a;b)] \oplus [(c;d)] = [(a+c; b+d)]

A fentiekben ++ a 11.4. Definíció szerinti természetes számok közötti összeadást, [(x;y)][(x;y)] pedig a Z\Z halmaznak azon elemét jelöli, amelynek – mint ekvivalencia-osztálynak – eleme az (x;y)(x;y) természetes számokból álló pár.

♣