(0 )2 1436587@9BAC9EDGF4HI 7P5QHRFTSVU0DXW6F4H

1 ⊙ (x1, x2) = (0, x1) = (x1, x2)
2
(IR ,
¡ ¢
⊕)
¢
⊕ ©
(x1, x2) (y1, y2) ∈ IR 2
(x1, x2) ⊕ (y1, y2) = (x1, x2 − y2)
(y1, y2) ⊕ (x1, x2) = (y1, y2 − x2)
¢ ⊕ ¢ ¡ IR 2 , ⊕, ⊙ ¢ ¡
©
⊕
(x1, x2) (x1, x2) (z1, z2) ∈ IR 2
(x1, x2) ⊕ ((y1, y2) ⊕ (z1, z2)) = (x1, x2) ⊕ (y1, y2 − z2)
= (x1, x2 − (y2 − z2)) = (x1, x2 − y2 + z2)
((x1, x2) ⊕ (y1, y2)) ⊕ (z1, z2) = (x1, x2 − y2) ⊕ (z1, z2)
= (x1, (x2 − y2) − z2) = (x1, x2 − y2 − z2)
¢ ⊕ ¢¢¡ IR 2
(x1, x2) ∈ IR 2
(x1, x2) ⊕ (e1, e2) = (e1, e2) ⊕ (x1, x2) = (x1, x2)
⊕ ©
(e1, e2) ∈ IR 2
¡ (x1, x2) ∈ IR 2
(x1, x2 − e2) = (x1, x2)
(e1, e2 − x2) = (x1, x2) ⇐⇒
e2 = 0
e1 = x1
¡ ¢ ¤ ⊕
x1
£¢ ¢
¢ ¢ ⊙ ¢
¢
¡ ¢ ⊙ IR 2
79