18.1. (ι)
Εστω α, β
Ζ(i).
Τότε α = m + ni, β
= p + qi, όπου m, n, p, q
Ζ.
Aφού
m + p, n + q
Ζ,
τότε α + β = (m + p)
+ (n + q)i
Ζ(i).
(ιι)
0 = 0 + 0i
Ζ(i).
(ιιι)
Εστω α
Ζ(i).
Τότε α = m + ni, όπου
m, n
Ζ.
Επεται
ότι –α =
(–m) +
(–n)i
Ζ(i).
Τώρα το θεώρημα 18.2. εξασφαλίζει ότι το Ζ(i) είναι υποδακτύλιος του C.