高斯整数（gaussian integer）是实数部分（实部）和虚数部分（虚部）都是整数的复数。也就是复平面中点集{a+bi|a,b 都是整数}。所有高斯整数组成了一个整环，写作Z。它是个不可以转成有序环的欧几里德整环，所以是唯一因子分解整环。 也就是在这个整环中，如同整数集一样，可以存在唯一因子分解定理。

数论的一个重要分支——代数数论把整数的一些理论推广到了一些特殊的代数整数集合。所谓代数整数就是首一（首项系数是1）整系数多项式的根。而高斯整数即是一类特殊的代数整数集合。

形如 （其中a，b是整数）的复数被称为高斯整数，高斯整数全体记作Z[i]。注意到若 γ=a+bi 是高斯整数，则它是满足如下方程的代数整数

由于γ 满足首一二次整系数多项式，所以它被称为二次无理数。反之，若 α=r+si，其中r，s是有理数，而且 α 是一个首一二次整系数多项式的跟，则 α 是高斯整数。高斯整数是以伟大的德国数学家高斯的名字命名的，他是第一位深入研究这类数性质的数学家。

通常我们使用希腊字母来表示高斯整数，例如α，β，γ和δ。注意到若 n 是一个整数，则 n=n+0i 也是高斯整数。当我们讨论高斯整数的时候，把通常的整数称为有理整数。

加、减、乘运算

高斯整数在加、减、乘运算下是封闭的，正如下面定理所述。

定理1：设 α=x+iy 和 β=w+iz 是高斯整数，其中 x，y，w 和 z 是有理整数，则 α+β，α-β 和 αβ 都是高斯整数。

虽然高斯整数在加、减和乘运算下封闭，但是他们在除法运算下并不封闭，这一点与有理整数类似。此外，若 α=a+bi 是高斯整数，则 N(α)=a2+b2 是非负有理整数。

整除性

我们可以像研究有理整数那样去研究高斯整数。整数的许多基本性质可以直接类推到高斯整数上。要讨论高斯整数的这些性质，我们需要介绍高斯整数类似于通常整数的一些概念。特别地，我们需要说明一个高斯整数整除另一个高斯整数的意义，并给出高斯素数的定义。

定义1：设 α 和 β 是高斯整数，我们称α整除β，是指存在一个高斯整数 γ 使得β=αγ。若α整除β，我们记作α|β ；若α 不整除β ，记作αβ 。

高斯整数的整除也满足有理整数整除的一些相同的性质。例如，若α，β和γ 是高斯整数，α|β，β|γ，则α|γ。再者，若α，β，γ，ν和μ 是高斯整数，γ|μ，γ|β，则γ|(μα+νβ)。

1, −1, i及−i都是高斯整数环里面的单位元。除此之外，在高斯整环里面不能因子分解的数称为高斯素数。高斯素数分为两类，其中一类是形式为4n+3（n是整数）的普通素数，如3，7等，它们在高斯整环里面也不能够因子分解。但是所有形式是4n+1的普通素数如5，13等，在高斯整环里面都可以唯一因子分解成两个共轭的高斯素数的乘积，如5=(2+i)(2-i)。需要注意的是，这里我们也可以写成5=(1+2i)(1-2i)，这个是因为(2-i)i=1+2i，而i是单位元，所以我们可以认为这两种分解是等价的。此外，素数2也可以分解，即2=(1+i)(1-i)。