高斯整数的欧几里得算法

定义1 复数α=α+bi(α、b∈Z)叫做高斯整数。 显然,两个高斯整数的和、差、积仍为高斯整数。因此,全体高斯整数的集合又称为高斯整环;整数集Z是高斯整环的子环。