A[X]
A A[X]A
A a, b, . . . A
pgcd(a, pgcd(b, c)) = pgcd(a, b, c)
pgcd(an, bn) = pgcd(a, b)nn≥1
pgcd(a, b)ppcm(a, b) = ab
pgcd(a, ppcm(b, c)) = ppcm(pgcd(a, b),pgcd(a, c))
ppcm(a, pgcd(b, c)) = pgcd(ppcm(a, b),ppcm(a, c))
A=Zpgcd(a, b) = Pk|a,k|bϕ(k)ϕ
A δ a =bq +r
δ(r)< δ(b) pgcd(a, b) = pgcd(b, r)
A=Zpgcd(na−1, nb−1) = npgcd(a,b)−1
A=k[X]kpgcd(Xa−1, Xb−1) = Xpgcd(a,b)−1
A=Z+iZ⊂C
AC Z 2
A
N:A→NN(z) = |z|21
A A
N A u ∈C
z∈A|u−z|<1
1 + i1 + 2i A 2 5
p
p A
p
p= 2 p≡1 (mod 4)
⇔ ⇒
⇒
p A x2+ 1 = 0 A/pA
Z/pZ−1p p ≡ −1
(mod 4)